🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚖️ Hoare Logic
Program Correctness, Preconditions, Postconditions, Axiomatic Semantics
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Your LLM Won’t Stop Lying Any Time Soon
hackaday.com
·
6h
💻
Local LLMs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com
·
1d
·
Discuss:
Hacker News
🌊
Stream Processing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
We built AI that auto-checks building plans
planchecksolver.com
·
16h
·
Discuss:
Hacker News
🔄
Reproducible Builds
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building A Real-Time Communication System Using Go and WebSocket
dev.to
·
13h
·
Discuss:
DEV
🌐
WebSocket Framing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Programmer in Wonderland
binaryigor.com
·
1d
·
Discuss:
Hacker News
🔩
Systems Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AI-Driven Ethical Risk Assessment & Mitigation in Supply Chain Compliance
dev.to
·
4h
·
Discuss:
DEV
🔗
Supply Chain
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
English - the hottest programming language of the future
dev.to
·
15h
·
Discuss:
DEV
🔄
Language Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to
·
12h
·
Discuss:
DEV
🔍
Concolic Testing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AI Renaissance: Bridging the Gap Between Intuition and Logic
dev.to
·
22h
·
Discuss:
DEV
🤖
Paleographic AI
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LLMs Learn to Deceive Unintentionally: Emergent Misalignment in Dishonesty from Misaligned Samples to Biased Human-AI Interactions
arxiv.org
·
1d
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Quantum memory optimisation using finite-horizon, decoherence time and discounted mean-square performance criteria
arxiv.org
·
1d
⚛️
Quantum Storage
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Linus Method: How we simiplifed RFC reviews
devashish.me
·
15h
·
Discuss:
Hacker News
⚙️
Proof Engineering
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Neuro-Symbolic AI
en.wikipedia.org
·
18h
·
Discuss:
Hacker News
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to
·
5d
·
Discuss:
DEV
📏
Code Metrics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Less Is More: Recursive Reasoning with Tiny Networks
github.com
·
2d
·
Discuss:
Hacker News
📊
Quantization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com
·
7h
·
Discuss:
Hacker News
🎧
Learned Audio
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog
·
1d
·
Discuss:
Hacker News
,
r/programming
✅
Format Verification
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
My Claude Code Setup
justindfuller.com
·
2d
·
Discuss:
Hacker News
⚡
Proof Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Dynamic Adaptive Redundancy Allocation via Hierarchical Bayesian Optimization
dev.to
·
13h
·
Discuss:
DEV
💾
Storage Replication
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.org
·
1d
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 3
•
Page 5 »