Lobste.rs

title stats ⓘ date
On the cruelty of really teaching computing science (1988)
 7 / 3 2019-10-17T14:56:55Z
Writing is Thinking: Learning to Write with Confidence
 13 / 6 2019-10-17T14:51:41Z
Learning How to Prove: From the Coq Proof Assistant to Textbook Style
 3 / 0 2019-10-17T14:37:03Z
What Type Soundness Theorem Do You Really Want to Prove?
 12 / 2 2019-10-17T14:32:38Z
On Lawful Lenses
 8 / 0 2019-10-17T14:20:31Z
Improving Medical AI Safety by Addressing Hidden Stratification
 4 / 1 2019-10-17T13:56:16Z
OpenBSD 6.6
 68 / 20 2019-10-17T13:52:31Z
The One Who Created Elixir - interview with Jose Valim
 34 / 0 2019-10-17T12:44:04Z
Final Fantasy 8 Transition screen effect
 22 / 4 2019-10-17T12:20:31Z
Systematically Covering Input Structure
 5 / 1 2019-10-17T12:04:37Z
kill tail(1) when sh exits
 14 / 9 2019-10-17T11:05:51Z
"A Talk Near the Future of Python" - live coding a simple VM / web assembly interpreter
 4 / 0 2019-10-17T09:59:40Z
Firefox’s New WebSocket Inspector
 24 / 0 2019-10-17T09:44:30Z
CppCon 2019
 13 / 0 2019-10-17T08:32:57Z
How to communicate your Microservices?
 13 / 6 2019-10-17T07:52:09Z
GitLab: Vetting non-evil customers is 'time consuming, potentially distracting'
 -3 / 11 2019-10-17T05:25:08Z
Generating land-constrained geographical point grids with PostGIS
 1 / 0 2019-10-17T04:50:45Z
The Battle of C# to JSON Serializers in .NET Core 3
 6 / 1 2019-10-17T02:32:43Z
go-git-dir: simple git hosting with a built-in SSH server
 27 / 13 2019-10-17T00:13:10Z
RDP Honeypotting
 3 / 0 2019-10-16T22:39:47Z
Complexity Waterfall and Architecture on Demand
 1 / 0 2019-10-16T22:11:04Z
SRE as a Lifestyle Choice
 3 / 0 2019-10-16T20:52:12Z
Analogue Pocket, a Gameboy Color/Advance built using modern technology
 62 / 46 2019-10-16T20:21:01Z
Django’s Class-Based Views Were a Mistake (2012)
 7 / 0 2019-10-16T18:52:49Z
Offensive Security’s Exploit Database Archive
 4 / 0 2019-10-16T18:01:20Z
A Python command-line shell
 17 / 12 2019-10-16T17:48:47Z
Numerical Linear Algebra for Programmers Book - Release 0.4.0
 6 / 0 2019-10-16T16:35:29Z
Rendering a React Application Across Multiple Containers
 1 / 0 2019-10-16T16:08:33Z
4os, "the first Operating System written completly in Forth"
 15 / 8 2019-10-16T15:35:42Z
Liquidate Your Assets: Reasoning About Resource Usage in Liquid Haskell
 3 / 0 2019-10-16T15:04:13Z
The Web Share API in Safari on iOS
 8 / 0 2019-10-16T14:21:20Z
Singleton Design Pattern in Java
 15 / 11 2019-10-16T13:48:01Z
Go Micro - A Go microservices framework to simplify distributed systems development
 3 / 0 2019-10-16T13:32:28Z
Human-friendly process signals
 5 / 2 2019-10-16T13:31:05Z
Dissecting Prometheus Scraping
 10 / 0 2019-10-16T13:16:47Z
You should be regularly changing your passwords on services every 6 months. Why?
 -1 / 3 2019-10-16T13:01:27Z
Lightning talks and BCS OSSG AGM
 1 / 0 2019-10-16T12:36:45Z
How to Hire Junior Developers
 2 / 0 2019-10-16T12:32:29Z
Python Attribute Access and the Descriptor Protocol
 9 / 0 2019-10-16T12:03:44Z
A list of Meetup.com alternatives
 -2 / 0 2019-10-16T11:43:32Z
Google's Batch Normalization Patent has been granted and is now active until 2038
 18 / 8 2019-10-16T10:34:42Z
Software as an innovation gap parasite
 7 / 5 2019-10-16T10:32:02Z
Two kernel mysteries and the most technical talk I've ever seen
 13 / 0 2019-10-16T09:26:24Z
CacheBrowser: Bypassing Chinese Firewall Without Proxies
 10 / 0 2019-10-16T09:19:05Z
Let Over Lambda - 50 Years of Lisp
 10 / 0 2019-10-16T09:07:25Z
Some Difficulties with Open Source Software
 4 / 1 2019-10-16T08:27:35Z
Evidence Based Scheduling (2007)
 5 / 0 2019-10-16T05:37:33Z
The Lines of Code That Changed Everything
 5 / 0 2019-10-16T05:34:28Z
Cross domain session sharing in Rails - Part 1
 5 / 0 2019-10-16T03:39:51Z
Solving Rubik’s Cube with a Robot Hand
 4 / 0 2019-10-16T03:37:38Z
« < 909 910 911 912 913 914 915 916 917 > »