๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โš™๏ธ Operational Semantics

Small-step Semantics, Reduction Relations, Programming Language Theory, Formal Methods

Introducing OSS Rebuild: Open Source, Rebuilt to Last
simonwillison.netยท2d
๐Ÿ”“Open Source Software
A Regular Expression Matcher Code: Rob Pike, exegesis by Brian Kernighan
cs.princeton.eduยท4d
๐Ÿ”RegEx Engines
How should I handle dependency injection working with loggers?
reddit.comยท22hยท
Discuss: r/golang
โšกgRPC
Improving Academic Writing Style with AI Rewrites & Feedback
dev.toยท1dยท
Discuss: DEV
๐Ÿ”ฌAcademic Search
How AI Is Reshaping the Way We Build Software
jasonmperry.comยท1dยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
5 Regression Projects in Python (with Full Code)
dev.toยท1dยท
Discuss: DEV
๐Ÿง Machine Learning
ACFIX: Guiding LLMs with Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts
arxiv.orgยท4d
โœ…Archive Fixity
๐Ÿš€ Stop Burning Money on LLM API Calls! This Python Tool Just Saved Me $500/month
dev.toยท2dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Neural Corrective Machine Unranking
arxiv.orgยท1d
๐Ÿง Learned Indexing
SnippetSearch: Code Snippets Discovery Engine for Developers
dev.toยท11hยท
Discuss: DEV
๐Ÿ”BitFunnel
Evaluating Artificial Intelligence Algorithms for the Standardization of Transtibial Prosthetic Socket Shape Design
arxiv.orgยท2d
๐ŸงฎKolmogorov Bounds
Automating Kotlin Data Class Testing with KSP
hackernoon.comยท3d
๐Ÿฆ€Rust Macros
Iโ€™m a .NET Developer, and I Want to Be Free from Frameworks.
dev.toยท1dยท
Discuss: DEV
๐ŸงฑImmutable Infrastructure
VERIRAG: Healthcare Claim Verification via Statistical Audit in Retrieval-Augmented Generation
arxiv.orgยท1d
โšกProof Automation
From idea to 1.1k+ lines: Building a real library with Claude Code
dev.toยท1dยท
Discuss: DEV
๐Ÿฆ€Rust Macros
AI Pair Programming Magic: Building an Advanced Blog System in One Session (And Why I Chose Complexity Over Simplicity)
dev.toยท22hยท
Discuss: DEV
๐Ÿ‘‘Isabelle
Why AI Will Make Architecture Skills Critical for Software Engineers
dev.toยท20hยท
Discuss: DEV
๐Ÿ”„Language Evolution
Revolutionizing Business Automation with AssemblyAI Voice Agents: Building Ultra-Fast, Ultra-Accurate Voice-Driven Workflows
dev.toยท16hยท
Discuss: DEV
๐ŸŒŠStream Processing
On the Inevitability of Left-Leaning Political Bias in Aligned Language Models
arxiv.orgยท4d
๐Ÿ’ปProgramming languages
The calculus of variations of the Transformer on the hyperspherical tangent bundle
arxiv.orgยท4d
๐ŸŒ€Differential Geometry
Loading...Loading more...
AboutBlogChangelogRoadmap