🐿️ 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
Lisa Fagin Davis’ “The Materiality of the Voynich Manuscript”…
ciphermysteries.com
·
13h
🏰
Manuscript Networks
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Categorical systems theory
topos.institute
·
1d
🔀
Category Theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Let’s talk about LLM guardrails
blog.adnansiddiqi.me
·
15h
·
Discuss:
Hacker News
🎯
Proof Tactics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
7x faster JSON in SQL: a deep dive into Variant data type
e6data.com
·
10h
·
Discuss:
Hacker News
📋
DFDL
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
LLC Artificial Intelligence Trained to Lie by Omission
dev.to
·
12h
·
Discuss:
DEV
📏
Code Metrics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
We found a bug in Go's ARM64 compiler
blog.cloudflare.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
,
r/programming
📜
Proof Carrying Code
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
·
1d
·
Discuss:
DEV
🌊
Apache Kafka
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Intent Weaving for AI Coding Agents
autohand.ai
·
1d
·
Discuss:
Hacker News
⚡
Proof Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Responsible Vibe Coding
dev.to
·
10h
·
Discuss:
DEV
📏
Code Metrics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Trillion Dollar AI Software Development Stack
a16z.com
·
1d
·
Discuss:
Hacker News
⚡
Proof Automation
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
10 Data + AI Observations for Fall 2025
towardsdatascience.com
·
1d
🌊
Stream Processing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: I built a LSP with its own parser to learn Rust
github.com
·
21h
·
Discuss:
Hacker News
⚡
Dependent Rust
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Generalized Orders of Magnitude (GOOMs)
github.com
·
10h
·
Discuss:
Hacker News
🕸️
Tensor Networks
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Enhanced Parasitic R/L Extraction in Die-Stacked ICs via Adaptive Finite Element Modeling and Bayesian Optimization
dev.to
·
3h
·
Discuss:
DEV
⚡
Circuit Archaeology
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Patina project – a Rust implementation of UEFI firmware
github.com
·
1d
·
Discuss:
Hacker News
,
Hacker News
🦀
Embedded Rust
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org
·
1d
📋
Document Grammar
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com
·
1d
·
Discuss:
r/golang
🦀
Rust Borrowing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Less Is More: Recursive Reasoning with Tiny Networks
github.com
·
3d
·
Discuss:
Hacker News
📊
Quantization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 7
•
Page 9 »