๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐ŸŒ Protocol Synthesis

Session Types, Communication Safety, Distributed Systems, Type-driven Development

Strengthening cybersecurity communities at Phoenix Summit 2025
blog.apnic.netยท2d
๐ŸŽฏThreat Hunting
Software testing is like clinical trials
blog.myli.pageยท1d
๐Ÿ”Concolic Testing
Base44 โ€“ build fully-functional apps in minutes with just your words
base44.comยท1dยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Show HN: Notsc โ€“ A CLI to Scaffold Node.js and TypeScript API Projects
npmjs.comยท5dยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Gaslight-driven development
tonsky.meยท4dยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
The Impact of Prompt Bloat on LLM Output Quality
mlops.communityยท3dยท
Discuss: Hacker News
โœจEffect Handlers
Build Your Own Motion Peeper in Just 3 Minutes!
hackster.ioยท15h
๐Ÿ Home Automation
Show HN: ProjectD โ€“ Google Drive-based, AES-encrypted C2 in C/C++
github.comยท4dยท
Discuss: Hacker News
๐Ÿ”“Open Source Software
Synthetic Conscious Pixels
dev.toยท1dยท
Discuss: DEV
๐Ÿ”ฒCellular Automata
Waiting is worth it and can be improved with predictions
arxiv.orgยท2d
๐Ÿ“กInformation theory
On the Limitations of Large Language Models (LLMs): False Attribution
arxiv.orgยท2d
๐Ÿ“ABNF Extensions
๐Ÿšจ Stop Using ChatGPT Agents Until You Read This First!
dev.toยท1dยท
Discuss: DEV
๐Ÿ”’Language-based security
Show HN: From Zod schema to agent-ready MCP server โ€“ minimal, typed, deployable
github.comยท4dยท
Discuss: Hacker News
๐Ÿ”CBOR
The Case for Contextual Copyleft: Licensing Open Source Training Data and Generative AI
arxiv.orgยท2d
๐Ÿ”“Open Source Software
Evaluating Reinforcement Learning Algorithms for Navigation in Simulated Robotic Quadrupeds: A Comparative Study Inspired by Guide Dog Behaviour
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
Using AI in the development of stdlib
dev.toยท2dยท
Discuss: DEV
๐Ÿ“Code Metrics
Eventify: Revolutionizing Event Planning with Bolt.new
dev.toยท2dยท
Discuss: DEV
๐ŸŒŠStream Processing
โœ… Week 1 Done! Python Automation + Git + Scripting ๐Ÿš€
dev.toยท1dยท
Discuss: DEV
๐ŸšShell Automation
Toxicity-Aware Few-Shot Prompting for Low-Resource Singlish Translation
arxiv.orgยท3d
๐ŸŽ™๏ธWhisper
finished my first full CI/CD pipeline project (GitHub/ ArgoCD/K8s) would love feedback
reddit.comยท2dยท
Discuss: r/kubernetes
๐ŸŒŠStreaming Systems
Loading...Loading more...
AboutBlogChangelogRoadmap