📞 Session Types

Protocol Safety, Communication Correctness, Type-driven Development, Concurrency

Geeks for Geeks articles are just worse for learning?
geeksforgeeks.org·10h
🖥️Hardware Architecture
Show HN: Eternal Vault, E2EE Estate Platform Using Shamir's Secret Sharing
eternalvault.app·1d·
Discuss: Hacker News
🏠Personal Archiving
Proto Rig and Proto Fleet: A paradigm shift in Bitcoin mining
proto.xyz·1d·
Discuss: Hacker News
🖥️Modern Terminals
Fabricated data in posts.xml for multiple/all data dumps
meta.stackexchange.com·2d·
Discuss: Hacker News
📰RSS Archaeology
How We Chose a Documentation Platform for Our DevTool
metalbear.co·1d·
Discuss: Hacker News
🔄Reproducible Builds
DuckDB in 100 Seconds
youtube.com·1d
🧮Datalog
The unexpected joy of Claude Code on your iPhone
clay.fyi·3d·
Discuss: Hacker News
🪟Awesome windows command-line
OASIS INTERNSHIP
dev.to·1d·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
This new malware really goes the extra mile when it comes to infecting your devices
techradar.com·1d
🔓Hacking
Multipurpose app...
dev.to·2d·
Discuss: DEV
🔗Concatenative Languages
Aligning AI with Culture
cacm.acm.org·2h
🌍Cultural Algorithms
Elevation-of-Privilege Vulns Dominate Microsoft's Patch Tuesday
darkreading.com·2d
🔓Hacking
A quantum gas that refuses to heat—physicists observe many-body dynamical localization
phys.org·1d
⚛️Quantum Storage
TeamMedAgents: Enhancing Medical Decision-Making of LLMs Through Structured Teamwork
arxiv.org·3d
🔲Cellular Automata
Ethics2vec: aligning automatic agents and human preferences
arxiv.org·3d
🤖AI Curation
Execute Python Scripts via BLE Using BleuIO
hackster.io·2d
🪟Awesome windows command-line
AI Weekend Projects That Slash Repetitive Work
dev.to·3d·
Discuss: DEV
📡RSS Automation
READER: Retrieval-Assisted Drafter for Efficient LLM Inference
arxiv.org·2d
🔄Burrows-Wheeler
Autonomous Anomaly Detection in Multi-Sensor Satellite Imagery for Battlefield Assessment
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
I just unlocked a hidden lever in ChatGPT's "Saved Memory"
news.ycombinator.com·1d·
Discuss: Hacker News
🏷️Memory Tagging