Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 7,294 posts.
ChowJS: An AOT JavaScript engine for game consoles
Recently, we have been working on getting a large JavaScript game to run on game consoles. To make that happen, we made use of ChowJS, our ahead-of-time JavaScript compiler and runtime which can target game consoles.
Topiary: A code formatting engine leveraging Tree-sitter
We’re happy to announce the first release of Topiary, a formatter for many languages that leverages Tree-sitter.
A Sampling of Anti-Decompilation Techniques
Traditional (assembly level) reverse engineering of software is a tedious process that has been made far more accessible by modern day decompilers. Operating...
Zsh-lovers – tips, tricks and examples for the Z shell
Whenever we look at the zsh manual we wonder why there are no examples or those simply things in (shell) life. The zsh contains many features, but there was no manpage with some examples (like procmailex(5)). That’s why we wrote this manpage.
Why OCaml GADTs matter for performance
When GADTs (Generalized Algebraic Data Types) landed in OCaml, I wasn’t particularly happy about it. I assumed that it was the kind of nonsense you get when ...
Using Go Templates
Go templates are a powerful method to customize output however you want, whether you’re creating a web page, sending an e-mail, working with Buffalo, Go-Hugo, or just using some CLI such as kubectl.
Faster hash joiner with vectorized execution
How we built a 40x faster hash joiner using vectorized execution.
GNU Compiler Collection 4.6.0 released with Go programming language support
The GNU project and the GCC developers are pleased to announce the release of GCC 4.6.4.
A kernel bug froze my machine: Debugging an async-profiler deadlock
How I investigated and worked around a kernel bug that caused async-profiler to freeze my machine whenever I tried to use a profiler.
Cleaning Up Your Postgres Database
Actionable steps on how to improve your Postgres database performance.
Introduction to Haskell Typeclasses
In this article, we introduce you to typeclasses in Haskell: what they are, how they can be used, and how to define your own instances of typeclasses.
A blueprint for formal verification of Apple corecrypto
With the latest release of corecrypto, we’re publishing our implementations of quantum-secure ML-KEM and ML-DSA algorithms, along with the mathematical proofs we built to assure they are faithful to the FIPS 203 and FIPS 204 specifications. To advance the state of the art for assuring critical software, we're also…
How to write a Vulkan driver in 2022
An incredible amount has changed in Mesa and in the Vulkan ecosystems since we wrote the first Vulkan driver in Mesa for Intel hardware back in 2015. Here's a look at the latest Mesa utilities, helpers & best practices for writing Vulkan drivers.
Custom SQL functions for data analytics in PostgreSQL
There is a better way to explore and analyze time-series data with PostgreSQL: hyperfunctions. Learn how to ease your workload with faster and simpler data.
Differ: Tool for testing and validating transformed programs
We recently released a new differential testing tool, called DIFFER, for finding bugs and soundness violations in transformed programs. DIFFER combines elements from differential, regression, and fuzz testing to help users find bugs in programs that have been altered by software rewriting, debloating, and hardening…
Context Engineering for AI Agents: Lessons
This post shares the local optima Manus arrived at through our own "SGD". If you're building your own AI agent, we hope these principles help you converge faster.
Investigating the Performance Overhead of C++ Exceptions
C++ exceptions have their place, but using an alternative is recommended for general program flow control.
Writing and linting Python at scale
Fixit is dead! Long live Fixit 2 – the latest version of our open-source auto-fixing linter. Fixit 2 allows developers to efficiently build custom lint rules and perform auto-fixes for their codeba…
Go 2016 Survey Results
What we learned from the December 2017 Go User Survey.
GCC always assumes aligned pointer accesses (2020)
Explore the risks associated with unaligned pointer accesses in GCC. Understand how these assumptions can lead to unexpected program behavior and potential security vulnerabilities. Learn best practices to mitigate these risks and write secure code.
Rust is rolling off the Volvo assembly line
In my job I get to speak to lots of people about Rust. Some are just starting out, some have barely ever heard of it, and then some people are running Rust silently in production at a very large company in a very serious product.
Making Faster B-Trees with Go Generics
Go generics are a new way to improve performance in golang. Let’s see what effect generics had on Google’s B-tree implementation.