🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚖️ Verification Calculi
Refinement Types, SMT Integration, Program Logic, Type Safety
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Open Lineage
usenix.org
·
2d
🔌
Interface Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Vexing Exceptions
ericlippert.com
·
2d
·
Discuss:
Hacker News
🧪
Binary Fuzzing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
We May Have a Path to the Fundamental Theory of Physics (2020)
writings.stephenwolfram.com
·
1d
·
Discuss:
Hacker News
⏰
Time Crystals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Progress being made in porting AMD OpenSIL Turin PoC to Coreboot in a Gigabyte MZ33-AR1
blog.3mdeb.com
·
1d
·
Discuss:
Hacker News
,
r/hardware
🖥️
Terminal Renaissance
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
C++ Reflection and Qt MOC
wiki.qt.io
·
3d
·
Discuss:
Hacker News
,
r/cpp
🧩
WASM Modules
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Closer to production quality Python notebooks with `marimo check`
marimo.io
·
4d
·
Discuss:
Hacker News
✅
Archive Validation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Custom AI models in hours not months with auto Data Synth and LLM-as-a-Judge
blog.oumi.ai
·
2d
·
Discuss:
Hacker News
🧮
SMT Solvers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Cold Calculation
kae3g.codeberg.page
·
18h
·
Discuss:
Hacker News
⚡
Incremental Computation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Simplicity • Pragmatic Dave Thomas & Sarah Taraporewalla
youtube.com
·
1d
⬜
Minimalism
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building Repo Bench
repoprompt.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
⚡
Proof Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Node.js vs Go in Practice: Performance Comparison of chaos-proxy and chaos-proxy-go
dev.to
·
14h
·
Discuss:
DEV
⚡
gRPC
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Community: The 100% Open-Source AI Stack That Automates My Business, and Tricks for Troubleshooting It
dev.to
·
3d
·
Discuss:
DEV
🏠
Homelab Orchestration
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AI-Driven Ethical Risk Assessment & Mitigation in Supply Chain Compliance
dev.to
·
1d
·
Discuss:
DEV
🔗
Supply Chain
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Day 29 of python code series..
dev.to
·
1h
·
Discuss:
DEV
🔩
Systems Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to
·
5h
·
Discuss:
DEV
📊
Multi-vector RAG
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
On the Pure Quantum Polynomial Hierarchy and Quantified Hamiltonian Complexity
arxiv.org
·
3d
⚛️
Quantum Algorithms
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Quantifying Narrative Coherence: A Hybrid Symbolic-Neural Approach for Automated Literary Evaluation
dev.to
·
8h
·
Discuss:
DEV
🔤
Character Classification
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Off-Trajectory Reasoning: Can LLMs Collaborate on Reasoning Trajectory?
arxiv.org
·
3d
📏
Linear Logic
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Multi-Cluster command execution?
reddit.com
·
23h
·
Discuss:
r/kubernetes
📦
Container Security
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: An open-source starter kit for implementing OWASP ASVS 5.0
github.com
·
1d
·
Discuss:
Hacker News
🔓
Open Source Software
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 11
•
Page 13 »