🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧮 Constraint Solvers

Z3 Applications, SMT Integration, Optimization, Automated Reasoning

The Croco Carts
gbstudiocentral.com·15h
🎮Cartridge Preservation
Microsoft's custom AI chip hits delays, giving Nvidia more runway
techspot.com·1d
⚡Nordic Processors
ELIZA
brajeshwar.com·1d
🇯🇵Japanese Computing
google/codeworld
github.com·1d
🔓Open Source Software
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·6d·
Discuss: Hacker News
⚙️Logic Synthesis
How Do You Teach Computer Science in the A.I. Era?
nytimes.com·19h·
Discuss: Hacker News
💻CS
ChatGPT kept giving me bland dinner recipes until I showed it the kind of meals I actually like
techradar.com·3h
🧮Algorithmic Cooking
Making JavaScript Simple Again
rugu.dev·2d·
Discuss: Hacker News
🎯Gradual Typing
Tech Zen Wisdom: Abstraction
dev.to·1h·
Discuss: DEV
🏛️Philosophy
ESP32-LLM: Running a Little Language Model on the ESP32
github.com·1d·
Discuss: Hacker News
⚡Compression Hardware
Programming as Theory Building – The Death and Revival of Understanding
b0a04gl.site·3d·
Discuss: Hacker News
💻Programming languages
Evaluating Redundancy Mitigation in Vulnerable Road User Awareness Messages for Bicycles
arxiv.org·1d
⚙️Cassette Mechanics
FieldX 0.2.0 released
reddit.com·2d·
Discuss: r/rust
🦀Rust Borrowing
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·5d·
Discuss: DEV
✓Automated Theorem Proving
Cursor BugBot vs Entelligence
dev.to·2d·
Discuss: DEV
📏Code Metrics
Cardiovascular disease classification using radiomics and geometric features from cardiac CT
arxiv.org·1d
🌀Differential Geometry
AI-Powered Ticket Routing & SLA Breach Prediction in JIRA- My Real-World Automation Journey
dev.to·1d·
Discuss: DEV
📏Code Metrics
AI Infra Guard
github.com·18h·
Discuss: Hacker News
🛡️eBPF Security
Show HN: Local LLM Notepad – run a GPT-style model from a USB stick
github.com·4h·
Discuss: Hacker News
🕸️WASM Archives
Structured Attention Matters to Multimodal LLMs in Document Understanding
arxiv.org·1d
🤖Advanced OCR
Loading...Loading more...
AboutBlogChangelogRoadmap