🐿️ 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
Superpowers 2.0 came out yesterday and might already be obsolete.
blog.fsck.com
·
1d
🪟
Awesome windows command-line
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Experimentation
theprogrammersparadox.blogspot.com
·
3d
·
Discuss:
theprogrammersparadox.blogspot.com
📊
Static Analysis
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.com
·
3d
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Math that feels good: creating learning resources for blind students
aimath.org
·
14h
✋
Tactile Computing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why it took 4 years to get a lock files specification
snarky.ca
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🔄
Language Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A new breed of analyzers
daniel.haxx.se
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐛
Fuzzing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Technological Approach to Mind Everywhere: A Grounded Framework (pdf, 2022)
frontiersin.org
·
3d
·
Discuss:
Hacker News
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
You don't need an AI agent framework, or why frameworks are the new Juicero
konvu.com
·
5d
·
Discuss:
Hacker News
🔬
Refinement Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
VibeAlive: Cleaning Up the Code Chaos of AI-Assisted Development
vibe.forem.com
·
4h
·
Discuss:
DEV
🌀
Brotli Dictionary
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com
·
5d
🎯
Proof Tactics
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
·
6h
·
Discuss:
DEV
📊
Multi-vector RAG
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How to Reject a Pull Request
github.com
·
1d
·
Discuss:
Hacker News
💣
ZIP Vulnerabilities
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Twoway, a Go package for HPKE encrypted request-response flows
github.com
·
4d
·
Discuss:
Hacker News
,
r/golang
🔑
Cryptographic Protocols
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Nicholas Renotte: I Spent 6 Weeks using Reinforcement Learning to Beat This GoDot Game
dev.to
·
1d
·
Discuss:
DEV
⚔️
Lean Tactics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
80 Days, 80 Python Challenges: The Project That Will Turn Me Into a Better Coder! 🐍 (My First Post)
dev.to
·
12h
·
Discuss:
DEV
📊
APL Heritage
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to
·
8h
·
Discuss:
DEV
🌀
Brotli Internals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Tech With Tim: How to Build AI Agents in Python
dev.to
·
4h
·
Discuss:
DEV
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Google Opal is not a “degraded Dify”. Its strategic positioning and optimal utilisation methods revealed through actual use
dev.to
·
10h
·
Discuss:
DEV
🦋
Format Metamorphosis
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why People Say “F*** LeetCode”: Difficulty, Fairness, Real-World Value — and a Better Way
dev.to
·
3d
·
Discuss:
DEV
📏
Code Metrics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to
·
2d
·
Discuss:
DEV
🌊
Apache Kafka
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 18
•
Page 20 »