Lobste.rs

title stats ⓘ date
Programming in Martin-Löf’s Type Theory: An Introduction (1990)
 9 / 0 2020-07-28T17:54:45Z
The Secret Of Programming
 6 / 8 2020-07-28T17:01:22Z
Communication As Problem Solving
 8 / 1 2020-07-28T14:41:59Z
Corecursion and coinduction: what they are and how they relate to recursion and induction
 5 / 2 2020-07-28T14:06:53Z
Neuron 0.6 released - Future-proof note-taking system
 48 / 21 2020-07-28T13:25:21Z
Broot content search
 7 / 0 2020-07-28T13:05:47Z
What on Earth Is Static Regeneration?
 11 / 16 2020-07-28T12:51:12Z
Security questions regarding the Git project I'm working on
 0 / 13 2020-07-28T11:34:24Z
The Mythical DevOps Engineer
 0 / 0 2020-07-28T11:00:42Z
Introspecting CSS via the CSS OM: Getting supported properties, shorthands, longhands
 2 / 0 2020-07-28T07:20:02Z
Notebooks are getting revamped
 7 / 1 2020-07-28T07:08:54Z
If PHP Were British (2011)
 6 / 1 2020-07-28T06:20:18Z
Tutorial on multiple currency accounting
 6 / 0 2020-07-28T05:56:59Z
Replicating Safari's Link Preview Animation
 2 / 0 2020-07-28T05:35:05Z
Using Bullet for physics in UE4
 3 / 0 2020-07-28T03:49:10Z
Optimizing an Open Source Texture Synthesis Library
 1 / 0 2020-07-28T03:47:11Z
Enum or Trait Object
 10 / 7 2020-07-28T01:39:20Z
Introduction to architecting systems for scale (2011)
 1 / 0 2020-07-28T01:26:55Z
Appreciating accessibility - Keyboard shortcut guidelines
 2 / 0 2020-07-28T01:21:14Z
The golden rule of software quality
 24 / 4 2020-07-28T00:03:10Z
Mathcha - Online Math Editor
 11 / 3 2020-07-27T23:52:50Z
Bitwarden Review
 16 / 7 2020-07-27T22:50:44Z
KmCaster: On-screen key-mouse display software
 4 / 0 2020-07-27T22:48:36Z
A Day in the Life of a (Secure) Request
 1 / 0 2020-07-27T21:03:42Z
Filesystem deduplication is a sidechannel
 34 / 9 2020-07-27T20:18:07Z
How GPT3 Works - Visualizations and Animations
 4 / 4 2020-07-27T19:50:15Z
The UX Infinity Gems: 6 Ways to Create Great UX (2017)
 1 / 0 2020-07-27T19:18:51Z
A Complete Guide to Data Attributes
 3 / 0 2020-07-27T19:05:43Z
When Unix learned to reboot(2)
 26 / 2 2020-07-27T19:03:23Z
Apache Arrow 1.0.0 Release
 8 / 0 2020-07-27T18:51:49Z
Don't forget the human
 3 / 1 2020-07-27T18:34:49Z
OCellator: a lispy synth language with structural editor
 48 / 15 2020-07-27T18:25:58Z
Writing a file system from scratch in Rust
 57 / 15 2020-07-27T18:20:10Z
What is fillfactor and how does it affect PostgreSQL performance?
 1 / 0 2020-07-27T18:11:21Z
The falsehoods of anti-AGPL propaganda
 48 / 41 2020-07-27T18:10:18Z
Some SQL Tricks of an Application DBA
 70 / 11 2020-07-27T16:01:09Z
Come see BuzzConf 2020, a software and data science conference, open and online for one and for all
 10 / 2 2020-07-27T15:04:48Z
Monads and Mom
 25 / 10 2020-07-27T15:01:19Z
Irrational Numbers
 10 / 1 2020-07-27T14:40:32Z
Sea of Nodes (2015)
 2 / 0 2020-07-27T14:04:01Z
Speaking online at EuroPython 2020
 3 / 2 2020-07-27T13:17:09Z
dnjs - subset of JavaScript for isomorphic html templating and configuration
 2 / 0 2020-07-27T13:07:12Z
Boids in WebAssembly Using Go
 15 / 8 2020-07-27T12:57:56Z
Better code decoupling via delegates
 1 / 0 2020-07-27T11:13:18Z
What are you doing this week?
 9 / 33 2020-07-27T11:01:29Z
Making of British & Exotic Mineralogy
 1 / 0 2020-07-27T09:54:59Z
Named arguments are coming in PHP 8
 12 / 4 2020-07-27T09:42:42Z
What are you writing?
 24 / 35 2020-07-27T07:52:49Z
A curious case of rational to flonum conversion
 3 / 0 2020-07-27T07:38:31Z
In defense of the epistemic view of quantum states: a toy theory
 4 / 1 2020-07-27T07:33:43Z
« < 712 713 714 715 716 717 718 719 720 > »