Lobste.rs

title stats ⓘ date
Test Generation from Bounded, Algebraic Specifications Using Alloy (2008)
 3 / 6 2019-02-09T17:04:48Z
The Programming Behind Cel Shading
 6 / 0 2019-02-09T16:25:42Z
Fixing Random, part 1
 4 / 0 2019-02-09T16:12:26Z
John Nagle on Tricks QNX RTOS Uses to Outperform Other Microkernels
 41 / 8 2019-02-09T16:01:53Z
Adding Name-based hosting To Nginx on OpenBSD with Acme-Client
 6 / 1 2019-02-09T15:46:07Z
Emacs Calc Tutorials
 17 / 0 2019-02-09T14:51:49Z
Faster remainders when the divisor is a constant: beating compilers and libdivide
 9 / 1 2019-02-09T14:25:23Z
The 5-year journey to bring restartable sequences to Linux
 10 / 0 2019-02-09T14:11:07Z
Voxel Coloring
 2 / 0 2019-02-09T10:55:36Z
List of open source real-time operating systems
 9 / 3 2019-02-09T10:44:02Z
Zero-Knowledge Proofs in WebAssembly
 8 / 5 2019-02-09T09:11:13Z
Beer tour on the weekend? TSP example
 2 / 1 2019-02-09T05:51:52Z
Salary Negotiation: Make More Money, Be More Valued
 34 / 5 2019-02-09T05:46:41Z
On Covering Webcams
 39 / 40 2019-02-09T05:06:46Z
How Bezo's photos might've been exposed
 13 / 7 2019-02-09T05:02:15Z
A brief review of the Dell XPS 13 as a Fedora laptop
 3 / 0 2019-02-09T04:58:04Z
Encryption Key Hierarchies in Alloy
 4 / 6 2019-02-09T03:20:41Z
Vikings D8 Mainboard and D8 Workstation now FSF-certified to Respect Your Freedom
 5 / 1 2019-02-09T03:13:34Z
A small (and objective) taste of Objective-Smalltalk
 5 / 0 2019-02-08T22:15:56Z
What Talks Are You Working On?
 5 / 9 2019-02-08T21:56:25Z
Building a RISC-V PC
 24 / 14 2019-02-08T20:51:25Z
Human Mind Control of Rat Cyborg’s Continuous Locomotion with Wireless Brain-to-Brain Interface
 4 / 0 2019-02-08T19:11:21Z
Securing a Community Cloud (2010)
 1 / 0 2019-02-08T17:36:41Z
Futhark 0.9.1 released - now with CUDA backend
 15 / 5 2019-02-08T17:20:14Z
HTML, CSS and our vanishing industry entry points
 13 / 4 2019-02-08T17:19:57Z
Makefiles and JavaScript
 9 / 17 2019-02-08T17:06:47Z
SortSupport: Sorting in Postgres at Speed
 2 / 1 2019-02-08T17:04:39Z
A Hitchhiker's Guide to the Blockchain Universe
 2 / 0 2019-02-08T16:35:07Z
add a functional programming tag
 19 / 15 2019-02-08T15:47:10Z
ZFS and GPL terror: How much freedom is there in Linux?
 8 / 30 2019-02-08T15:45:20Z
Itertools: A Swiss Knife for Data Scientists
 12 / 3 2019-02-08T15:36:45Z
Transmorphic: Mapping Direct Manipulation to Source Code Transformations
 4 / 0 2019-02-08T15:14:44Z
Downgrade Attack on TLS 1.3 and Vulnerabilities in Major TLS Libraries
 18 / 5 2019-02-08T14:53:17Z
What are you doing this weekend?
 11 / 55 2019-02-08T11:12:10Z
CrateDB 3.2 (Stable) Available Now
 1 / 0 2019-02-08T10:54:46Z
Mozilla's Anti tracking policy
 8 / 0 2019-02-08T08:32:26Z
Introduction to the Coq Proof Assistant
 6 / 1 2019-02-08T04:26:10Z
Family spaghetti of programming languages
 33 / 13 2019-02-08T04:23:43Z
The Relationship Between OO and FP
 8 / 8 2019-02-08T02:17:51Z
How to Parse Shell Like a Programming Language
 11 / 4 2019-02-08T02:07:23Z
Paint the Picture, Not the Frame: How Browsers Provide Everything Users Need
 6 / 0 2019-02-07T23:36:53Z
Primitive integers has been merged to master
 6 / 2 2019-02-07T22:54:01Z
CipherSweet: Searchable Encryption Doesn't Have to be Bitter
 4 / 1 2019-02-07T20:49:08Z
PDP-1 FPGA implementation in Verilog, with CRT, Teletype and Console
 6 / 1 2019-02-07T20:36:02Z
OSHcamp 2019 (31st Aug & 1st Sept), call for talks & workshops
 2 / 0 2019-02-07T20:34:26Z
Recommending Similar Fashion Images By Colors, Patterns, and Shapes
 1 / 0 2019-02-07T20:24:34Z
Avoiding Junk-Drawer Classes in Ruby
 12 / 0 2019-02-07T20:04:14Z
griping about go
 36 / 18 2019-02-07T18:27:20Z
The Intel 80386, part 14: Rescuing a stack trace after the debugger gave up when it reached an FPO f
 2 / 0 2019-02-07T18:26:22Z
There's No Good Reason to Trust Blockchain Technology
 40 / 76 2019-02-07T17:40:54Z
« < 1045 1046 1047 1048 1049 1050 1051 1052 1053 > »