🐿️ 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
Risky Bulletin: Microsoft revamps Edge's "IE Mode" after zero-day attacks
news.risky.biz
·
8h
🛡
Cybersecurity
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Revisiting SailfishOS
geekyschmidt.com
·
17m
·
Discuss:
Hacker News
🐧
FOSS
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
·
1d
·
Discuss:
Hacker News
📋
DFDL
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Nostr and ATProto (2024)
shreyanjain.net
·
1d
·
Discuss:
Hacker News
📡
Feed Archaeology
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Love C, Hate C: Web Framework Memory Problems
alew.is
·
3d
·
Discuss:
Hacker News
🔩
Systems Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why do CPUs have multiple cache levels?
fgiesen.wordpress.com
·
1d
·
Discuss:
Hacker News
⚡
Cache Theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
We found a bug in Go's ARM64 compiler
blog.cloudflare.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
,
r/programming
📜
Proof Carrying Code
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Intent Weaving for AI Coding Agents
autohand.ai
·
3d
·
Discuss:
Hacker News
⚡
Proof Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Intel Simplifying P-State Driver's Energy Model For Newer Core Ultra CPUs
phoronix.com
·
2d
⚡
Homebrew CPUs
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
·
2d
·
Discuss:
Hacker News
⚡
Dependent Rust
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Online Topological Localization for Navigation Assistance in Bronchoscopy
arxiv.org
·
6h
🕸️
Algebraic Topology
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
SigmaEval – statistical evaluation for GenAI apps
github.com
·
4d
·
Discuss:
Hacker News
🔍
Concolic Testing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Automated Fraction Collection Optimization via Dynamic Peak Prioritization and Real-Time Gradient Adjustment
dev.to
·
4h
·
Discuss:
DEV
☕
Precision Brewing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Adaptive Decoding via Hierarchical Neural Information Gradients in Mouse Visual Tasks
arxiv.org
·
6h
🧠
Learned Codecs
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
·
4h
·
Discuss:
DEV
🌀
Brotli Internals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Ask r/kubernetes: What are you working on this week?
reddit.com
·
39m
·
Discuss:
r/kubernetes
🔩
Systems Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
OSD600: Lab 5
dev.to
·
2d
·
Discuss:
DEV
❄️
Nix Flakes
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
On the Alignment Between Supervised and Self-Supervised Contrastive Learning
arxiv.org
·
6h
🧠
Machine Learning
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
·
3d
·
Discuss:
DEV
⚡
Incremental Computation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Triadic Neural Architecture — A Framework for Balanced Synthetic Intelligence
dev.to
·
2h
·
Discuss:
DEV
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 20
•
Page 22 »