Lobste.rs

title stats ⓘ date
FOSDEM 2019 - Proof of Pointer Programs with Ownership in SPARK
 3 / 0 2019-02-28T20:54:47Z
Project Highlight: Spasm
 3 / 0 2019-02-28T20:51:40Z
Console Hacking 2016: PS4 PC Master Race
 7 / 8 2019-02-28T18:41:38Z
Richer command line interfaces
 17 / 18 2019-02-28T17:26:32Z
Perl Cannot Be Parsed: A Formal Proof (2008)
 9 / 1 2019-02-28T17:11:46Z
A JSON/EDN browser for the terminal
 6 / 0 2019-02-28T17:09:20Z
Introducing SPRO - a flexible and time saving Gulp setup for your next project
 4 / 2 2019-02-28T16:50:50Z
Would there be interest in a Patreon for lobste.rs?
 9 / 5 2019-02-28T16:18:43Z
"It's done in hardware so it's cheap"
 21 / 5 2019-02-28T15:55:07Z
Microsoft has open sourced their Frontend Bootcamp training materials
 1 / 0 2019-02-28T15:22:48Z
I Still Make Silly Mistakes
 4 / 0 2019-02-28T14:28:09Z
All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (2010)
 4 / 4 2019-02-28T14:27:51Z
My Favorite Paradox
 50 / 5 2019-02-28T13:29:41Z
The hard part in becoming a command line wizard
 20 / 4 2019-02-28T13:25:26Z
Debugging the Postgres query planner
 4 / 0 2019-02-28T12:20:23Z
How do we tell truths that might hurt? (Dijkstra, 1982)
 6 / 1 2019-02-28T11:47:32Z
Hyperscan: A Fast Multi-pattern Regex Matcher for Modern CPUs
 19 / 0 2019-02-28T11:30:05Z
Introducing Zombie POODLE and GOLDENDOODLE
 5 / 2 2019-02-28T10:29:38Z
We Need Chrome No More
 66 / 18 2019-02-28T10:12:32Z
6.5-beta has been tagged
 16 / 0 2019-02-28T10:12:18Z
Rebuilding My Personal Infrastructure With Alpine Linux and Docker
 33 / 18 2019-02-28T07:15:19Z
License Plate Detection without Machine Learning
 4 / 1 2019-02-28T06:35:03Z
Revisiting PEP 394
 2 / 0 2019-02-28T03:54:52Z
Fuchsia is not unix
 56 / 17 2019-02-28T03:07:44Z
What should go in the C++ standard library
 9 / 10 2019-02-28T01:43:16Z
HyperCard User's Guide (1987)
 5 / 0 2019-02-28T01:40:25Z
Alloy* - A Higher-Order, Relational, Constraint Solver
 11 / 0 2019-02-27T23:53:21Z
The Linux Kernel Boot Process
 12 / 0 2019-02-27T23:45:30Z
Dojo4 Becomes a Coop
 7 / 1 2019-02-27T23:17:45Z
MariaDB CEO accuses large cloud vendors of strip-mining open source
 5 / 0 2019-02-27T23:16:29Z
Clifford Algebras
 6 / 0 2019-02-27T22:28:29Z
Complexity Explorables
 8 / 1 2019-02-27T22:19:37Z
Fixing cron jobs in Mojave
 8 / 11 2019-02-27T20:11:53Z
The Origins of APL (1974)
 9 / 0 2019-02-27T19:57:48Z
The std::map subscript operator is a convenience, but a potentially dangerous one
 11 / 2 2019-02-27T19:49:51Z
If you wanted to go from zero to Linux kernel hacker, what route would you take?
 39 / 29 2019-02-27T19:23:37Z
Revisiting PEP 394
 5 / 0 2019-02-27T19:09:58Z
How a Kalman filter works, in pictures
 24 / 4 2019-02-27T18:11:30Z
The Physics of Software
 8 / 0 2019-02-27T18:08:45Z
All one needs to know about digital products maintenance
 2 / 0 2019-02-27T17:55:18Z
Node.js Task Runners: Are they right for you?
 3 / 0 2019-02-27T17:12:47Z
The NetBSD Foundation participating in Google Summer of Code 2019
 3 / 0 2019-02-27T17:04:11Z
Light-weight Contexts: An OS Abstraction for Safety and Performance (2016)
 16 / 9 2019-02-27T16:06:43Z
Model-Checking an Entire Linux Distribution for Security Vulnerabilities (2005)
 1 / 0 2019-02-27T16:03:38Z
All videos of Meeting C++ 2018 are online
 11 / 0 2019-02-27T15:52:08Z
Top ten most popular docker images each contain at least 30 vulnerabilities
 22 / 4 2019-02-27T15:45:03Z
CERN 2019 WorldWideWeb Rebuild
 11 / 2 2019-02-27T14:45:05Z
44CON 2019 CFP Now Open
 2 / 0 2019-02-27T14:04:28Z
k3s - Lightweight Kubernetes
 37 / 8 2019-02-27T13:53:05Z
PyCM 1.9 : Confusion matrix analysis + parameter recommender
 5 / 0 2019-02-27T13:18:39Z
« < 1045 1046 1047 1048 1049 1050 1051 1052 1053 > »