Lobste.rs

title stats ⓘ date
EverParse: Hardening critical attack surfaces with formally proven message parsers
 19 / 1 2021-05-06T11:38:55Z
v0.15 of Gleam, a type safe language for the Erlang VM, has been released
 64 / 31 2021-05-06T11:34:06Z
Deep Diving Into the Strengths of FreeBSD
 6 / 0 2021-05-06T09:39:25Z
FreeBSD PKG Base Repository
 2 / 1 2021-05-06T08:28:35Z
Three interesting refrains of Coders at Work (2015)
 30 / 6 2021-05-06T08:25:09Z
FreeBSD 2021 Q1 Status Report
 14 / 3 2021-05-06T07:59:22Z
Catala: A Programming Language for the Law
 42 / 17 2021-05-06T04:12:58Z
SpiderMonkey got a new website
 20 / 3 2021-05-06T02:01:47Z
The Curse of the A-word
 13 / 1 2021-05-06T01:45:43Z
Bootstrap 5
 23 / 2 2021-05-06T01:43:31Z
Accelerometer data from smartphones can reveal people's location, passwords, and much more
 14 / 2 2021-05-06T01:36:15Z
Migrating From Python to Kotlin for Our Backend Services
 12 / 10 2021-05-06T00:25:40Z
Portability is Reliability
 9 / 0 2021-05-05T23:11:51Z
Practical Nix Flakes
 11 / 0 2021-05-05T21:41:57Z
How to (not) use Docker to share your password with hackers
 0 / 0 2021-05-05T20:02:40Z
Patching kernel modules using DKMS
 1 / 0 2021-05-05T19:30:28Z
Six years of professional Clojure development
 21 / 15 2021-05-05T19:27:05Z
Tracy: C++ frame profiler
 5 / 0 2021-05-05T19:18:38Z
The Case of the 50ms request
 79 / 12 2021-05-05T19:09:34Z
seL4 on RISC-V Verified to Binary Code
 19 / 18 2021-05-05T18:31:18Z
Building Mobile Apps at Scale: 39 Engineering Challenges
 1 / 1 2021-05-05T18:09:08Z
Automata Modulo Theories
 6 / 0 2021-05-05T17:58:06Z
Programming in Z3 by learning to think like a compiler
 17 / 0 2021-05-05T17:20:14Z
decentralized location-aware p2p protocol to make food delivery fair again
 22 / 13 2021-05-05T16:20:40Z
ISDN: The Untravelled Path of Mobile Computing
 12 / 4 2021-05-05T15:54:38Z
The Great Rewriting In Rust
 67 / 33 2021-05-05T13:38:45Z
Simple as in SNMP
 24 / 10 2021-05-05T12:07:04Z
$1 Recognizer
 25 / 0 2021-05-05T11:19:34Z
Go proposal: new package to provide generic slice functions
 16 / 5 2021-05-05T11:19:16Z
Restoring a Sun SPARCstation IPX Part 3: SCSI2SD, Solaris install and Expansion
 3 / 0 2021-05-05T11:18:27Z
Data leverage roundup
 1 / 0 2021-05-05T10:46:32Z
Moves, copies and clones in Rust
 25 / 2 2021-05-05T09:28:00Z
Change Ruby Version on Mac
 6 / 12 2021-05-05T09:18:17Z
Proving 50-Year-Old Sorting Networks Optimal: Part 1
 25 / 7 2021-05-05T07:21:19Z
Racket v8.1
 23 / 5 2021-05-05T07:07:30Z
How we use Web Components at GitHub
 12 / 1 2021-05-05T04:42:09Z
Using qemu-user emulation to reverse engineer binaries
 16 / 0 2021-05-05T04:33:10Z
Z3 Tutorial
 6 / 0 2021-05-05T03:08:34Z
My 4 Favorite Cloud IDEs for 2021
 1 / 1 2021-05-05T01:58:36Z
An Incomplete Explanation of the Proc Macro That Saved Me 4000 Lines of Rust
 5 / 1 2021-05-04T23:13:07Z
Tails! A tiny Forth core written as a hack for May Forth 2021, using some of Wasm3's secret optimization sauce
 22 / 11 2021-05-04T22:50:14Z
Cinder: Instagram's performance oriented fork of CPython
 25 / 2 2021-05-04T21:46:20Z
Generate syntax diagrams (railroad diagrams) for various parser grammars
 11 / 0 2021-05-04T21:39:39Z
The Usual Suspects (Operating Model anti-patterns)
 1 / 0 2021-05-04T20:46:00Z
Algorithm Agility?
 4 / 0 2021-05-04T20:45:37Z
Load Balancing and Auto Scaling with HAProxy
 4 / 1 2021-05-04T20:15:18Z
What's the most mysterious bug you've ever encountered?
 36 / 31 2021-05-04T20:04:57Z
The Overselling of Mathematics
 4 / 1 2021-05-04T19:53:41Z
Forth programming language, history and evolution
 8 / 0 2021-05-04T19:25:10Z
I made a web patch editor for the microKORG
 8 / 3 2021-05-04T19:24:57Z
« < 567 568 569 570 571 572 573 574 575 > »