Lobste.rs

title stats ⓘ date
Ruby 2.7 adds Enumerator#produce
 18 / 4 2019-11-28T19:57:27Z
Concise and Consistent naming (article) [2005]
 3 / 0 2019-11-28T19:48:02Z
Automatic Loop Invariant Generation and Refinement through Selective Sampling (2017)
 5 / 1 2019-11-28T15:54:34Z
PHP 7.4 available
 18 / 0 2019-11-28T14:29:25Z
Lguest
 9 / 1 2019-11-28T14:16:05Z
The Last Person on Earth Without Windows 95
 28 / 5 2019-11-28T13:50:17Z
How to make your papers run: Executable formal semantics for your language
 7 / 1 2019-11-28T12:43:24Z
Firefox Replay
 60 / 9 2019-11-28T11:54:09Z
Back to 40 columns
 5 / 18 2019-11-28T11:47:14Z
62.7% of the total system energy in Mobile Devices is spent on data movement
 18 / 6 2019-11-28T10:42:53Z
Troubleshooting with Wireshark: The Case of the TCP Challenge ACK
 9 / 1 2019-11-28T10:29:35Z
unwind(8) gains "Happy Eyeballs"-like flexibility
 5 / 0 2019-11-28T10:14:18Z
Choosing the Right Messenger
 24 / 28 2019-11-28T10:06:52Z
The First Non-Bullshit Book About Culture I’ve Read
 21 / 15 2019-11-28T08:37:32Z
A Brief Introduction to Bisq
 2 / 0 2019-11-28T07:39:53Z
A successful deployment model
 2 / 0 2019-11-28T04:14:10Z
From Löb's Theorem to Spreadsheet Evaluation (2006)
 3 / 0 2019-11-28T04:13:05Z
Tide
 12 / 0 2019-11-28T00:19:34Z
cabal - experimental p2p community chat platform
 4 / 0 2019-11-28T00:13:01Z
Some notes on userspace routing
 1 / 0 2019-11-27T23:34:03Z
syscall call-from verification
 15 / 3 2019-11-27T23:12:25Z
C snippets by Rusty Russell
 24 / 2 2019-11-27T22:48:18Z
Off-Grid Cyberdeck! The Raspberry Pi Recovery Kit
 23 / 0 2019-11-27T22:45:46Z
Guix and Elm
 20 / 0 2019-11-27T22:41:23Z
Your Debugger Sucks
 4 / 1 2019-11-27T22:20:54Z
Rebase on the World: personal shell choice
 25 / 12 2019-11-27T20:41:45Z
NetBSD machines at Open Source Conference 2019 Tokyo/Fall
 1 / 0 2019-11-27T20:13:25Z
Job negotiation for programmers: the basic principles
 20 / 0 2019-11-27T19:19:59Z
Everything I know about Kubernetes I learned from a cluster of Raspberry Pis
 5 / 2 2019-11-27T17:10:29Z
Distributed GSM / Multicast MS Lookup
 4 / 0 2019-11-27T17:04:12Z
64 Bits ought to be enough for anybody
 46 / 9 2019-11-27T15:58:55Z
Advent of Code 2019
 81 / 29 2019-11-27T15:53:36Z
AnNotify: A Private Notification Service
 9 / 0 2019-11-27T15:16:31Z
ElectronCGI - A solution to cross-platform GUIs for .Net Core
 7 / 13 2019-11-27T12:00:33Z
Third-party Web APIs you've actually enjoyed using?
 12 / 15 2019-11-27T11:25:09Z
Moving gnome-shell's styles to Rust
 16 / 1 2019-11-27T10:54:10Z
No more google for console junkies
 66 / 35 2019-11-27T10:51:09Z
A Look at PureDarwin - an OS based on the open source core of macOS
 24 / 15 2019-11-27T10:38:42Z
`if` and `match` in constants on nightly rust
 10 / 0 2019-11-27T10:34:01Z
A Clojure wrapper to HikariCP JDBC connection pool (2014-ongoing)
 6 / 0 2019-11-27T09:53:58Z
Reimplementation of Unix watch command in Go with support for aliases
 3 / 0 2019-11-27T09:50:02Z
Automatic versioning of Java applications using Git-Version Plugin
 3 / 0 2019-11-27T09:32:47Z
A collection of zig libraries which provide interfaces over the system for writing high performance
 5 / 0 2019-11-27T04:44:27Z
I'm not burned out, I'm pissed off
 50 / 19 2019-11-27T04:24:54Z
Better computational complexity does not imply better speed
 9 / 0 2019-11-27T03:35:21Z
On Eliminating Root Nameservers from the DNS
 19 / 4 2019-11-27T00:46:53Z
Building Your First Program Synthesizer
 6 / 0 2019-11-27T00:15:50Z
Cascadia Code Font 1910.04
 16 / 11 2019-11-26T22:55:20Z
Hodie Natus Est Radici Frater
 16 / 1 2019-11-26T22:39:51Z
How to use pkgsrc on Linux
 7 / 0 2019-11-26T22:20:46Z
« < 879 880 881 882 883 884 885 886 887 > »