PyCon Portugal 2025 talks mafia
mathspp.comยท19h
๐ŸŒProtocol Synthesis
Some modern tech that made my weekend better
rubenerd.comยท21h
๐Ÿ Homelab Archaeology
More sizzle than steak? Using an LLM to produce verified bug fixes (new preprint)
bertrandmeyer.comยท3d
โšกProof Automation
Extracting Data From AI Models: A Tale of Three Approaches
blog.scottlogic.comยท4d
๐ŸŒณIncremental Parsing
ClearFactr's back, spun out from Goldman
clearfactr.comยท1dยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
I hacked my washing machine
nexy.blogยท9hยท
Discuss: Lobsters, Hacker News
๐Ÿ Home Automation
Object deserialization attacks using Ruby's Oj JSON parser
hezmatt.orgยท2dยท
Discuss: Hacker News, Hacker News
๐Ÿ›ก๏ธCBOR Security
First You Create the Work and Then the Work Creates You: Nietzsche's Life
ristonthomas.comยท1dยท
Discuss: Hacker News
๐Ÿ›Digital humanities
Bringing a Decade Old Bicycle Navigator Back to Life with Open Source Software (and DOOM)
raymii.orgยท2dยท
Discuss: Lobsters, Hacker News, Hacker News
๐Ÿ•ธ๏ธWASM Archives
Linux Kernel: I Just Wanted the File List Now I'm Neck-Deep in Makefiles
carminatialessandro.blogspot.comยท2dยท
Discuss: Hacker News
โ„๏ธNix Flakes
18 months. 12,000 questions. A whole lot of anxiety. What I learned from reading studentsโ€™ ChatGPT logs
theguardian.comยท1dยท
Discuss: Hacker News
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
WebAssembly Won't Get Direct DOM Support Any Time Soon
danfabulich.medium.comยท4dยท
Discuss: Hacker News
๐Ÿ›ก๏ธWebAssembly Security
The Lost Path to Seniorhood
gizvault.comยท1dยท
Discuss: r/linux, r/opensource, r/programming
๐ŸงFOSS
MuseAir hashing algorithm v0.4 released (currently Rust only)
github.comยท3dยท
Discuss: Hacker News
๐Ÿ”MinHash Variants
AI Pair Programming Magic: Building an Advanced Blog System in One Session (And Why I Chose Complexity Over Simplicity)
dev.toยท2dยท
Discuss: DEV
๐Ÿ‘‘Isabelle
Level Up Your Go Code: Must-Know Design Patterns for Cleaner, Scalable Apps
dev.toยท5dยท
Discuss: DEV
๐Ÿ”งBinary Parsers
How to Create a Web Search AI Agent with AWS Bedrock
dev.toยท2dยท
Discuss: DEV
ฮปLambda Formalization
Benefits and pitfalls of Vibe coding: navigating the AI-assisted era
dev.toยท3dยท
Discuss: DEV
โœจEffect Handlers
A Self-training Framework for Semi-supervised Pulmonary Vessel Segmentation and Its Application in COPD
arxiv.orgยท1h
๐ŸŒ€Riemannian Computing
HIVMedQA: Benchmarking large language models for HIV medical decision support
arxiv.orgยท3d
๐Ÿš€SIMD Text Processing