Lobsters lobste.rs
modulovalue.com·

Proof types in Dart: Using final classes as computational witnesses

Covers Parse, don’t validate
Discussed on Lobsters
Feeds
joomy.korkutblech.com·

Why Rocq is better than Lean for program verification

Covers 8 stories See all stories this covers including Lean: Programming Language and Theorem Prover
Discussed on Hacker News and Lobsters
Feeds
blinry.org·

State of multi-player Wayland

Covers 3 stories See all stories this covers including The Recurse Center
Covered by 3 sources See all sources covering this story including Lemmy, OSNews
Discussed on Hacker News and Lobsters
Feeds
Hugging Face·

Anatomy of a Frontier Lab Agent Intrusion: A Technical Timeline of the Incident

Covers 2 stories See all stories this covers including OpenAI and Hugging Face partner to address security incident
Covered by 83 sources See all sources covering this story including The Atlantic, indiehacker.news
Feeds
Farid Zakaria’s Blog·

The Mean Means Nothing

Covers NixOS
Discussed on Hacker News, Hacker News, and Lobsters
Feeds
Doubleword·

Guide to the Kimi DeltaNet Family of linear attention

Covers 3 stories See all stories this covers including Kimi Linear: An Expressive, Efficient Attention Architecture
Covered by Data Science Weekly Newsletter
Discussed on Hacker News, Hacker News, and Lobsters
Feeds
GitHub·

Bastillion 5.1: single-JAR SSH gateway now audits and replays every session

Discussed on Lobsters
Feeds
YouTubeContent type: Video·

Dependency Cultures – Richard Feldman [video]

Covered by Ziggit
Discussed on Hacker News, Hacker News, and Lobsters
Feeds
blog.silentsignal.eu·

The Cipher Behind QSYRUPWD: Reconstructing IBM i Password Hashes

Covered by tldr.tech
Discussed on Hacker News and Lobsters
Feeds
GitHub·

Parallel JSON parsing on the GPU with compute shaders

Discussed on Hacker News and Lobsters
Feeds
kernelkennel.com·

Where are the third places for learners?

Covers 8 stories See all stories this covers including Contributor Poker and Zig's AI Ban
Discussed on Lobsters
Feeds
mlugg.co.uk·

Inside Zig's Incremental Compilation

Covers 6 stories See all stories this covers including Zig-0.14.0 Landed
Covered by tldr.tech
Feeds
blog.tymscar.com·

I Designed a Custom PCB to Avoid Pressing a Button Three Times

Covered by Hackaday
Discussed on Hacker News, Hacker News, and Lobsters
Feeds
Gist·

Design flaws in issetugid() (2017)

Discussed on Hacker News and Lobsters
Feeds
Javier Honduvilla Coto·

Building (systems) software with Nix

Covers 2 stories See all stories this covers including Introduction, Tutorials & Community Resources
Discussed on Lobsters
Feeds
auxcontrol.live·

Let the whole room vote on the music

Covers progscrape: "show" search results
Discussed on Lobsters
Feeds
var0.xyz·

What Even Are Microservices?

Covered by alobbs.com, ervin
Discussed on Hacker News, Hacker News, and Lobsters
Feeds
blog.gaborkoos.com·

Golang Maps: How Swiss Tables Replaced the Old Bucket Design

Covers 2 stories See all stories this covers including Swiss Tables
Covered by golangweekly.com
Feeds
redblobgames.com·

Improving Heuristics for A* Pathfinding

Covered by alobbs.com
Discussed on Hacker News and Lobsters
Feeds
cgicoffee.com·

Develop Cross-Platform CLI and GUI Tools With Tcl/Tk. Powerful, Event-Driven, Open-Source And Future-Proof Toolkit… From the Past?!

Covers Simple AHK script to instantly refresh the browser whenever you CTRL+S (from anywhere)
Covered by 3 sources See all sources covering this story including OSNews, alobbs.com
Discussed on Lobsters and r/programming
Feeds

Keyboard Shortcuts

Navigation

Next / previous post
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help