Lobste.rs

title stats ⓘ date
The Hitchhiker’s Guide to Logical Verification
 6 / 0 2022-12-21T01:52:23Z
The Generation Ship Model of Software Development
 14 / 0 2022-12-21T01:15:53Z
Devbox 0.2.0: Automatic Nix Installer, Plugins, and Background Services
 5 / 2 2022-12-20T22:44:21Z
What not to forget when implementing a pattern-matching in Ruby for custom objects
 16 / 0 2022-12-20T22:29:13Z
Fellow crustaceans, 2023 will be the year of ${TECHNOLOGY}
 25 / 79 2022-12-20T22:19:52Z
Signed distance functions in 46 lines of Python
 34 / 3 2022-12-20T21:50:35Z
Top Skills to Learn for 2023? (Ask HN)
 -2 / 0 2022-12-20T21:29:41Z
State of Monado's visual-inertial tracking
 4 / 0 2022-12-20T21:25:05Z
Paper: VR Revisited - View changes - Questions (part 1)
 1 / 0 2022-12-20T21:23:11Z
Hacking Blind (2014)
 2 / 0 2022-12-20T20:25:29Z
Potassco: The Answer Set Solving Collection
 2 / 1 2022-12-20T19:33:31Z
NetBSD 10.0 BETA available
 26 / 4 2022-12-20T19:01:22Z
Elixir OpenAI API Wrapper
 2 / 1 2022-12-20T18:34:00Z
Painting and Proficiency With Your Tools
 1 / 1 2022-12-20T18:28:16Z
libQuotient 0.7.0 release
 2 / 0 2022-12-20T18:09:39Z
The Magical container_of() Macro (2012)
 5 / 3 2022-12-20T17:40:34Z
Let’s Make Overtone Sing Like Sonic-Pi - Pt. 2: Melody
 1 / 0 2022-12-20T17:30:51Z
SVN-Externs Considered Harmful
 1 / 0 2022-12-20T16:56:32Z
Write Latency and Block Size (2010)
 1 / 0 2022-12-20T16:34:36Z
The topologist's world map
 22 / 0 2022-12-20T15:40:20Z
Dr. Futamura's Projection Machine: From Interpreters to Compilers through a Marvelous Device
 25 / 14 2022-12-20T14:57:49Z
Sigils are an underappreciated programming technology
 37 / 38 2022-12-20T14:32:58Z
An Ode to Unit Tests: In Defense of the Testing Pyramid
 7 / 13 2022-12-20T13:00:34Z
UNION ALL, data types and performance
 2 / 0 2022-12-20T12:13:08Z
11 Laws of Software Estimation for Complex Work
 2 / 1 2022-12-20T11:17:37Z
Feature Preview: Gitea Actions
 8 / 3 2022-12-20T10:04:34Z
git-autofixup: create fixup commits for topic branches
 3 / 2 2022-12-20T08:29:50Z
How to draw ugly lines really fast
 18 / 2 2022-12-20T08:17:57Z
Control-flow integrity
 15 / 12 2022-12-20T07:46:06Z
GPT3 conversations and DALL-E integration directly in Discord
 1 / 0 2022-12-20T05:48:34Z
The Performance Inequality Gap, 2023
 9 / 0 2022-12-20T04:08:42Z
Upgrading my old Chumby 8 Linux kernel part 1: U-Boot
 11 / 2 2022-12-20T03:48:58Z
Towards a More Open Secure Element Chip
 8 / 0 2022-12-20T03:46:57Z
Implementing ‘strlen’ using SVE
 3 / 2 2022-12-20T03:12:19Z
Faster Go code by being mindful of memory
 20 / 14 2022-12-20T01:25:18Z
Astronomical Calculations for Hard SF in Common Lisp
 9 / 1 2022-12-19T22:25:38Z
Announcing Rust Magazine
 10 / 0 2022-12-19T21:42:46Z
Boring Python: code quality
 25 / 7 2022-12-19T21:33:55Z
Nixpkgs support for incremental Haskell builds
 11 / 0 2022-12-19T21:16:31Z
Gleam developer survey 2022 results
 13 / 6 2022-12-19T20:56:40Z
Structured bindings in C++17, 5 years later
 1 / 0 2022-12-19T19:55:41Z
Error-accumulating composable assertions in C#
 1 / 0 2022-12-19T19:44:03Z
What’s new in Bazel 6.0
 7 / 0 2022-12-19T18:27:21Z
The Search for Siegel Zeros
 2 / 0 2022-12-19T17:34:40Z
Beyond Functional Programming: The Verse Programming Language (Simon Peyton Jones)
 18 / 3 2022-12-19T16:16:54Z
Enforce Git Hooks in Monorepos with Husky - But How?
 2 / 8 2022-12-19T16:10:48Z
The Sequoia GnuPG Chameleon 0.1 is Released
 7 / 0 2022-12-19T16:07:38Z
Getting Started with Server Health Checks
 7 / 3 2022-12-19T14:48:48Z
GNU Guix 1.4.0 has released
 46 / 4 2022-12-19T14:38:19Z
Checked integer arithmetic in the prospect of C23
 5 / 4 2022-12-19T14:34:52Z
« < 290 291 292 293 294 295 296 297 298 > »