🐿️ 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

Did Craigslist decimate newspapers? Legend meets reality.
poynter.orgΒ·6hΒ·
Discuss: Hacker News
πŸ“°RSS Archaeology
Three senior execs to retire from Intel Foundry, including respected semiconductor veteran Gary Patton
tomshardware.comΒ·1d
🧲RISC-V Archaeology
fresh home build coming soon
forums.anandtech.comΒ·5h
πŸ”„Reproducible Builds
GenAI vs. Agentic AI: What Developers Need to Know
docker.comΒ·2d
πŸŽ™οΈWhisper
The psychological burden of statistical significance in academic publishing
phys.orgΒ·2d
πŸ’§Manuscript Watermarks
Fast Software, the Best Software
craigmod.comΒ·2dΒ·
Discuss: Hacker News
πŸ–₯️Vintage Macintosh
Building Integrations With AI Assistance That Go Beyond Vibes
thenewstack.ioΒ·2d
πŸŽ™οΈWhisper
Modelling Adjectival Modification Effects on Semantic Plausibility
arxiv.orgΒ·3d
πŸ”—Monadic Parsing
You Don’t Need GraphRAG! Build a Multi-Strategy Graph Thinking AI Agent
dev.toΒ·2dΒ·
Discuss: DEV
πŸ•ΈοΈNeo4j
Delete These 5 Dev Tools. One AI Workflow Replaced Them.
dev.toΒ·2dΒ·
Discuss: DEV
πŸ”„Language Evolution
Behind the Code: Building Dispatch Systems for Canadian Taxi Companies
dev.toΒ·2dΒ·
Discuss: DEV
🌊Stream Processing
How to Run Open-Source LLMs Offline in 2025
dev.toΒ·6hΒ·
Discuss: DEV
πŸ’»Local LLMs
Celebrate!: Building with Bolt - WLH Challenge
dev.toΒ·1dΒ·
Discuss: DEV
βš™οΈProof Engineering
MCP server to manage reusable prompts with Go text/template
reddit.comΒ·2dΒ·
Discuss: r/golang
🧩Shell Metaprogramming
CoGrader: Transforming Instructors' Assessment of Project Reports through Collaborative LLM Integration
arxiv.orgΒ·4d
πŸ—ΊοΈCompetency Maps
LoRA-PAR: A Flexible Dual-System LoRA Partitioning Approach to Efficient LLM Fine-Tuning
arxiv.orgΒ·4d
πŸ’»Local LLMs
Why You Should Learn Python Today
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“Concrete Syntax
How I Set Up Qwen3-Coder with Claude Code (and Why You Should Too)
dev.toΒ·4hΒ·
Discuss: DEV
πŸš€Indie Hacking
OCSVM-Guided Representation Learning for Unsupervised Anomaly Detection
arxiv.orgΒ·3d
🧠Machine Learning
MAGIC: A Multi-Hop and Graph-Based Benchmark for Inter-Context Conflicts in Retrieval-Augmented Generation
arxiv.orgΒ·3d
πŸ“‡Dublin Core
Loading...Loading more...
AboutBlogChangelogRoadmap