18931
Software engineering books to read and reread
Advanced Web Application Architecture allows you to spot what kind of code you're dealing with:
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 21,843 posts.
18932
Deno’s July 13th incident update
Post-mortem report for the outage on July 13th and 14th 2022
18933
Running Python code in a sandbox with MicroPython and WASM
I’ve been experimenting with different approaches to running code in a sandbox for several years now, but my latest attempt feels like it might finally have all of the characteristics …
18934
Common Lisp as a Scripting Language, 2015 Edition
The first computer I used had about 2KB of RAM. The other day, I compiled a 2KB Common Lisp script into a 16MB executable to get its startup (and total execution) time down from 2s to subjectively instantaneous — and that didn't bother me the least, for my current computer has 8GB of working memory…
18935
GCC 4.8 release
GCC now uses C++ as its implementation language. This means that to build GCC from sources, you will need a C++ compiler that understands C++ 2003. For more details on the rationale and specific changes, please refer to the C++ conversion page.
18936
Cargo's next few years
The Cargo team have been thinking about and discussing long-term plans for Cargo. In this post I'll talk about what we hope Cargo will look like around the time of the next edition (assuming there is another edition and that it happens in about three years, neither of which is
18937
18938
Vim: So long Pathogen, hello native package loading
Vim 8 added a native way to load third-party packages. This means, for me at least, there is no longer any need to use a third party plugin helper like Pathogen.
18939
A custom virtual machine for the Stars 4X game
Stars! is a 1995 4X game (explore, expand, exploit, exterminate) for 16-bit Windows 3.1 that I first played ~28 years ago. While Windows is famously backwards compatible, it’s notoriously difficult to play Stars! today. Windows x64 cannot run 16-bit applications, and playing requires either retro hardware or emulation…
18940
18941
Godot as an Embeddable Game Engine
Miguel de Icaza's Blog
18942
How to Do Code Reviews Like a Human
Lately, I’ve been reading articles about best practices for code reviews. I notice that these articles focus on finding bugs to the exclusion of almost every…
18943
Apple's CVDisplayLink Doesn't Link to Your Display
Edit 2017/12/10: So I screwed up, I thought I was safe confirming it in two different ways but I was using an external monitor and all of the below is accurate only for a specific multi-monitor case. Skip to the bottom to read about my new results.
18944
QBE – Compiler Backend – 1.3
QBE 1.3 took a while to cook, but it is the most significant release since 1.0 with around 7k new lines of code and 1.5k deleted ones. In addition to the usual bug fixes, QBE gained a new and original IL matching algorithm, new optimizations from Roland Paterson-Jones, Scott Graham added support for the Windows ABI…
18945
Ways to generate SSA
Static Single Assignment is a program representation where each “variable” (though this term can be misleading) is assigned exactly once. Mostly the variables aren’t variables at all, but instead names for values—for expressions. SSA is used a lot in compilers. See this lesson from Cornell for converting Bril to SSA…
18946
18947
Top-Down LR Parsing
This semester, I am teaching Compilers , and I'm quite happy with how I covered parsing this year. Specifically, I taught students to build a top-down LR parser and it seemed to go relatively well.
18948
Incorporating and accessing binary data into a C program
Blog about Ubuntu from a kernel engineer
18949
What is static program analysis?
The halting problem asks whether the execution of a specific program for a given input will terminate.
18950
Hermitage: Testing the “I” in ACID
tl;dr: I have created a test suite for comparing the transaction isolation levels in different databases. I did this as background research for my book . This post explains why.
18951
Bundling binary tools in Python wheels
I spotted a new (to me) pattern which I think is pretty interesting: projects are bundling compiled binary applications as part of their Python packaging wheels. I think it’s really …
18952
A Healthy Diet For The Mind
I've been enjoying teaching Intelligent Systems again this semester. A big part of the fun is re-reading old papers. I had a lot of fun re-reading and thinking about the ideas in William Clancey 's classic paper, Heuristic Classification . Long-time readers may recall me mentioning this paper in a long-ago post about…
18953
FasterCGI with HHVM
Today, we are happy to announce FastCGI support for HHVM. FastCGI is a popular protocol for communication between an application server (e.g. running your PH...
18954
Writing an Efficient Vulkan Renderer
In 2018, I wrote an article “Writing an efficient Vulkan renderer” for GPU Zen 2 book, which was published in 2019. In this article I tried to aggregate as much information about Vulkan performance as I could - instead of trying to focus on one particular aspect or application, this is trying to cover a wide range of…
18955
Overview of cross-architecture portability problems
Ideally, you’d want your program to work everywhere. Unfortunately, that’s not that simple, even if you’re using high-level “portable” languages such as Python. In thi…
18956
PaperBench
We introduce PaperBench, a benchmark evaluating the ability of AI agents to replicate state-of-the-art AI research.
18957
How fast is Go? Simulating particles on a smart TV
The challenge, simulate millions of particles in golang, multi-player enabled, cpu only, smart tv compatible.
18958
Fixing left and mutual recursions in grammars
Left & Mutual Recursion Mitigation
18959
Solving a “Layton Puzzle” with Prolog
I have a lot in the works for the this month's Logic for Programmers release. Among other things, I'm completely rewriting the chapter on Logic Programming...
18960