🐿️ 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
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com
·
1d
💎
Information Crystallography
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Falsehoods Vibe Coders Believe About LLMs
wilsonhobbs.com
·
2d
·
Discuss:
Hacker News
💧
Liquid Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why LLMs cannot reach GenAI, but why it looked like they could
haversine.substack.com
·
19h
·
Discuss:
Substack
🧠
Intelligence Compression
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Love C, Hate C: Web Framework Memory Problems
alew.is
·
1d
·
Discuss:
Hacker News
🔩
Systems Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai
·
1d
·
Discuss:
Hacker News
🎯
Performance Proofs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Stop Worrying and Love the Bomb
bitbytebit.substack.com
·
3h
·
Discuss:
Substack
⚙️
Build Archaeology
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Ship Broken Things
matmul.net
·
1d
·
Discuss:
Hacker News
🔗
Topological Sorting
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org
·
2d
🧮
Kolmogorov Complexity
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Programmer Identity Crisis
hojberg.xyz
·
3d
·
Discuss:
Lobsters
,
Hacker News
🔩
Systems Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Prompts to make AI impersonate 10 programming legends
ai-impersonator.blueprintlab.io
·
9h
·
Discuss:
Hacker News
,
r/ClaudeAI
🎙️
Whisper
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Enhanced Predictive Maintenance of Geothermal Heat Exchangers via Hybrid Bayesian Optimization and LSTM
dev.to
·
12h
·
Discuss:
DEV
💻
Local LLMs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why The Future of Code Is More Human Than Ever
dev.to
·
1d
·
Discuss:
DEV
📏
Code Metrics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net
·
1d
·
Discuss:
r/programming
🧠
Lisp Dialects
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
On the Pure Quantum Polynomial Hierarchy and Quantified Hamiltonian Complexity
arxiv.org
·
2d
⚛️
Quantum Algorithms
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
In-Depth Analysis: "Attention Is All You Need"
dev.to
·
1d
·
Discuss:
DEV
🧠
Intelligence Compression
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
I have seen the compounding teams
sundaylettersfromsam.substack.com
·
5h
·
Discuss:
Substack
⚔️
Lean Tactics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Golang Dependency Inversion — A Java Developer's Point of View
dev.to
·
3d
·
Discuss:
DEV
🔬
Refinement Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Realization Jsmn on a Pure Zig
github.com
·
1d
·
Discuss:
Hacker News
🔗
Concatenative Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Getting Started with Object-Oriented Programming in Python
dev.to
·
2d
·
Discuss:
DEV
🔢
Denotational Semantics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Alert System: Try, Except, and Finally
dev.to
·
1d
·
Discuss:
DEV
🌳
Incremental Parsing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 5
•
Page 7 »