🐿️ 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
I Built an AI Flood Forecasting System with Next.js 15 &
future.forem.com
·
4h
·
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
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
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
Cold Calculation
kae3g.codeberg.page
·
23h
·
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
Multi-Cluster command execution?
reddit.com
·
1d
·
Discuss:
r/kubernetes
📦
Container Security
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
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
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
·
17h
·
Discuss:
r/homelab
🪟
Awesome windows command-line
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
OSD600: Lab 5
dev.to
·
1d
·
Discuss:
DEV
❄️
Nix Flakes
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
FURINA: A Fully Customizable Role-Playing Benchmark via Scalable Multi-Agent Collaboration Pipeline
arxiv.org
·
3d
⚡
Performance Mythology
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
·
21h
·
Discuss:
DEV
🏴
Scottish Computing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Automated Parameter Calibration in Physics-Based Robot Simulation via Bayesian Optimization
dev.to
·
2d
·
Discuss:
DEV
⚡
Incremental Computation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org
·
2d
🔗
Parser Combinators
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
IASC: Interactive Agentic System for ConLangs
arxiv.org
·
2d
🌳
Context free grammars
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
`shimmy` Rust inference server uses bindings to a C library... and runs Python scripts in the shell
reddit.com
·
2d
·
Discuss:
r/rust
🦀
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 13
•
Page 15 »