Lobste.rs

api
filters

title	stats ⓘ	date
smalltt: High performance type theory elaboration	3 / 0	Mar 1, 2019
I made a tool to help you search Git log more easily	15 / 8	Mar 1, 2019
What is Dark? Darklang	29 / 40	Mar 1, 2019
How I'm still not using GUIs in 2019: A guide to the terminal	10 / 22	Mar 1, 2019
SharpKit: C# to JavaScript Compiler	1 / 0	Mar 1, 2019
StGit - alternative git interface	6 / 13	Mar 1, 2019
Redesigning Github repository page	8 / 2	Mar 1, 2019
Bash completion from JSON fields	4 / 0	Mar 1, 2019
Building a fast Electron app with Rust	19 / 0	Mar 1, 2019
Announcing Rust 1.33.0	35 / 0	Feb 28, 2019
Deep Learning in Clojure from Scratch to GPU: CUDA and OpenCL, Nvidia and AMD	3 / 0	Feb 28, 2019
Reverse Engineering Architecture and Pinout of Custom ASICs	10 / 0	Feb 28, 2019
physarum	9 / 1	Feb 28, 2019
FOSDEM 2019 - Proof of Pointer Programs with Ownership in SPARK	3 / 0	Feb 28, 2019
Project Highlight: Spasm	3 / 0	Feb 28, 2019
Console Hacking 2016: PS4 PC Master Race	7 / 8	Feb 28, 2019
Richer command line interfaces	17 / 18	Feb 28, 2019
Perl Cannot Be Parsed: A Formal Proof (2008)	9 / 1	Feb 28, 2019
A JSON/EDN browser for the terminal	6 / 0	Feb 28, 2019
Introducing SPRO - a flexible and time saving Gulp setup for your next project	4 / 2	Feb 28, 2019
Would there be interest in a Patreon for lobste.rs?	9 / 5	Feb 28, 2019
"It's done in hardware so it's cheap"	21 / 5	Feb 28, 2019
Microsoft has open sourced their Frontend Bootcamp training materials	1 / 0	Feb 28, 2019
I Still Make Silly Mistakes	4 / 0	Feb 28, 2019
All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (2010)	4 / 4	Feb 28, 2019
My Favorite Paradox	50 / 5	Feb 28, 2019
The hard part in becoming a command line wizard	20 / 4	Feb 28, 2019
Debugging the Postgres query planner	4 / 0	Feb 28, 2019
How do we tell truths that might hurt? (Dijkstra, 1982)	6 / 1	Feb 28, 2019
Hyperscan: A Fast Multi-pattern Regex Matcher for Modern CPUs	19 / 0	Feb 28, 2019
Introducing Zombie POODLE and GOLDENDOODLE	5 / 2	Feb 28, 2019
We Need Chrome No More	66 / 18	Feb 28, 2019
6.5-beta has been tagged	16 / 0	Feb 28, 2019
Rebuilding My Personal Infrastructure With Alpine Linux and Docker	33 / 18	Feb 28, 2019
License Plate Detection without Machine Learning	4 / 1	Feb 28, 2019
Revisiting PEP 394	2 / 0	Feb 28, 2019
Fuchsia is not unix	56 / 17	Feb 28, 2019
What should go in the C++ standard library	9 / 10	Feb 28, 2019
HyperCard User's Guide (1987)	5 / 0	Feb 28, 2019
Alloy* - A Higher-Order, Relational, Constraint Solver	11 / 0	Feb 27, 2019
The Linux Kernel Boot Process	12 / 0	Feb 27, 2019
Dojo4 Becomes a Coop	7 / 1	Feb 27, 2019
MariaDB CEO accuses large cloud vendors of strip-mining open source	5 / 0	Feb 27, 2019
Clifford Algebras	6 / 0	Feb 27, 2019
Complexity Explorables	8 / 1	Feb 27, 2019
Fixing cron jobs in Mojave	8 / 11	Feb 27, 2019
The Origins of APL (1974)	9 / 0	Feb 27, 2019
The std::map subscript operator is a convenience, but a potentially dangerous one	11 / 2	Feb 27, 2019
If you wanted to go from zero to Linux kernel hacker, what route would you take?	39 / 29	Feb 27, 2019
Revisiting PEP 394	5 / 0	Feb 27, 2019

Lobste.rs api filters

Lobste.rs

api
filters