7771
Postmortem for Kernel Soundness Bug #14576
Leonardo de Moura — Creator of Lean and Z3
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 14,544 posts.
7772
How to improve the RISC-V specification
My main project is to create an executable spec of the Intel Architecture but, every now and then, I get to take a broader look at ISA specifications and think about the strengths and weaknesses of other ISA specs: what makes them work well; and what techniques they could borrow from other specifications. Earlier this…
7773
Keeping a Changelog at Work (2020)
What did you do at work today? How about last week? I spent a couple of days in quarterly business reviews, and wrapped up yearly planning activities for AWS Data Exchange and AWS Marketplace. I also added some unit tests to a project that I am onboarding into.
7774
Object Detection at 1840 FPS with TorchScript, TensorRT and DeepStream
In this article we take performance of the SSD300 model even further, leaving Python behind and moving towards true production deployment technologies: TorchScript, TensorRT and DeepStream. We also identify and understand several limitations in Nvidia’s DeepStream framework, and then remove them by modifying how the…
7775
Grokking Diesel, Rust's ORM
Diesel (http://diesel.rs) is an ORM (Object-relational mapper) and Query Builder written in Rust. It supports Postgresql, Mysql and SQLite…
7776
7777
7778
A reasonably speedy Python ray tracer
Cyrille Rossant's small ray-tracer is an nice self-contained Python program (using NumPy) that renders this 400×300 image in about 15 seconds on a fast PC:
7779
An Interactive Guide to Rate Limiting
Learn about rate limiting algorithms with interactive apps, including Token Bucket, Leaky Bucket, Fixed Window, and Sliding Window methods
7780
7781
I imported the full Linux kernel git history into pgit
I imported the entire Linux kernel git history into pgit's PostgreSQL-backed storage. 1,428,882 commits, 24.4 million file versions, 20 years of development. Here's what the kernel looks like when you can just ask.
7782
Meteor and Qt
Meteor, say hello to cross-platform native app-development. Qt, say hello to a modern, reactive web back-end. TL;DR You can write a nativ...
7783
Oops, I Wrote a C++ Compiler
TL;DR I wrote a .NET library that can compile C/C++ code into a byte code that it can also interpret. It is used in my app iCircuit to simulate Arduinos. You can use it yourself with the nuget package CLanguage.
7784
Complex game worlds, simple text interfaces (2015)
UPDATE July 2021: 6 years later, there’s a game and also an updated explainer video .
7785
To Nerves from Elixir
I adore Nerves. I recently joined the core team. And I'll be doing my best to help people get along with this lovely way to co-mingle hardware and massively concurrent reliable software.
7786
SQLite 3.44: Interactive release notes
Order by in aggregates, better string concatenation, and thorough date formatting.
7787
Programming with RISC-V Vector Instructions
Perhaps the most interesting part of the open RISC-V instruction set architecture (ISA) is the vector extension (RISC-V "V"). In contrast to the average single-instruction multipe-data (SIMD) instruction set, RISC-V vector instructions are vector length agnostic (VLA). Thus, a RISC-V "V" CPU is flexible in choosing a…
7788
Examining PostgreSQL 9.4 – A first look
PostgreSQL is currently entering its final commit fest. While its still going, which means there could still be more great features to come, we can start to take a look at what you can expect from it now. This release seems to bring a lot of minor increments versus some bigger highlights of previous ones. At the same…
7789
7790
Implementing Forth in Go and C
I first ran into Forth about 20 years ago when reading a book about designing embedded hardware . The reason I got the book back then was to actually learn more about the HW aspects, so having skimmed the Forth chapter I just registered an "oh, this is neat" mental note and moved on with my life. Over the last two…
7791
From ASCII to ASIC: Porting donut.c to a tiny slice of silicon
Implementing the famous donut.c animation in actual silicon using CORDIC and ray marching
7792
Relational shell programming
Unix is a bestiary of ad hoc databases: comma-, colon-, tab- and space-separated tables. Think of /etc/* or /var/log/* , or of columnar commands.
7793
Connecting to Google Sheets with Python
I wrote up my experience using Python to process data from a shared Google Sheets spreadsheet
7794
Postgres indexes under the hood
Many software engineers use database indexes every day, but few of us really understand how they work. In this post I’ll explain: How indexing works in Postgres using B-Trees What B-Trees are Why they are a good fit for this problem Indexes in Postgres Postgres actually offers 4 different kinds of indexes for…
7795
Reasoning with Types in Rust
Hi, I'm Ariel (she/her), a newly-minted member of the Swift team at Apple ! Previously, I helped lead the Luau team at Roblox where my efforts primarily focused on the design and implementation of Luau 's type system. I also led the creation of Lute to support using Luau both to build developer tooling, and as a…
7796
Building AI Products–Part I: Back-End Architecture
In 2023, we launched an AI-powered Chief of Staff for engineering leaders—an assistant that unified information across team tools and tracked critical project developments. Within a year, we attrac...
7797
Compiling a Lisp: Lambda lifting
first – previous
7798
Playing with Vision Embeddings
Poking at the geometry of an image model's feature space.
7799
Using the OS X 10.10 Hypervisor Framework: A Simple DOS Emulator
Since Version 10.10 (Yosemite), OS X contains Hypervisor.framework, which provides a thin user mode abstraction of the Intel VT features. It enables apps to use virtualization without the need of a kernel extension (KEXT) – which makes them compatible with the OS X App Store guidelines.
7800
How to Write a New Git Protocol
I used to have trouble keeping track of my files. I often couldn’t remember whether I saved a file on my desktop, laptop, or phone, or if it was floating around in the cloud somewhere. Plus, with certain information, like passwords and bitcoin keys, I didn’t feel comfortable just sending that in an email to myself in…