15181
Accidentally writing a SAT solver
where my words occasionally escape /dev/null
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 21,837 posts.
15182
z386: An Open-Source 80386 Built Around Original Microcode
This is the fifth installment of the 80386 series . The FPGA CPU is now far enough along to run real software, and this post is about how it works. z386 is a 386-class CPU built around the original Intel microcode, in the same spirit as z8086 .
15183
Elm, Elixir, and Phoenix: Reflecting on a Functional Full-Stack Project
DropCatch.com helps you secure expiring domain names.
15184
Text layout is a loose hierarchy of segmentation
I love text layout, and have been working with it in one form or other for over 35 years. Yet, knowledge about it is quite arcane. I don’t believe there is a single place where it’s all properly written down. I have some explanation for that: while basic text layout is very important for UI, games, and other contexts…
15185
15186
Rip – Rust crate to resolve and install Python packages
`rip` resolves and installs packages from PyPI from pure Rust
15187
Recursive Language Models (RLMs)
We explore language models that recursively call themselves or other LLMs before providing a final answer. The aim is essentially unbounded context, and a way through context rot.
15188
15189
C Programming on System 6 – Implementing Multi-User Chat
Your browser doesn't seem to support HTML video. You can download the video (H.264/AAC format) instead.
15190
15191
15192
15193
Five Kinds of Nondeterminism
Or four kinds, or six kinds, I'm not picky about how you count them
15194
Three open source Sonos projects: efficient embedded development in Rust
Read more about the unique combination of software and hardware that powers the Sonos ecosystem. Welcome to our technology blog.
15195
The right way to turn off your old APIs
All things come to an end, even HTTP APIs. However great your API may be today, one day you'll want to release a completely new version, an improved but...
15196
NASM Tutorial (2018)
This tutorial will show you how to write assembly language programs on the x86-64 architecture.
15197
Reading and writing are less symmetric than you (probably) think
I am talking about the I/O operations as used in computing here. A typical example of how this kind of thing is exposed are the POSIX syscalls read(2) and write(2), which have the following C funct…
15198
Formatting Is Unreasonably Expensive for Embedded Rust
As a (late) part of the #rust2020 request, I wanted to talk about one of the paper-cuts that has become decently problematic for new and experienced users of Embedded Rust: The size costs of formatting in Rust today are unreasonably expensive for users of Rust on bare metal embedded systems. In particular there are…
15199
Static Allocation, Constant Work
In reply to this email:
15200
15201
How a language can be faster than C
a blog post by @azwinkau
15202
Apply Unix Principles to Write Testable Microservices
Microservice architecture paradigm fits well within the Unix’s first principle/philosophy: “Make one program do one thing well”. We l...
15203
Programming Algorithms: A Crash Course in Lisp
The introductory post for this book, unexpectedly, received quite a lot of attention, which is nice since it prompted some questions, and on...
15204
Low-level web programming in Racket and a wiki in 500 lines
Racket provides a simple yet flexible web framework for serving dynamic web content.
15205
Retrofitting JIT Compilers into C Interpreters
C interpreters are a common language implementation technique and the basis for the reference implementations of languages such as Lua, Ruby, and Python. Unfortunately, C interpreters are slow, especially compared to language implementations powered by JIT compilers. In this post I’m going to show that it is possible…
15206
No Copyrights on APIs: Help Us Make The Case
Earlier this year, we applauded District Court Judge Alsup for getting it right and holding that, as a matter of law, one could not copyright APIs. The case, Oracle v. Google, is now on appeal to the Federal Circuit, where a three-judge panel is going to revisit Judge Alsup’s ruling.We’ve explained...
15207
Protocol Buffers, Avro, Thrift & MessagePack
Perhaps one of the first inescapable observations that a new Google developer ( Noogler ) makes once they dive into the code is that Protocol Buffers (PB) is the "language of data" at Google. Put simply, Protocol Buffers are used for serialization, RPC, and about everything in between .
15208
How to Write a Computer Emulator
I wrote this document after receiving large amounts of email from people who would like to write an emulator of one or another computer but do not know where to start. Any opinions and advices contained in the following text are mine alone and should not be taken for an absolute truth. The document mainly covers…
15209
Per Brinch Hansen's books on compilers
Brinch Hansen was one of the pioneers of concurrent programming and operating systems (kernels). In the 1960s, Brinch Hansen worked at the Danish computer company Regnecentralen, first in the compiler group headed by Peter Naur and Jørn Jensen, and, later, as the chief architect of the RC 4000 minicomputer and its…
15210
A look at LLVM: comparing clamp implementations
Please note that this is not an endorsement or criticism of either of these languages. It’s simply something I found interesting with how LLVM handles code generation between the two. This is an implementation quirk, not a language issue. Update (April 9, 2021): A bug report was filed and a fix was pushed! The LLVM…