Lobste.rs

title stats ⓘ date
seL4 on AArch64 is now verified for functional correctness
 34 / 1 2024-04-18T13:08:24Z
Natural Language Processing in Bash
 6 / 2 2024-04-18T12:55:34Z
Memory management in mpmetrics
 1 / 0 2024-04-18T12:40:04Z
Lions OS: secure – fast – adaptable
 31 / 2 2024-04-18T07:56:21Z
Wayland, where are we in 2024? Any good for being the default?
 47 / 33 2024-04-18T06:02:39Z
That IACR preprint
 4 / 1 2024-04-18T06:00:29Z
Make your own backdoor: CFLAGS code injection, Makefile injection, pkg-config
 14 / 2 2024-04-18T05:42:38Z
Formal Methods: Just Good Engineering Practice?
 16 / 4 2024-04-18T04:14:17Z
The Rust Calling Convention We Deserve
 36 / 10 2024-04-18T03:28:10Z
A deep dive into Single Pair Ethernet
 25 / 4 2024-04-17T22:34:46Z
Systems Distributed '24
 29 / 3 2024-04-17T22:05:47Z
libnix mingw status
 17 / 1 2024-04-17T22:04:43Z
Full-text search of the OpenBSD manual pages
 48 / 21 2024-04-17T22:01:55Z
Deployer 7.4.0 release
 -3 / 0 2024-04-17T21:43:01Z
The Endless Maze algorithm (Atari 2600)
 12 / 0 2024-04-17T21:39:29Z
Effort Engine
 3 / 0 2024-04-17T21:27:25Z
Deep Dive into Rspack & Webpack Tree Shaking
 1 / 0 2024-04-17T21:23:08Z
rHttp: REPL for HTTP
 2 / 0 2024-04-17T21:16:26Z
Advanced Memory Management in Vale
 1 / 0 2024-04-17T20:15:46Z
Types of estimates
 5 / 2 2024-04-17T19:28:15Z
Prism in 2024 - A history of Ruby parsers
 15 / 1 2024-04-17T17:45:30Z
Palo Alto Networks zero-day exploited since March to backdoor firewalls
 23 / 5 2024-04-17T17:09:37Z
PyPI: Expanding Trusted Publisher Support
 9 / 0 2024-04-17T16:26:14Z
Solving the minimum cut problem for undirected graphs
 7 / 0 2024-04-17T16:24:37Z
AM phasor has no setting for 'stun'
 15 / 7 2024-04-17T15:52:42Z
5 ideas for user research when you can't talk to users
 3 / 0 2024-04-17T15:44:11Z
Rust GUI framework performance comparison
 11 / 3 2024-04-17T15:00:36Z
Java 23: The New Features are Officially Announced
 1 / 1 2024-04-17T14:48:37Z
Unpacking the Blackjack Group's Fuxnet Malware
 2 / 0 2024-04-17T13:23:05Z
Redis is forked
 57 / 35 2024-04-17T11:59:15Z
AI Index Report 2024 – Artificial Intelligence Index
 0 / 0 2024-04-17T11:56:35Z
Participating in the Spring Lisp Game jam, why and how
 22 / 12 2024-04-17T10:43:04Z
Collection of notebooks showcasing some fun and effective ways of using Claude
 2 / 0 2024-04-17T10:27:24Z
Use Cases for Merging and Splitting Partitions With Minimal Locking in PostgreSQL 17
 2 / 0 2024-04-17T09:42:55Z
A quick post on Chen's algorithm
 18 / 0 2024-04-17T08:22:07Z
We Need To Rewild The Internet
 59 / 15 2024-04-17T06:54:47Z
Getting TAI time on a Debian machine
 15 / 12 2024-04-17T06:46:29Z
HTML popover Attribute
 4 / 4 2024-04-17T05:57:38Z
The BLISS programming language: a history (2002)
 12 / 3 2024-04-17T05:33:08Z
Ten years of improvements in PostgreSQL's optimizer
 16 / 0 2024-04-17T05:09:40Z
Hardest Problem in Computer Science: Centering Things
 138 / 40 2024-04-17T04:38:08Z
m2dir: treating mails as files without going crazy
 20 / 16 2024-04-17T04:03:58Z
River 0.3.0, Waylock 1.0.0, Status Update
 7 / 0 2024-04-17T02:42:19Z
Humane AI – Pico Laser Projection – $230M AI Twist on an Old Scam
 37 / 5 2024-04-17T01:46:14Z
Megalodon: Efficient LLM Pretraining and Inference with Unlimited Context Length
 2 / 0 2024-04-17T00:51:04Z
gcloud-lite lightweight Google Cloud Platform CLI distro
 6 / 4 2024-04-16T23:13:52Z
Cute trick for fetch-and-add-based queues
 5 / 0 2024-04-16T22:45:23Z
The legal rule that computers are presumed to be operating correctly – unforeseen and unjust consequences (2022)
 33 / 13 2024-04-16T22:25:07Z
Why OpenSSL punycode vulnerability CVE-2022-3602 was not detected by fuzz testing
 6 / 0 2024-04-16T22:22:09Z
Expr release v1.16.5
 -4 / 0 2024-04-16T21:37:43Z
« < 56 57 58 59 60 61 62 63 64 > »