๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”„ Session Type Inference

Protocol Synthesis, Communication Safety, Type Reconstruction, Multiparty Sessions

New Zealand becomes a domino
aardvark.co.nzยท16h
๐ŸงฌBitstream Evolution
The Tower of Hanoi And two (three?) clever solutions
pballew.blogspot.comยท1dยท
Discuss: www.blogger.com
๐Ÿ”ฒCellular Automata
Soil Based Half-Adder Processor
igorkomolov.comยท5hยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
Brits can get around Discord's age verification thanks to Death Stranding's photo mode, bypassing the measure introduced with the UK's Online Safety Act
pcgamer.comยท2dยท
Discuss: Hacker News, Hacker News, r/TwoBestFriendsPlay
๐ŸบKerberos Archaeology
The Signal Protocol Explained #1: Implementing the Post-Quantum Extended Diffie-Hellman (PQXDH) protocol in Rust
kerkour.comยท5dยท
Discuss: Hacker News
๐Ÿ”Quantum Security
The challenge of deleting old online accounts
loudwhisper.meยท17hยท
Discuss: Hacker News
๐Ÿ Personal Archives
Simon Tatham's Portable Puzzle Collection
chiark.greenend.org.ukยท2dยท
Discuss: Hacker News
โš”๏ธLean Tactics
Make ChatGPT Less Human
chromamine.comยท2dยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
The Copenhagen Interpretation of Ethics
laneless.substack.comยท38mยท
Discuss: Substack
๐Ÿ”ฒCellular Automata
Voice AI for medical/premed students
codyliu.comยท1dยท
Discuss: Hacker News
๐Ÿ—ฃ๏ธCMU Pronouncing
Lying Increases Trust in Science
link.springer.comยท1dยท
Discuss: Hacker News
๐Ÿ“ฐContent Curation
Mapping Real-World Threat Infrastructure: APT28 & Public IOC Attribution
infosecwriteups.comยท1h
๐ŸŽซKerberos History
Solving the inference problem for open source AI projects with GitHub Models
github.blogยท4dยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
TWAaCA (Tailwind as a Custom Attribute)
github.comยท1hยท
Discuss: Hacker News
๐Ÿ“ŸTerminal Typography
Show HN: UniversalBit โ€“ A new binary protocol to connect voice, video and DNA
github.comยท2dยท
Discuss: Hacker News
๐Ÿ‘‚Audio Evidence
Talking to...uh...um...Machines: The Impact of Disfluent Speech Agents on Partner Models and Perspective Taking
arxiv.orgยท3d
๐ŸŽ™๏ธWhisper
SAM2-Aug: Prior knowledge-based Augmentation for Target Volume Auto-Segmentation in Adaptive Radiation Therapy Using Segment Anything Model 2
arxiv.orgยท3h
๐Ÿง Machine Learning
Real-Time AI Code Review Assistant with Redis Vector Search
dev.toยท12hยท
Discuss: DEV
โšกRedis Internals
๐Ÿ” ArtExplorer - An Interactive and Inspiring Way to Explore Works of Art
dev.toยท3hยท
Discuss: DEV
๐Ÿ“ฑQR Archaeology
[SHOW OSS]Claude Sub Agents โ€“ AI Development Team
github.comยท1dยท
Discuss: Hacker News, Hacker News
๐Ÿ‘‘Isabelle
Loading...Loading more...
AboutBlogChangelogRoadmap