Every blog post that took off on Hacker News, ranked by the votes of its best submission. 14,540 posts.
Project Everest is a large, collaborative research effort that aims to verify and deploy a new, secure HTTPS stack. All of our code is verified using the F* programming language. Using KreMLin, a dedicated compiler, the verified F* code is compiled to readable C, meaning existing systems projects can readily integrate…
Underjord is an artisanal consultancy doing consulting in Elixir, Nerves with an accidental speciality in marketing and outreach. If you like the writing you should really try the pro version .
I've had the experience of using GitHub as a maintainer for very large open source projects (1000+ contributors), as an engineer for very large closed source corporate projects, and everything smaller. Through those experiences up to today, GitHub pull requests is where I spend almost all of my time while on GitHub…
A blog, notes, gallery, lifestyle and fully conglomerated posts from Joshua.
Why buy an expensive desktop computer when your iPhone is a faster SMT solver?
I read Ian Whitlock’s article on why he can’t quit Magit and it inspired me to share more about Magit from my perspective. This article will focus on rebasing.
AI-related upgrades like the built-in AI Assistant, extended computation-augmented generation and the Wolfram Agent Tools framework. Advances in TimeSeries & Tabular. New categorical data, ModelFit automated model selection, symbolic music. Efficient handling of gigabyte-sized notebooks. Gains in the already-robust…
The team I've been working in for the last year or so have had great success using Postgres-as-queue. We've managed to avoid the following:
Samuel Clay is a grad student in the schools of design and of engineering at Harvard. He founded NewsBlur , a personal RSS news reader, and Turn Touch , beautiful control for the smart home.
I was shocked at how obvious my mistakes as an engineer became after my perspective changed.
Today I’m releasing the “record” library, which is an API of just two quasi-quoters, providing a full-scale solution to the notorious records problem of Haskell!
L.C. Bakken technical blog
Attempting to speed up a library without changing the code using mypyc
Okay, but apart from generics and fuzzing, what has Go 1.18 ever done for us?
A while ago, I bought the book “ The Go Programming Language ” written by Alan Donovan and Brian Kernighan. I have always been a fan of Brian Kernighan’s writings. I should admit that I bought the book mainly for his great examples and writings than for the Go language itself, but since then have got interested in the…
Software Engineer at Figma. Previously at Dropbox. Studied Math/CS at Brown University.
I briefly cover what it takes to start writing a kernel which bootstraps in UEFI, as opposed to BIOS.
Your default hash table should be open-addressed, using Robin Hood linear probing with backward-shift deletion. When prioritizing deterministic performance over memory efficiency, two-way chaining is also a good choice.
OpenAI Universe was very exciting when it first came out. With Universe, it was suddenly possible to train AI to play Flash games, book flights online, and perform various other real-world tasks. Unfortunately, Universe never really took off in the AI world. I don’t know why others aren’t using Universe, but I can…
Being involved in open source software is rewarding, yeah? You start off contributing to your favorite project, and it feels so heartwarming when that project’s maintainers recognize your effort. Then a few years later you somehow end up responsible for that project, and maybe some satellite projects, and people are…
A blog by sunfishcode
