๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”ฌ Refinement Types

Liquid Haskell, Contract Programming, SMT Integration, Type Safety

FHE@PDX 2025
jeremykun.comยท14h
๐Ÿ”Homomorphic Encryption
Intel CEO Letter to Employees
morethanmoore.substack.comยท1dยท
Discuss: Substack, r/hardware
๐Ÿ–ฅ๏ธTerminal Renaissance
ContextSphere 8B: A New AI Paradigm
dixonary.co.ukยท1dยท
Discuss: Hacker News
๐Ÿ”ขDenotational Semantics
Reverse engineering GitHub Actions cache to make it fast
blacksmith.shยท2dยท
Discuss: Hacker News
๐ŸŽ๏ธVarnish Cache
Show HN: Local Email Client for AI Horseless Carriages
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”ŒArchive APIs
Functions To Streamline Your Writing Workflow
irreal.orgยท1d
๐Ÿ“Concrete Syntax
Looking for fullstack developer expertise in Java, Python or .NET
dev.toยท2dยท
Discuss: DEV
๐Ÿ’ปCS
Building Code Craft in 6 Days: My AI Hackathon Journey with Bolt
dev.toยท2dยท
Discuss: DEV
๐Ÿš€Indie Hacking
AI Agent Protocols Every Developer Should Know in 2025
dev.toยท4dยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
Debugging UI with AI: GitHub Copilot agent mode meets MCP servers
github.blogยท3d
โœจEffect Handlers
Unleashing new AI capabilities for popular frameworks in Firebase Studio
developers.googleblog.comยท3d
๐ŸŒ€Brotli Internals
AI and Data Privacy: What Developers Need to Know About Governance
dev.toยท15hยท
Discuss: DEV
๐Ÿ”„Archival Workflows
Factors Impacting Faculty Adoption of Project-Based Learning in Computing Education: a Survey
arxiv.orgยท1d
๐Ÿ—บ๏ธCompetency Maps
How I replaced Obsidian and Emacs Org-mode with localStorage
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„Sync Engine
Agentic AI framework for End-to-End Medical Data Inference
arxiv.orgยท1d
๐Ÿง Machine Learning
FreeBSD Guide to Lock-In Free Infrastructure
discoverbsd.comยท23h
๐Ÿ”ŒOperating system internals
The Human-AI Interface: Designing Developer Workflows for Collaborative Intelligence (Post-Migration)
dev.toยท2dยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
๐Ÿš€ Building with Bolt: From Idea to Reality in 48 Hours
dev.toยท22hยท
Discuss: DEV
๐ŸŒŠStreaming Systems
Clipper: Orchestrating Amazon Q with Algolia MCP for Read-Later Link Management
dev.toยท8hยท
Discuss: DEV
๐ŸŒ€Brotli Dictionary
The Migration That Mattered: Moving from Law Books to Code Bases
dev.toยท20hยท
Discuss: DEV
๐Ÿ“ABNF Parsing
Loading...Loading more...
AboutBlogChangelogRoadmap