13921
I Got Sick of Remembering Port Numbers
So I built local.vibe — a friendly dashboard and local .vibe hostname for every local web app on your Mac. No more localhost:3000 vs localhost:5173 roulette.
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 21,834 posts.
13922
13923
Why are 2025/05/28 and 2025-05-28 different days in JavaScript?
A Date in JavaScript always represents a point in time (i.e. milliseconds since epoch). This is more apparent when printing out the full date string:
13924
Should QA exist?
There are a lot of challenges in the way QA and engineering work together. Many eng leaders think you shouldn't have QA. I dig in.
13925
Obvious and possible software innovations
There are a number of things that people theoretically know how to do, but which aren’t possible because of how software gets made. Some of these are almost forgotten, but there are at least …
13926
Why I often implement things from scratch (2006)
Once upon a time there was an Erlang programmer who needed an FTP server running on one of the hosts in a private network. In fact he didn't...
13927
13928
13929
Odin, a pragmatic C alternative with a Go flavour
(Previous post in the series was on Jai and can be found here)
13930
13931
Things I Learned to Become a Senior Software Engineer
Everything I learned to become a senior software engineer. From good skills to have, to dealing with difficult engineering problems.
13932
Emacs is Dead (2010)
He is the author of the famous auto-complete.el and you may be helped a lot by his implementation of native profiler merged in the latest Emacs release (24.3).
13933
Joel Spolsky and Clive Thompson discuss the past, present, and future of coding
What inspires someone to become a software developer? Joel Spolsky and Clive Thompson discuss how the culture of coding has evolved over the decades and where they hope it’s headed next.
13934
13935
What's left of NoSQL?
What’s left of NoSQL if they start adding ACID and SQL support?
13936
Code is run more than read (2023)
Code is read more than written, code is run more than read. I think this line of thought can be extended beyond code-writing, and used as a rule of thumb to identify problems and make decisions.
13937
Microservices for the Grumpy Neckbeard
Recently microservices have been getting a lot of attention, both positive and negative. Articles about them tend to fall into two camps, which I'll affectionately label the hipster camp and the neckbeard camp. The hipster camp tends to strongly favor microservices, due to the excellent benefits they provide regarding…
13938
Learning from Ada
This is a cautionary tale. One of youth and a lesson I eventually learned but still often don’t heed. About how sometimes, the tool that is easiest to get started with isn’t the tool that will make your job the easiest.
13939
Five memorable books about programming (2008)
It's not about technology for its own sake. It's about being able to implement your ideas.
13940
Playing with Syntax
One of the things I love about Lisp is that it gives you the ability to change and mold the syntax of the language to what you need. In this post I want to look at the evolution of a little macro I've been playing around with for a while now.
13941
Classes vs. structs in .NET: how not to teach about performance
It’s been a while since my last blog post, but I believe it’s better to post late than never, so here I am!
13942
13943
Conservative GC can be faster than precise GC
wingolog: article: conservative gc can be faster than precise gc
13944
Build the Modular Monolith First
Even talking about building a monolith today, is a bit taboo. It is all about microservices at the moment, and has been for a few years. But they aren’t a silver bullet…
13945
13946
The surprising cleverness of modern compilers
I wanted to know how a modern C compiler like clang would process the following C code: #include <stdint.h> int count(uint64_t x) { int v = 0; while(x != 0) { x &= x - 1; v++; } return v; } Can you guess? popcntq %rdi, %rax That is right. A fairly sophisticated C function, … Continue reading The surprising cleverness…
13947
13948
The Bitter Lesson of LLM Extensions
From ChatGPT Plugins to Agent Skills, a look at how we've been trying (and failing) to extend LLMs for the last three years.
13949
Why building a Rust LSP is hard
Rust LSP that doesn't eat memory for breakfast
13950
What works (and doesn't) selling formal methods
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.