Lobste.rs

title stats ⓘ date
Verified tail-recursive addition in Coq
 11 / 7 2019-01-31T00:57:49Z
Steganographic Packets
 2 / 0 2019-01-31T00:05:10Z
How to train the Tensorflow Object Detection API with custom training data
 1 / 0 2019-01-31T00:04:17Z
Simulating blobs of fluid
 9 / 0 2019-01-31T00:01:01Z
Security Things to Consider When Your Apartment Goes ‘Smart’
 0 / 0 2019-01-30T23:06:26Z
Infinitely Better UIs with Finite Automata (2017)
 13 / 0 2019-01-30T22:38:25Z
How to setup a powerful API with GraphQL, Koa and MongoDB -- CRUD actions
 1 / 0 2019-01-30T22:00:57Z
A Neural Network framework in 25 lines of Python
 22 / 3 2019-01-30T21:43:32Z
The broken window to the developer's soul
 10 / 2 2019-01-30T21:28:59Z
How are you complying with GDPR?
 21 / 12 2019-01-30T20:42:30Z
Stop worrying about how much energy bitcoin uses
 -2 / 0 2019-01-30T20:41:19Z
Web Deploys Made Pretty Easy: S3, Webpack, and Legacy Systems
 3 / 1 2019-01-30T20:32:44Z
Nested data structures with functional lenses
 10 / 0 2019-01-30T19:52:59Z
What you (don't) get from an open source project
 18 / 2 2019-01-30T18:58:27Z
Announcing Hanami v2.0.0.alpha1
 4 / 0 2019-01-30T18:53:56Z
Swiss Army knife for Unix permissions
 10 / 13 2019-01-30T18:17:50Z
Model Metropolis
 9 / 0 2019-01-30T17:58:21Z
High-Performance in Python with Zero-Copy and the Buffer Protocol
 14 / 2 2019-01-30T17:26:21Z
Notable - The markdown-based note-taking app that doesn't suck
 -2 / 3 2019-01-30T17:18:20Z
The zone of comfort: Predicting visual discomfort with stereo displays
 1 / 0 2019-01-30T17:17:08Z
'Karma': Inside the hack used by the UAE to break into iPhones of foes
 6 / 2 2019-01-30T17:11:20Z
Firefox 65 WebP support, Flexbox Inspector, new tooling & platform updates
 10 / 2 2019-01-30T14:15:47Z
Why I chose Flask to build sr.ht's mini-services
 72 / 20 2019-01-30T14:03:11Z
Alpine Linux 3.9.0 released
 20 / 10 2019-01-30T12:57:35Z
PerlCon 2019 | The European Perl Conference in Riga, Latvia, 7–9 August
 2 / 0 2019-01-30T12:21:28Z
When your Memory Allocator hides Security Bugs
 19 / 7 2019-01-30T11:28:55Z
Benchmarks of Cache-Friendly Data Structures in C++
 1 / 0 2019-01-30T10:52:53Z
EuroBSDcon 2019 – Lillehammer September 19-22, 2019
 9 / 0 2019-01-30T10:45:08Z
A decentralised, permanent web on a blockweave
 -1 / 0 2019-01-30T10:06:54Z
Coq Users in PariS on Thursday, February 7
 2 / 0 2019-01-30T07:46:27Z
The hardware-assisted virtualization challenge
 10 / 1 2019-01-30T07:03:38Z
galacritty, GTK terminal emulator based on Alacritty
 25 / 9 2019-01-30T05:52:23Z
Building A "Simple" Distributed System - Formal Verification
 6 / 0 2019-01-30T04:11:12Z
Facebook pays teens to install VPN that spies on them
 10 / 3 2019-01-30T04:08:05Z
Do It or Nothing
 19 / 1 2019-01-30T04:04:01Z
Finding Out Class Is Cancelled
 4 / 0 2019-01-30T04:02:04Z
HackerRank's 2019 Developer Skills Report
 6 / 3 2019-01-30T00:38:24Z
Please self-host your resources. Your users will love you for it
 9 / 3 2019-01-29T23:48:56Z
A retrospective on 2 years of functional programming
 4 / 3 2019-01-29T23:33:23Z
On Building an Instagram Street Art Dataset and Detection Model
 4 / 0 2019-01-29T21:48:28Z
The Ingenious Design of the Aluminum Beverage Can
 2 / 0 2019-01-29T21:30:42Z
Weighted Random Draws in Go
 3 / 5 2019-01-29T21:23:27Z
My advice to new developers
 11 / 19 2019-01-29T21:04:13Z
Todays Firefox Gives Users More Control over their Privacy
 20 / 2 2019-01-29T20:58:09Z
Lock-free Rust: Crossbeam in 2019
 10 / 0 2019-01-29T19:23:42Z
Multi-Scale Turing Patterns
 4 / 0 2019-01-29T18:18:59Z
Inside the Apollo Guidance Computer's core memory
 5 / 0 2019-01-29T18:05:06Z
Frontend Metrics: CSS Specificity
 0 / 0 2019-01-29T18:04:03Z
Don’t assign static references to instance method calls in Java
 3 / 0 2019-01-29T17:59:05Z
Checks and Balances: Constraint Solving without Surprises in Object-Constraint Programming Language
 10 / 0 2019-01-29T17:14:30Z
« < 1061 1062 1063 1064 1065 1066 1067 1068 1069 > »