Lobste.rs

title stats ⓘ date
Every type is defined by its intro and elim forms
 18 / 11 2023-04-24T18:16:17Z
Haiku's (Kernel) Condition Variables API: Design & Implementation
 15 / 1 2023-04-24T17:32:41Z
QEMU version 8.0.0 released
 21 / 0 2023-04-24T16:06:45Z
Diagnosing and repairing a Brother fax/printer USB failure
 6 / 0 2023-04-24T15:34:37Z
Why I use Nix and make(1) to develop
 30 / 30 2023-04-24T15:26:21Z
Modeling Git Internals in Alloy, Part 3: Operations on Blobs and Trees
 5 / 1 2023-04-24T14:02:09Z
pair programming experience with Bard
 4 / 9 2023-04-24T13:58:40Z
Introducing tsc.nvim: Project-Wide Asynchronous TypeScript Type-Checking & Diagnostics for Neovim
 10 / 5 2023-04-24T13:27:37Z
Parallel Agile: Interesting Idea – Does It Work?
 8 / 0 2023-04-24T12:42:20Z
Our Journey from SaaS to OSS: Monoliths vs. Microservices
 6 / 0 2023-04-24T12:16:53Z
deleting system32\curl.exe
 41 / 5 2023-04-24T12:15:44Z
OpenBSD: Managing an inverter/converter with NUT
 6 / 0 2023-04-24T11:45:38Z
What are you doing this week?
 11 / 16 2023-04-24T10:02:07Z
1Password is adding telemetry
 51 / 55 2023-04-24T07:37:21Z
The shrinking role of semaphores
 34 / 21 2023-04-24T04:35:23Z
The many ways of converting FP32 to FP16
 6 / 0 2023-04-24T03:19:12Z
A CTF Challenge using the Nintendo 3DS' unique features
 8 / 0 2023-04-24T01:12:49Z
Leverage the richness of HTTP status codes
 2 / 6 2023-04-23T20:01:33Z
Using Nix with Dockerfiles
 34 / 7 2023-04-23T18:54:56Z
Introducing PyPI Organizations
 10 / 5 2023-04-23T18:33:20Z
rye: Flask author's new project for Python bootstrapping
 57 / 12 2023-04-23T17:17:22Z
AWA's Acoustic Hood - Effective Silencing for Office Printers
 6 / 0 2023-04-23T16:33:41Z
The World's Simplest Lock-Free Hash Table (2013)
 17 / 15 2023-04-23T14:14:29Z
Understanding LSTM Networks
 6 / 0 2023-04-23T13:04:42Z
PG advisory locks in Go with built-in hashes
 10 / 2 2023-04-23T13:04:34Z
Git-Sim 3 Month Dev Update: Community response, New Features, & The Future
 5 / 0 2023-04-23T13:00:22Z
Regular Expressions in Zig
 10 / 0 2023-04-23T12:58:31Z
The two types of C programmers
 17 / 29 2023-04-23T12:57:24Z
Measuring the Impact of False Sharing
 12 / 3 2023-04-23T12:01:24Z
Structure and Interpretation of React Native
 5 / 0 2023-04-23T11:08:15Z
DuskOS - 32-bit Forth OS mixed with C
 14 / 8 2023-04-23T06:38:55Z
Data Oriented Parallel Value Interner
 10 / 5 2023-04-23T05:29:24Z
The Small Tech Feature I Am Grateful For, and It’s Not AI
 13 / 8 2023-04-22T21:49:08Z
On Recursion, Continuations and Trampolines
 11 / 3 2023-04-22T21:00:19Z
Research without Re-search: Maximal Update Parametrization Yields Accurate Loss Prediction across Scales
 2 / 1 2023-04-22T20:44:00Z
Simulated floppy disk with real magnetic data transfer
 4 / 0 2023-04-22T20:13:54Z
Bare Metal Vi, boot into Vi without an OS
 42 / 12 2023-04-22T19:31:23Z
Darke Files - a version control and file synchronization system
 7 / 3 2023-04-22T18:05:43Z
The “Build Your Own Database” book is finished
 31 / 14 2023-04-22T17:37:22Z
On the state of KaiOS and BananaHackers community as of summer of 2023
 5 / 1 2023-04-22T16:28:29Z
Understand Postgres wire protocol by writing a simple program
 8 / 0 2023-04-22T16:19:28Z
The Cretaceous-Paleogene extinction event and security practice
 5 / 4 2023-04-22T14:27:27Z
Announcing Rust 1.69.0
 42 / 17 2023-04-22T12:21:39Z
Memoirs from the old web: server-side image maps
 22 / 8 2023-04-22T09:23:56Z
eXtended disquisitions on eXpress datapaths
 4 / 2 2023-04-22T08:28:08Z
The intuition behind the Universal Approximation Theorem
 6 / 5 2023-04-22T08:03:57Z
Escheresque parquet deformations of an aperiodic monotile
 6 / 0 2023-04-22T07:37:48Z
Manjaro 22.1 Talos released
 4 / 1 2023-04-22T07:06:34Z
Mass editing memory in a transformer
 2 / 2 2023-04-22T03:53:23Z
The weird world of Windows file paths
 17 / 8 2023-04-22T02:44:26Z
« < 213 214 215 216 217 218 219 220 221 > »