Lobste.rs

title stats ⓘ date
Explaining formal proofs
 6 / 10 2019-04-15T10:02:06Z
A proposal for an update to semver
 11 / 21 2019-04-15T09:35:33Z
Create a RESTful API with Rust
 27 / 0 2019-04-15T08:57:51Z
A grammar for HTML5 (2012)
 12 / 15 2019-04-15T06:39:01Z
Concepts, Techniques, and Models of Computer Programming
 13 / 1 2019-04-15T05:15:55Z
chroot shenanigans 2: Running a full desktop environment on an Amazon Kindle
 15 / 1 2019-04-15T02:47:08Z
A constraint solver for minesweeper, implemented in Oz/Mozart
 11 / 3 2019-04-15T02:39:22Z
How We Measure Standards (and why it’s sort of a problem)
 7 / 4 2019-04-15T01:52:23Z
quick scan through lobsters's source code
 46 / 12 2019-04-14T23:43:08Z
Fast compilers for fast programs
 21 / 5 2019-04-14T23:15:43Z
Running an IRC Network in 2019: Challenges and Opportunities
 65 / 50 2019-04-14T20:12:25Z
What it means for the code to be elegant
 17 / 6 2019-04-14T19:52:50Z
t2k19 Hackathon Report: On rsync, ssh, and ports cruft
 20 / 0 2019-04-14T14:00:48Z
Online Historical Encyclopaedia of Programming Languages
 4 / 0 2019-04-14T13:31:30Z
Improving Key Expiration in Redis
 10 / 3 2019-04-14T12:35:07Z
21 Compilers and 3 Orders of Magnitude in 60 Minutes
 80 / 25 2019-04-14T12:30:01Z
CSS Sans
 32 / 2 2019-04-14T11:07:41Z
Searching News Articles Using an Event Knowledge Graph Leveraged by Wikidata
 11 / 0 2019-04-14T08:45:35Z
From dependency injection to dependency rejection
 5 / 0 2019-04-14T04:11:13Z
glibc getaddrinfo(3) and greener pastures
 12 / 6 2019-04-14T03:15:23Z
Functions to Extract from a Date Integer Without Using Strings
 7 / 8 2019-04-13T23:24:24Z
Value categories, and references to them
 6 / 0 2019-04-13T22:34:54Z
Adventures in CI
 2 / 0 2019-04-13T20:31:35Z
Learn more programming languages, even if you won't use them
 34 / 15 2019-04-13T19:01:53Z
Analysing Mathematical Reasoning Abilities of Neural Models
 6 / 0 2019-04-13T16:29:54Z
Manna
 10 / 4 2019-04-13T14:35:34Z
Understanding when not to std::move in C++
 16 / 5 2019-04-13T14:33:40Z
Languages I want to write
 57 / 14 2019-04-13T14:27:56Z
erlip - Erlang IP Address Library
 33 / 7 2019-04-13T14:20:34Z
Buildkite
 13 / 10 2019-04-13T14:12:08Z
Jailbreaking Subaru StarLink
 27 / 1 2019-04-13T13:30:36Z
Bootstrap Sass Backdoor
 15 / 5 2019-04-13T08:38:33Z
A web framework in bash
 6 / 1 2019-04-13T05:38:17Z
t2k19 Hackathon Report: unwinding in Taipei
 7 / 0 2019-04-13T04:40:34Z
A keyboard driven workflow for picking special characters and emoji
 19 / 7 2019-04-13T02:09:39Z
Traceroute + VPN + Geolocation
 6 / 5 2019-04-12T23:04:07Z
Types and Specifications
 3 / 0 2019-04-12T21:33:34Z
Why are unrolled loops faster?
 21 / 3 2019-04-12T18:16:58Z
Can software engineering be meaningful work?
 32 / 78 2019-04-12T17:46:01Z
Emacs 26.2 released
 35 / 6 2019-04-12T17:06:11Z
Towards Software Non-Creator-Instigated Identification (NCI) and Citation
 1 / 0 2019-04-12T16:53:54Z
My Laptop Bit Me - The Shocking Truth (2012)
 20 / 1 2019-04-12T16:41:18Z
Using 6 Page and 2 Page Documents To Make Organizational Decisions
 2 / 0 2019-04-12T15:49:21Z
Kendo: Efficient, Deterministic Multithreading in Software (2009)
 5 / 0 2019-04-12T15:40:47Z
The Problem with SSH Agent Forwarding
 51 / 21 2019-04-12T14:13:58Z
Using a Raspberry Pi as a RTP-MIDI Gateway for macOS
 12 / 4 2019-04-12T13:50:32Z
A modest JavaScript framework for the HTML you already have
 18 / 7 2019-04-12T12:30:40Z
f18 Fortran compiler and runtime accepted as part of LLVM project
 11 / 7 2019-04-12T11:34:30Z
Frugality is non-linear
 33 / 47 2019-04-12T11:11:13Z
Root Cause Analysis And The Photocopier Question
 4 / 0 2019-04-12T11:09:03Z
« < 1004 1005 1006 1007 1008 1009 1010 1011 1012 > »