Lobste.rs

title stats ⓘ date
Dafny - a verification-aware programming language
 8 / 3 2023-11-23T14:13:47Z
Software you are thankful for
 113 / 155 2023-11-23T13:01:01Z
Meow5 Concatenative Assembly: The Conclusion
 9 / 1 2023-11-23T12:57:54Z
Hashed and Hierarchical Timing Wheels: Data Structures for the Efficient Implementation of a Timer Facility
 5 / 3 2023-11-23T10:18:42Z
Creating a macOS app with Haskell and Swift
 17 / 1 2023-11-23T10:07:55Z
Herbie: Find and fix floating-point accuracy problems
 19 / 1 2023-11-23T06:58:17Z
Bug Bounties Tips from the Triager
 1 / 3 2023-11-23T05:32:56Z
How to (and how not to) design REST APIs
 33 / 22 2023-11-23T04:22:21Z
All that Infocom interpreter code
 23 / 0 2023-11-23T02:06:03Z
There are no strings on me
 31 / 15 2023-11-23T01:20:06Z
Highlights from Git 2.43
 18 / 1 2023-11-22T23:51:08Z
Retries – An interactive study of common retry methods
 67 / 24 2023-11-22T20:40:44Z
Email obfuscation: What still works in 2023?
 32 / 17 2023-11-22T20:39:47Z
Who's watching the watchdog?
 7 / 5 2023-11-22T19:25:32Z
An Interactive Guide to CSS Grid
 46 / 1 2023-11-22T16:47:51Z
Did you know that import maps can be rendered client-side?
 4 / 0 2023-11-22T16:36:16Z
New features in Fortran 2023
 21 / 0 2023-11-22T16:12:24Z
Litterbox - Analysis of Scratch projects
 6 / 0 2023-11-22T08:15:02Z
Zork for the PDP-11 / RT-11 recreated
 10 / 2 2023-11-22T06:09:29Z
Adding a new teller | queuing theory example (2008)
 2 / 0 2023-11-22T04:28:43Z
Anastasis
 5 / 0 2023-11-22T02:35:04Z
The Windows 95 team bought 1 of every retail PC program they could get
 19 / 4 2023-11-22T01:32:37Z
Exponentially Faster Language Modelling
 9 / 1 2023-11-22T01:27:52Z
YOYOZO (or, how I made a Playdate game in 39KB)
 25 / 10 2023-11-22T01:04:18Z
How I (kind of) killed Mercurial at Mozilla
 45 / 18 2023-11-21T23:38:30Z
C++ Guidelines
 7 / 7 2023-11-21T22:52:41Z
Adaptive Shells for Efficient Neural Radiance Field Rendering
 3 / 0 2023-11-21T22:51:21Z
mess with dns
 32 / 0 2023-11-21T22:32:37Z
Explicit Resource Management: Exploring JavaScript's and TypeScript's new feature
 7 / 0 2023-11-21T20:42:23Z
Red Programming Language
 24 / 13 2023-11-21T19:59:18Z
Fitting a Forth in 512 bytes (2021)
 10 / 3 2023-11-21T19:37:11Z
URL parser performance
 29 / 28 2023-11-21T18:21:12Z
Embark: Dynamic documents for making plans
 7 / 0 2023-11-21T18:17:42Z
fuzzing duperemove
 3 / 0 2023-11-21T18:04:59Z
Spreadsheets and Small Software
 36 / 7 2023-11-21T18:02:45Z
Stage: Text Adventure Game Engine
 10 / 0 2023-11-21T17:49:57Z
Attribution armored code
 19 / 4 2023-11-21T17:05:14Z
Two kinds of threads pools, and why you need both
 29 / 9 2023-11-21T15:51:43Z
Linearizability versus Serializability (2014)
 2 / 0 2023-11-21T14:15:30Z
A Neighborhood of Infinity: The Three Projections of Doctor Futamura
 9 / 9 2023-11-21T13:07:14Z
Various things in MetaPost
 20 / 6 2023-11-21T11:31:59Z
RFC 9505: A Survey of Worldwide Censorship Techniques
 4 / 0 2023-11-21T11:16:36Z
Interactive Common Lisp development
 7 / 0 2023-11-21T09:34:18Z
Zig May Pass Anything By Reference
 60 / 34 2023-11-21T08:30:26Z
Julia as a unifying end-to-end workflow language on the Frontier exascale system (Sep. 2023)
 6 / 1 2023-11-21T08:13:12Z
RFC 9498: The GNU Name System
 40 / 10 2023-11-21T08:00:23Z
tmp.0ut magazine #003
 37 / 0 2023-11-21T07:32:05Z
Hacking the Canon imageCLASS MF742Cdw/MF743Cdw (again)
 6 / 0 2023-11-21T07:28:53Z
Rubber duck debugging: "Thank you for holding my duck"
 25 / 2 2023-11-21T05:27:54Z
What's Zig got that C, Rust and Go don't have?
 30 / 32 2023-11-21T05:09:55Z
« < 126 127 128 129 130 131 132 133 134 > »