sumi.news
Search
Following
Sign in
← Back to news
L
Lobsters
RSS Feed
lobste.rs
lobste.rs/rss
Follow
Latest
Fri Jul 25
Yalep - Micro language based on Lean for teaching mathematical high-school proofs
1mo
L
LLVM integrated assembler: Engineering better fragments
1mo
L
[trane]
1mo
L
multiplex: Command-line process mutliplexer
1mo
L
Programming Languages: Application and Interpretation (3rd edition)
1mo
L
Enough AI copilots! We need AI HUDs
1mo
L
Designing a flatpack bed
1mo
L
How I hacked my washing machine
1mo
L
Certificate Transparency - Part 1
1mo
L
Formal specs as sets of behaviors
1mo
L
Protest footage blocked as online safety act comes into force
1mo
L
Revontuli Colorscheme Collection
1mo
L
TIL: Exception.add_note
1mo
L
printSim: a command-line python program that turns gcode into realistic 3d printer sound
1mo
L
OverHAuL: Harnessing Automation for C Libraries with Large Language Models
1mo
L
The JJ VCS Workshop: A Zero-to-Hero Speedrun
1mo
L
An intro to security, with eggs, please
1mo
L
copyparty: portable file server with resumable uploads, dedup, WebDAV, and more
1mo
L
LLMs are bad at returning code in JSON
1mo
L
Development shells with Nix: four quick examples
1mo
L
Specials (2021)
1mo
L
The Chaos of AI Agents
1mo
L
Fast and cheap bulk storage: using LVM to cache HDDs on SSDs
1mo
L
exosphere: A simple centralized patch management and reporting tool for unix systems
1mo
L
How to configure X11 in a simple way
1mo
L
Getting decent error reports in Bash when you're using 'set -e'
1mo
L
Wren - a small, fast, class-based concurrent scripting language
1mo
L