🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚙️ Assembly Verification

Low-level Proofs, Machine Code Correctness, Hardware-Software Interface, Formal Assembly

Pong in Discrete Components
hackaday.com·1d
🎮GameBoy Architecture
What Is FIPS 140-3 and Why Does It Matter for Security Compliance?
securityscorecard.com·8h
🌳Archive Merkle Trees
How to survive the apocalypse: a conversation with Tim O’Reilly about Generative AI
chelseatroy.com·2h
✨Effect Handlers
Lessons from LangChain and Slack and MCP Integration
medium.com·1d·
Discuss: Hacker News
🔗Topological Sorting
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·1d
📏Code Metrics
From Drawings to Decisions: A Hybrid Vision-Language Framework for Parsing 2D Engineering Drawings into Structured Manufacturing Knowledge
arxiv.org·1d
⟷Bidirectional Programming
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·13h·
Discuss: Hacker News, r/programming
🔗Lisp
Getting an LLM to set its own temperature
amanvir.com·1d·
Discuss: Hacker News
🐛Fuzzing
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
What LLMs Know About Their Users
schneier.com·12h·
Discuss: Hacker News
💻Local LLMs
LeetCode 2040 Beginner friendly explanation
dev.to·23h·
Discuss: DEV
🧮Kolmogorov Complexity
AI digital twins in supply chain execution
forbes.com·4h·
Discuss: Hacker News
🏠Homelab Orchestration
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
Hong Mong 5 Development Treasure Case Sharing Modular Design Case Sharing
dev.to·2h·
Discuss: DEV
🔌Operating system internals
Godel's Incompleteness Theorem
news.ycombinator.com·7h·
Discuss: Hacker News
🔤Type Theory
A colorful quantum future
research.google·2d·
Discuss: Hacker News
⚛️Quantum Error Correction
Optimal Parallel Algorithms for Convex Hulls in 2D and 3D under Noisy Primitive Operations
arxiv.org·1d
📊Computational Geometry
Program Synthesis is Interesting and Open
stephendiehl.com·3d·
Discuss: Hacker News
💻Programming languages
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.ai·1d·
Discuss: Hacker News
🤖Archive Automation
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·1d·
Discuss: Hacker News, r/javascript, r/webdev
🦀Rust Macros
Loading...Loading more...
AboutBlogChangelogRoadmap