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

ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·1d·
Discuss: Hacker News
🌐Distributed systems
Rust Language Cheat Sheet
cheats.rs·11h·
Discuss: Hacker News
🦀Rust
Binding Application in Idris
andrevidela.com·1d·
Discuss: Hacker News
💻Programming languages
Writing an IR from Scratch and survive to write a post
farena.in·1d·
Discuss: Lobsters
💻Programming languages
LLM Inference Handbook
bentoml.com·1d·
Discuss: Hacker News
💻Programming languages
[notes] the way we use language
v5.chriskrycho.com·19h
💻Programming languages
Show HN: Helices Create a New Model of Deterministic Computation [pdf]
lambdalord.github.io·23h·
Discuss: Hacker News
⚡SIMD Optimization
WebAssembly targets: The Change in Default Target-Features That You Need to Be Aware Of
hackernoon.com·13h
💻Programming languages
Rethinking Object-Oriented Programming in Java Education
max.xz.ax·22h·
Discuss: Hacker News, r/programming
💻Programming languages
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·1d·
Discuss: Lobsters, Hacker News
💻Programming languages
Contemplating Entity Component Architecture (2024)
datavirke.dk·1d·
Discuss: Hacker News
🌐Distributed systems
Rex: Closing the language-verifier gap with safe and usable kernel extensions
usenix.org·15h·
Discuss: Hacker News
💻Programming languages
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·2d·
Discuss: Hacker News
💻Programming languages
Ten Simple Rules for Mathematical Writing
web.mit.edu·18h·
Discuss: Hacker News
💻Programming languages
The Complete MCP Experience: Full Specification Support in VS Code
code.visualstudio.com·23h·
Discuss: Hacker News
💻Programming languages
LLMs show cultural theory was right about the death of the author
programmablemutter.com·1d·
Discuss: Hacker News
💻Programming languages
A deep dive into deeply recursive Go
mattermost.com·21h·
Discuss: Hacker News
💻Programming languages
Show HN: Please check out my Free OpenAPI audit tool
devunus.com·1d·
Discuss: Hacker News
🧩Microservices
jank is C++
jank-lang.org·21h·
Discuss: Lobsters, Hacker News, r/programming
💻Programming languages
Show HN: Authorization in LLM Applications
osohq.com·2d·
Discuss: Hacker News
💻Programming languages
Loading...Loading more...
AboutBlogChangelogRoadmap