Lobste.rs

title stats ⓘ date
Vagaries of Git Merge
 13 / 3 2019-11-30T02:27:03Z
pash: a simple password manager using GPG written in POSIX sh
 15 / 18 2019-11-30T01:00:44Z
Crustaceans of Fediverse, where are you?
 23 / 61 2019-11-29T22:14:48Z
TLA+ model checking made symbolic
 11 / 0 2019-11-29T22:02:04Z
Addressing in AF_INET, AF_INET6 and AF_UNIX sockets
 20 / 2 2019-11-29T20:01:24Z
efghij - Esolang
 18 / 2 2019-11-29T19:51:39Z
Cards Against Humanity's Black Friday AI Challenge
 6 / 1 2019-11-29T17:38:12Z
Using custom version of SQLite (LD_PRELOAD)
 7 / 0 2019-11-29T16:45:30Z
Using `bash`, `sleep` and `procfs` to set up a rudimentary object system
 8 / 6 2019-11-29T16:43:26Z
Learn two programming languages
 29 / 19 2019-11-29T16:20:48Z
What are you doing this weekend?
 9 / 21 2019-11-29T16:11:10Z
Parametric 3D design tutorial with Rhino Grasshopper
 2 / 0 2019-11-29T15:57:57Z
"The end" of prototyping?
 -1 / 0 2019-11-29T15:39:08Z
Python's package index has a very detailed topic taxonomy
 4 / 1 2019-11-29T14:54:04Z
Formality in requirements: new publication
 6 / 1 2019-11-29T14:30:43Z
Raspberry Pi 4 WiFi stops working at 2560x1440 screen resolution
 18 / 10 2019-11-29T14:19:11Z
Resolving a minor turkey day networking mystery
 4 / 0 2019-11-29T13:36:29Z
Unsoundness in `Pin`
 25 / 2 2019-11-29T13:25:17Z
How to estimate probability of making errors per lines of code?
 4 / 8 2019-11-29T11:46:53Z
Understanding what is Data Leakage in Machine Learning and how it can be detected
 2 / 0 2019-11-29T11:25:24Z
Hacking doom for fun, health and ammo
 26 / 0 2019-11-29T10:48:20Z
the information apocalypse
 13 / 20 2019-11-29T10:17:11Z
Histogram-Preserving Tiling
 3 / 1 2019-11-29T03:06:38Z
Real hardware breakthroughs, and focusing on rustc
 32 / 1 2019-11-29T03:04:17Z
Cheap laptop for storage in case of life emergency?
 13 / 31 2019-11-29T02:01:04Z
Designing a Permanent Personal Identity
 -1 / 0 2019-11-29T00:57:27Z
What are you asking for/giving for the holidays?
 5 / 23 2019-11-28T23:36:22Z
Public SSH keys can leak your private infrastructure
 20 / 11 2019-11-28T20:45:41Z
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
« < 885 886 887 888 889 890 891 892 893 > »