🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📐 Formal Methods

Type Theory, Program Verification, Theorem Proving, Specification Languages

I Built a Testable Recursive Theory of Language Models Using GPT – It Works
news.ycombinator.com·5h·
Discuss: Hacker News
💻Programming languages
Rust Language Cheat Sheet
cheats.rs·19h·
Discuss: Hacker News
🦀Rust
Unpythonic: Supercharge your Python with parts of Lisp and Haskell
github.com·46m·
Discuss: Hacker News
💻Programming languages
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·1d·
Discuss: Hacker News
🌐Distributed systems
Writing an IR from Scratch and survive to write a post
farena.in·1d·
Discuss: Lobsters
💻Programming languages
Binding Application in Idris
andrevidela.com·2d·
Discuss: Hacker News
💻Programming languages
[notes] the way we use language
v5.chriskrycho.com·1d
💻Programming languages
WebAssembly targets: The Change in Default Target-Features That You Need to Be Aware Of
hackernoon.com·21h
💻Programming languages
Show HN: Helices Create a New Model of Deterministic Computation [pdf]
lambdalord.github.io·1d·
Discuss: Hacker News
⚡SIMD Optimization
LLM Inference Handbook
bentoml.com·1d·
Discuss: Hacker News
💻Programming languages
ML/AI Pipelines: The "So What" of Crypto Data Ecosystems
davanti-research.medium.com·1h·
Discuss: Hacker News
🌊Stream Processing
Rethinking Object-Oriented Programming in Java Education
max.xz.ax·1d·
Discuss: Hacker News, r/programming
💻Programming languages
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·2d·
Discuss: Lobsters, Hacker News
💻Programming languages
Contemplating Entity Component Architecture (2024)
datavirke.dk·1d·
Discuss: Hacker News
🌐Distributed systems
Show HN: BinaryRPC – Lightweight WebSocket-based RPC framework in modern C++
github.com·6h·
Discuss: Hacker News
💻Programming languages
Rex: Closing the language-verifier gap with safe and usable kernel extensions
usenix.org·23h·
Discuss: Hacker News
💻Programming languages
Ten Simple Rules for Mathematical Writing
web.mit.edu·1d·
Discuss: Hacker News
💻Programming languages
The Complete MCP Experience: Full Specification Support in VS Code
code.visualstudio.com·1d·
Discuss: Hacker News
💻Programming languages
WASM the Hard Way: Porting the Chicory Compiler to Android
blog.evacchi.dev·1d·
Discuss: Lobsters, Hacker News
💻Programming languages
Show HN: Please check out my Free OpenAPI audit tool
devunus.com·2d·
Discuss: Hacker News
🧩Microservices
Loading...Loading more...
AboutBlogChangelogRoadmap