Lobste.rs

title stats ⓘ date
The Hitchhiker’s Guide to Logical Verification
 18 / 1 2022-09-08T13:03:53Z
Compiling a Million Lines of Code with Delphi
 6 / 1 2022-09-08T06:30:25Z
Finding quote pairs with carry-less multiply (PCLMULQDQ)
 6 / 1 2022-09-08T05:56:07Z
WASM-4: Build retro games using WebAssembly for a fantasy console
 12 / 1 2022-09-08T04:55:03Z
The GitHub migration continues
 13 / 13 2022-09-08T03:27:29Z
A flow-based Clojure(script) eval/REPL canvas for "composable" visual exploration
 2 / 0 2022-09-08T01:49:38Z
A byte string library for Rust
 34 / 0 2022-09-07T23:51:07Z
You Can Build Portable Binaries of Python Applications
 14 / 5 2022-09-07T23:35:59Z
khoj: Natural Language Search Engine for your Org-Mode and Markdown notes
 8 / 0 2022-09-07T21:32:08Z
Use of Assertions (2014)
 12 / 8 2022-09-07T20:17:58Z
Rewriting tests from Cypress to Playwright using GPT3
 9 / 0 2022-09-07T17:47:36Z
Improving Vulkan graphics state tracking in Mesa
 5 / 0 2022-09-07T16:49:24Z
Zig, the small language
 56 / 16 2022-09-07T16:36:06Z
Smalltalk-72 Instruction Manual
 2 / 4 2022-09-07T16:26:06Z
How to fix the eyes in AI-generated images
 2 / 0 2022-09-07T16:13:42Z
Apple Event for September 7th, 2022
 26 / 36 2022-09-07T15:40:22Z
How the SQLite Virtual Machine Works
 29 / 0 2022-09-07T14:05:15Z
Who is the author "JC Shakespeare"?
 15 / 2 2022-09-07T14:03:57Z
nix-serve-ng: A faster, more reliable, drop-in replacement for nix-serve
 22 / 0 2022-09-07T13:57:01Z
Reviewing some new Rust text editors
 70 / 32 2022-09-07T13:54:47Z
Improved Galileo Time to First Fix
 4 / 0 2022-09-07T13:03:10Z
What’s a bors, and why (don’t) you want it?
 0 / 3 2022-09-07T12:39:23Z
Introducing Signals to Preact
 5 / 0 2022-09-07T11:46:22Z
dvdhrm/kmscon: Linux KMS/DRM based virtual Console Emulator
 5 / 5 2022-09-07T10:41:23Z
Akka is moving away from Open Source
 28 / 51 2022-09-07T10:11:26Z
Comprehensive Analysis and Case Study of Donkey Kong MAME and Arcade Video Output
 4 / 1 2022-09-07T09:58:31Z
Why we don’t use Spark
 2 / 0 2022-09-07T09:10:44Z
VPEXPANDB on NEON with Z3
 3 / 0 2022-09-07T08:45:22Z
Quake 1 game port to Apple Watch
 13 / 0 2022-09-07T07:34:54Z
Fossil Versus Git
 28 / 57 2022-09-07T07:22:47Z
How to test whether a STUN/TURN server is working properly
 2 / 0 2022-09-07T06:38:00Z
C++23: Preprocessing directives
 1 / 0 2022-09-07T06:37:58Z
A moved from optional
 2 / 0 2022-09-07T06:09:25Z
Difftastic, the Fantastic Diff
 106 / 13 2022-09-07T04:44:04Z
Phoenix framework LiveView live sessions in action
 2 / 0 2022-09-07T01:42:57Z
NIST issues new call for Post-Quantum Cryptography Digital Signature Schemes
 5 / 0 2022-09-07T01:40:06Z
How to send raw network packets in Python with tun/tap
 16 / 2 2022-09-07T00:14:09Z
A Catalogue of Optimizing Transformations [1971]
 5 / 0 2022-09-07T00:03:27Z
Proebsting's Law
 17 / 4 2022-09-07T00:00:22Z
Bare Metal Programming - Booting From the Switches
 5 / 0 2022-09-06T23:39:00Z
Full Disclosure: 123ADV-001: Stack Buffer Overflow in Lotus 1-2-3 R3 for UNIX/Linux
 7 / 0 2022-09-06T23:13:33Z
Wpoison
 2 / 0 2022-09-06T23:02:56Z
Game Emulation via Neural Network
 13 / 2 2022-09-06T21:27:48Z
hiddengems: Better search and ranking for ruby gems
 2 / 0 2022-09-06T21:05:22Z
Sudoku, Go and WebAssembly
 5 / 0 2022-09-06T21:02:10Z
Vulnerability Management for Go
 15 / 3 2022-09-06T20:38:02Z
Graph Query Language Standards
 5 / 0 2022-09-06T20:12:19Z
A Sequel to SQL? An introduction to Malloy
 9 / 1 2022-09-06T20:05:48Z
Monocraft: A programming font based on the typeface used in Minecraft
 20 / 11 2022-09-06T19:58:40Z
A library for testing different thread interleavings of concurrent Rust code
 17 / 0 2022-09-06T18:54:27Z
« < 323 324 325 326 327 328 329 330 331 > »