Lobste.rs

title stats ⓘ date
Translation of Rust's core and alloc crates to Coq
 16 / 0 2024-05-15T08:55:55Z
Another Chrome vulnerability - Dissection of yesterday's zero day bug
 2 / 0 2024-05-15T08:48:30Z
ok Considered Harmful
 17 / 46 2024-05-15T08:12:26Z
Inside a low budget consumer hardware espionage implant
 24 / 0 2024-05-15T07:22:02Z
Discovering Small GitHub Projects for Contributing to FOSS
 12 / 1 2024-05-15T06:55:20Z
parseback: A pure-Lua introspection library for LuaJIT's FFI ctype objects
 1 / 0 2024-05-15T04:01:58Z
An introduction to Shader Art Coding
 7 / 1 2024-05-15T03:59:51Z
The type of sprintf
 5 / 0 2024-05-15T03:59:38Z
Sir, there's a cat in your mirror dimension
 85 / 7 2024-05-15T02:34:34Z
This is why you should never use de Bruijn indices, especially if you program in Rust
 2 / 0 2024-05-15T00:58:25Z
Add sysctl to disable Nagle's algorithm (RFC 896 - Congestion Control)
 32 / 11 2024-05-14T23:39:33Z
Arch Linux Ports
 5 / 1 2024-05-14T23:24:48Z
Going to the cinema is a data visualization problem
 51 / 11 2024-05-14T21:28:00Z
1001 Representations of Syntax with Binding (comparison table) (2021)
 7 / 3 2024-05-14T21:10:58Z
Understanding Container Image Layers
 4 / 1 2024-05-14T20:42:58Z
Bellard Proxy : Open source AI wearable
 -5 / 0 2024-05-14T20:09:13Z
Manjaro 24.0 Wynsdey released
 1 / 0 2024-05-14T19:53:44Z
Reversing Choplifter
 18 / 0 2024-05-14T19:26:33Z
RedDiamond 3.6.4 Released ( Editor with EDT keypad navigation )
 2 / 0 2024-05-14T19:08:04Z
The new APT 3.0 solver
 24 / 7 2024-05-14T18:39:49Z
Blazingly Fast Linked Lists
 11 / 0 2024-05-14T16:45:34Z
ECMAScript modules plugin for MDXEditor
 1 / 0 2024-05-14T15:36:49Z
Using Cuelang With Go for extracting structured data from LLMs
 8 / 3 2024-05-14T14:50:00Z
A peek into build provenance for Homebrew
 16 / 0 2024-05-14T14:00:58Z
Higher RAII, and the Seven Arcane Uses of Linear Types
 8 / 3 2024-05-14T13:40:46Z
How bad is LLVM really?
 41 / 38 2024-05-14T13:07:19Z
Snapshot Testing For the Masses
 12 / 0 2024-05-14T12:43:56Z
Before you try to change something, make sure you can change nothing
 43 / 10 2024-05-14T12:12:06Z
LEGO Rodin's Thinker
 4 / 2 2024-05-14T11:20:11Z
Why Patching Globals Is Harmful
 14 / 5 2024-05-14T11:07:01Z
SEQUEL: a structured English query language (May 1974)
 9 / 9 2024-05-14T10:56:17Z
On the surprising connection between the magic HyperLoglog and DNSSEC NSEC3
 4 / 0 2024-05-14T10:44:51Z
What Factors Explain the Nature of Software?
 18 / 5 2024-05-14T10:43:12Z
Git Merge 2024, September 19-20, 2024, Berlin
 2 / 0 2024-05-14T10:42:52Z
dependabot-core is now open source with an MIT license
 11 / 0 2024-05-14T10:41:35Z
The Linux kernel __is_constexpr macro
 2 / 0 2024-05-14T10:41:00Z
State of HTML 2023
 8 / 1 2024-05-14T08:34:40Z
Bye Opam, Hello Nix
 21 / 8 2024-05-14T07:48:33Z
When to split patches (for PostgreSQL)
 5 / 1 2024-05-14T07:30:52Z
Using ARG in a Dockerfile - beware the gotcha
 30 / 7 2024-05-14T07:04:41Z
Mixing rayon and tokio for fun and (hair) loss
 17 / 6 2024-05-14T06:45:34Z
Mojo: a deep dive on ownership
 5 / 0 2024-05-14T04:56:10Z
wxWidgets 3.2.5 Released
 3 / 0 2024-05-14T03:52:29Z
Password cracking: past, present, future (OffensiveCon 2024)
 5 / 0 2024-05-14T01:55:53Z
IndexedDB as a Vector Database
 2 / 0 2024-05-13T23:45:19Z
References are like jumps
 79 / 24 2024-05-13T22:09:38Z
The Curiously Quiet Cloud Computer
 1 / 2 2024-05-13T22:04:35Z
WebKit Features in Safari 17.5
 20 / 0 2024-05-13T21:58:52Z
Hurl - Run and Test HTTP Requests
 23 / 5 2024-05-13T21:38:10Z
google/zx v8.1
 -5 / 0 2024-05-13T21:09:50Z
« < 30 31 32 33 34 35 36 37 38 > »