🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⏰ Temporal Logic
LTL, CTL, Model Checking, System Verification
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
ATOM - Line Follower Robot
hackster.io
·
19h
⚙️
Cassette Mechanics
'Rosetta stone' of code allows scientists to run core quantum computing operations
phys.org
·
4h
⚛️
Quantum Circuits
Context engineering case studies: Etsy-specific question answering
etsy.com
·
1d
📊
Feed Optimization
The long season of langdev
blog.fogus.me
·
2d
🔄
Language Evolution
Fearless Programming with Rust
infoq.com
·
1h
·
Discuss:
Hacker News
🦀
Rust Macros
Show HN: Online equivalence checker for JavaScript RegExp
gruhn.github.io
·
22h
·
Discuss:
Hacker News
🔤
Unicode Normalization
Enhance AI agents using predictive ML models with Amazon SageMaker AI and Model Context Protocol (MCP)
aws.amazon.com
·
16h
·
Discuss:
Hacker News
⚡
Proof Automation
Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
arxiv.org
·
1d
⚡
Dependent Rust
Qclojure: Functional quantum computer programming library for Clojure
github.com
·
18h
·
Discuss:
Hacker News
⚛️
Quantum Compilers
AI Comic Studio app using Google AI Studio
dev.to
·
2h
·
Discuss:
DEV
📄
Document AI
A Freelancer's Guide to Effortless AI-Powered Time Management
flowping.app
·
1d
·
Discuss:
Hacker News
💾
Persistence Strategies
You Can Build Better AI Agents in Java Than Python
medium.com
·
1d
·
Discuss:
Hacker News
⚡
Proof Automation
Best Options For Using AI In Chip Design
semiengineering.com
·
1d
·
Discuss:
Hacker News
⚡
Circuit Design
# How I Built a Fully Decentralized On-Chain Game with 0 Lines of Code, Thanks to Gemini
dev.to
·
13h
·
Discuss:
DEV
🌳
Archive Merkle Trees
Scamlexity
guard.io
·
10h
·
Discuss:
Hacker News
,
Hacker News
🎫
Kerberos Attacks
Stupidity as a Service
lawrenc.es
·
1d
·
Discuss:
Hacker News
🐛
Fuzzing
Subinterpreters and Asyncio
blog.changs.co.uk
·
1d
·
Discuss:
Hacker News
🦀
Rust Macros
Presheaf automata
arxiv.org
·
3d
🎯
Automata theory
How Mintlify uses Claude Code as a technical writing assistant
mintlify.com
·
12h
·
Discuss:
Hacker News
⚡
Proof Automation
Automated Beam-On-Time Chipset Validation via Hyperdimensional Semantic Analysis
dev.to
·
1d
·
Discuss:
DEV
🔧
Hardware Verification
Loading...
Loading more...
« Page 2
•
Page 4 »