9391
CSS as the back end – Cascading Server Sheets
Here we go again! Another one of these, and promise, you will be questioning my sanity after this...
Topics /
Software Engineering
The most popular blog posts about software engineering on Hacker News. 14,540 posts.
9392
The joys of maintenance programming
Introducing new web service to determine if a number is odd or not. No new code dependency in your npm modules. Can use with almost any programming language, not just Javascript under node.js. No license. Easy to test in a web browser
9393
Doing a math assignment with the Lean theorem prover
Note: this post was written for Lean 3; the latest version, Lean 4, is a very different language. Turn back the clock to 2009: a confused physics major newly infatuated with math and computer science, I enrolled in MATH 273: Numbers and Proofs at the University of Calgary. This wasn’t my first encounter with…
9394
9395
IOS games using JavaScriptCore without WebKit
Less talk, more action – Apple just approved two of my JavaScript games for the AppStore: Biolab Disaster and Drop . Both are free; go check them out. You can also play them in your browser here and here .
9396
I made a search engine worse than Elasticsearch (2024)
Integrating my BM25 pandas search library, SearchArray, into BEIR, in order to embarass myself in public.
9397
9398
Cache-friendly, low-memory Lanczos algorithm in Rust
How a bit of algorithm engineering and low-level details can alter what seems like a straightforward trade-off on a blackboard.
9399
Stuff that every programmer should know: Data Visualization
Realtime rendering and videogame programming mostly, but I love computer science and visuals in all their forms. This is a notepad of my ideas.
9400
Finding Compiler Bugs by Removing Dead Code
What has caused you to slack off on the bug reporting? The cost of computer time or the human effort side? (I’m guessing the second.)
9401
“Stateless” sync using version vectors
Isolating cloud sync and persistent storage in an app architecture.
9402
Cranelift, Part 2: Compiler Efficiency, CFGs, and a Branch Peephole Optimizer
This post is the second in a three-part series about Cranelift . In the first post , I described the context around Cranelift and our project to replace its backend code-generation infrastructure, and detailed the instruction-selection problem and how we solve it. The remaining two posts will be deep-dives into some…
9403
How to process a million songs in 20 minutes
X X The recently released Million Song Dataset (MSD), a collaborative project between The Echo Nest and Columbia’s LabROSA is a fantastic resource for music researchers. It contains detailed…
9404
How to build a distributed throttling system with Nginx, Lua, and Redis
At the last Globo.com’s hackathon, Lucas Costa and I built a simple Lua library to provide a distributed rate measurement system that depends on Redis and run embedded in Nginx but before we …
9405
Fun with compute shaders and fluid dynamics
Adrian Kummerländer's blog on software development, linux and open source
9406
9407
Higher-kinded bounded polymorphism in OCaml (2021)
How bounded higher-kinded polymorphism arises in practice, and how to express it in OCaml, in several different ways. Some ways are rather concise -- but less widely known.
9408
Allocator Designs
This post explains how to implement heap allocators from scratch. It presents and discusses different allocator designs, including bump allocation, li…
9409
Turnstyle – An esoteric, graphical functional language
An esoteric, graphical functional language
9410
Recurrent Neural Network Tutorial for Artists (2017)
Recurrent Neural Network Tutorial for Artists
9411
9412
Don’t use environment variables for configuration
Suppose you need to create a function for adding two numbers together in plain C. How would you write it? What sort of an API would it have?...
9413
9414
Blocking code is a leaky abstraction
Asynchronous code does not require the rest of your code to be asynchronous. I can’t say the same for blocking code.
9415
Amplifying C (2010)
On C++ Having programmed in C++ professionally for well over 10 years I have learned all of it. I have all the books, I know all the tricks...
9416
How Class-based Programming Sucks (2011)
Classes encourage pervasive mutable state, provide only an indirect support for closures, and do not support algebraic data types. I'd like to fix that.
9417
9418
9419
Go kit: Go in the modern enterprise
Peter Bourgon has a web site, and this is that web site.
9420
Why Kakoune
Recently I’ve stumbled upon a video about Kakoune, a code editor: Idiot user tries to use Kakoune (for notes? Also Helix?). Funnily enough, I was mentioned in this video, which was a surprise, and made me laugh for quite a while: Let’s go back to the official plugins page.