13651
Intro to TLA+ for the LLM Era: Prompt Your Way to Victory
You can go far without writing TLA+ syntax now, but you still need to understand temporal logic.
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 21,834 posts.
13652
Improving the usability of C libraries in Swift
There are many interesting, useful, and fun C libraries in the software ecosystem. While one could go and rewrite these libraries in Swift, usually there is no need, because Swift provides direct interoperability with C. With a little setup, you can directly use existing C libraries from your Swift code.
13653
Math library functions that seem unnecessary
Functions include in the standard C math library that seem unnecessary at first glance and why they are necessary.
13654
Mod_python - the long story
This story started back in 1996. I was in my early twenties, working as a programmer at a small company specializing in on-line reporting of certain pharmaceutical data. There was a web-based application (which was extremely cool considering how long ago this was), but unfortunately it was written in Visual Basic by a…
13655
SBCL Fibers – Lightweight Cooperative Threads
A draft design document describing lightweight userland cooperative threads for SBCL.
13656
Not Explicit
Oftentimes when I am conversing about the design of Rust with other users - as on RFCs or the internals forum - I witness a peculiar remark about “explicitness.” It usually goes something like this: I do not like Feature Design X because it is too implicit. Magic is okay in Other Language Y, but Rust is supposed to be…
13657
Optimizing our way through Metroid
How should a fuzzer balance exploration and minimization? Samus has the answer.
13658
13659
13660
You could have invented Parser Combinators
Computer Science, Machine Learning, Programming, Art, Mathematics, Philosophy, and Short Fiction
13661
PyPy 2.6.0 released
PyPy 2.6.0 - Cameo Charm We’re pleased to announce PyPy 2.6.0, only two months after PyPy 2.5.1. We are particulary happy to update cf...
13662
A Concurrency Cost Hierarchy
Concurrent operations can be grouped relatively neatly into categories based on their cost
13663
15 Years of Shader Minification
How do demosceners create complex computer animations in just a few kilobytes? One of our secret weapons is Shader Minifier, a tool that minifies GLSL code. Over the years, it has evolved to pack more data into tiny executables, pushing the boundaries of what's possible. In this blog post, we'll go through its…
13664
13665
Data Structures in JavaScript
Freelance web developer, lover of JS and all new stuff #reactjs, #redux, #docker #machinelearning... Co-founder and CTO @AppBubbleBD, involved in @AllOverSequins, @recursecenter alumni
13666
DotNetAnywhere: An Alternative .NET Runtime
Recently I was listening to the excellent DotNetRocks podcast and they had Steven Sanderson (of Knockout.js fame) talking about ‘WebAssembly and Blazor’.
13667
13668
13669
Racket-On-Chez Status
posted by Matthew Flatt with thanks to collaborators Kent Dybvig, Andy Keep, Gustavo Massaccesi, Sarah Spall, Sam Tobin-Hochstadt, and Jon Zeppieri It's been almost a year since we decided to try running Racket on Chez Scheme, and it has been almost six ...
13670
Zip Files: History, Explanation and Implementation
I have been curious about data compression and the Zip file format in particular for a long time. At some point I decided to address that by learning how it works and writing my own Zip program. The implementation turned into an exciting programming exercise; there is great pleasure to be had from creating a well…
13671
Let's build a browser engine Part 3: CSS
This is the third in a series of articles on building a toy browser rendering engine. Want to build your own? Start at the beginning to learn more:
13672
13673
Work with Git Forges inside Emacs
Blog of Jonas Bernoulli
13674
The quadratic sandwich
If you have ever tried to minimize a function with gradient descent, you probably noticed that some functions are a joy to optimize and others are a nightmare. The difference often boils down to two properties: strong convexity and L-smoothness. These two concepts define a “sandwich” of quadratic bounds around your…
13675
Rust: Structuring and handling errors in 2020 (2020)
After working through “the book” on the Rust programming language and getting started with the first non-trivial, real-world application I found myself faced with a question I didn’t yet feel well-equipped to handle: “How should you structure error handling in a mature rust application?”
13676
Implementing Bluetooth LE Audio and Auracast on Linux Systems
LE Audio replaces classic Bluetooth® audio profiles with a modular, low-energy architecture.
13677
The Little MongoDB Book available on GitHub
Karl Seguin's Blog - A mix of coding and creative writing
13678
First personal search engine prototype
I've implemented a first prototype of my personal search engine which I will abbreviate as "pse" from here on out. I implemented it using three Bash scripts relying on sqlite3 , wget and PageFind to do the heavy lifting.
13679
What Makes a Graphics Systems Paper Beautiful
Addendum: I've added a few additional tips for conference papers chairs, papers committee members, and papers sorters .
13680
An Introduction to Real-Time Subsurface Scattering
A little while ago I was doing some research into the state-of-the-art for approximating subsurface scattering effects in real-time (mainly for skin rendering), and I had taken a bunch of loose notes to help me keep all of the details straight. I thought it might be useful to turn those notes into a full blog post, in…