๐Ÿฟ๏ธ 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

ChatGPT can be a disaster for lawyers โ€” Robin AI says it can fix that
theverge.comยท17h
โšกProof Automation
GHC Developer Blog: GHC 9.10.3-rc1 is now available
haskell.orgยท1d
๐Ÿ”ฌRefinement Types
Simplify, then add delightness: On designing for children
shaneosullivan.wordpress.comยท16hยท
Discuss: Lobsters, Hacker News
โ„๏ธNordic Design Philosophy
Perfare/Zygisk-Il2CppDumper
github.comยท6h
๐ŸŽฎGame Decompilation
querierd: Adds a multicast querier to your local network to keep bonjour hosts from disappearing
github.comยท1d
๐Ÿ“žWebRTC
This is your sign to step away from the keyboard
blog.talosintelligence.comยท18hยท
Discuss: Hacker News
๐Ÿ›กCybersecurity
What to do when wasps crash your picnic: A scientist's guide to dining safely with these insects
phys.orgยท15h
๐Ÿ”ฒCellular Automata
How SSH Works, explained in simple way
infosecwriteups.comยท1d
๐Ÿ“ŸTerminals
REST vs gRPC โ€“ When to Use What
dev.toยท2dยท
Discuss: DEV
โšกgRPC
Show HN: Get Proxy โ€“ Fast tool to collect free proxies from custom sources
github.comยท15hยท
Discuss: Hacker News
๐ŸŒNetwork Protocols
๐Ÿง  AsMind โ€“ The Empathetic Conversational Search Assistant (Neuro-Inclusive AI powered by Algolia + GPT)
dev.toยท1dยท
Discuss: DEV
๐ŸŽ›๏ธFeed Filtering
Novel Pivoted Cholesky Decompositions for Efficient Gaussian Process Inference
arxiv.orgยท3h
๐Ÿ“Linear Algebra
Achieving actually full disk encryption of UEFI ESP at rest with TCG OPAL, FIPS, LUKS
blog.surgut.co.ukยท20hยท
Discuss: blog.surgut.co.uk
๐Ÿ”’Secure Boot
ChatGPT Agent Tool
dev.toยท1dยท
Discuss: DEV
โšกProof Automation
Trae - Collaborate with Intelligence: The Future of AI-Powered Development
dev.toยท54mยท
Discuss: DEV
๐ŸŒŠStream Processing
Fundamental diagram constrained dynamic optimal transport via proximal splitting methods
arxiv.orgยท3h
๐Ÿ“Compression Bounds
ylmmcl at Multilingual Text Detoxification 2025: Lexicon-Guided Detoxification and Classifier-Gated Rewriting
arxiv.orgยท1d
๐Ÿ”คCharacter Classification
๐ŸŽ™๏ธ Turning Microsoft Teams Meetings into Actionable AI Reports with AssemblyAI ๐Ÿง ๐Ÿ’ผ
dev.toยท1dยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
ADL โ€“ Agent Definition Language
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
Implicit Spatiotemporal Bandwidth Enhancement Filter by Sine-activated Deep Learning Model for Fast 3D Photoacoustic Tomography
arxiv.orgยท3h
๐Ÿ”ฌOptical Physics
Loading...Loading more...
AboutBlogChangelogRoadmap