🐿️ 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
Metasploit Wrap Up 10/09/2025
rapid7.com
·
2d
🛡️
eBPF Security
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Easy, Automatic HTTPS for Node.js
magicserver.arsh.sh
·
19h
·
Discuss:
Hacker News
🌐
NetworkProtocols
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
Self Hosting Nightscout on Raspberry Pi
broderic.blog
·
19h
·
Discuss:
Hacker News
🔌
Single Board PC
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
I Built an AI Flood Forecasting System with Next.js 15 &
future.forem.com
·
2h
·
Discuss:
DEV
🌊
Streaming Systems
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
,
r/programming
🧩
WASM Modules
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com
·
1d
·
Discuss:
Hacker News
🎧
Learned Audio
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
·
20h
·
Discuss:
Hacker News
⚡
Incremental Computation
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
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
Node.js vs Go in Practice: Performance Comparison of chaos-proxy and chaos-proxy-go
dev.to
·
16h
·
Discuss:
DEV
⚡
gRPC
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
I was tired of regression testing, so I weekend-vibe-coded something
dev.to
·
1h
·
Discuss:
DEV
❄️
Nix Flakes
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
Multi-Cluster command execution?
reddit.com
·
1d
·
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
[OC] Built this because I kept losing track of which of my 30+ servers I was on
reddit.com
·
14h
·
Discuss:
r/homelab
🪟
Awesome windows command-line
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org
·
2d
🧮
Kolmogorov Complexity
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
More Than Code: Gearing Up for the Hackathon of the Year!🚀
dev.to
·
18h
·
Discuss:
DEV
🏴
Scottish Computing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 12
•
Page 14 »