🐿️ 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
Evading the Watchful Eye: A Red Teamer’s Guide to EDR Bypass Techniques
medium.com
·
5d
🔐
Cryptographic Archaeology
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Comparegpt.io – Trustworthy Mode to reduce LLM hallucinations
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔍
BitFunnel
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Preference-aware routing for Claude Code 2.0
archgw.com
·
2d
·
Discuss:
Hacker News
🔗
Topological Sorting
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
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
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org
·
2d
📋
Document Grammar
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
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca
·
1d
·
Discuss:
Hacker News
⚡
Proof Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
HLA-A*31:01-Associated Drug-Induced Stevens-Johnson Syndrome Prediction via Multi-Modal Federated Learning
dev.to
·
2h
·
Discuss:
DEV
📈
Mutual Information
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org
·
2d
⚙️
Compression Benchmarking
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com
·
6d
·
Discuss:
Hacker News
🛡️
WASM Security
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
(FULLY OPEN SOURCE) open-computer-use: Computer agents working on their own VMs
github.com
·
1h
·
Discuss:
Hacker News
🏠
Homelab Orchestration
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: I built a local AI agent desk toy
blog.simone.computer
·
3d
·
Discuss:
Hacker News
🎙️
Whisper
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Test-Time Reasoners Are Strategic Multiple-Choice Test-Takers
arxiv.org
·
2d
✓
Automated Theorem Proving
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com
·
4d
🧮
Compute Optimization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Python 3.14 Unleashed: Revolutionary Features That Will Transform Your Code (Part 1)
dev.to
·
4d
·
Discuss:
DEV
💧
Liquid Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com
·
4d
·
Discuss:
Hacker News
,
r/neovim
🔗
Lisp
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
SigmaEval – statistical evaluation for GenAI apps
github.com
·
3d
·
Discuss:
Hacker News
🔍
Concolic Testing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Stop Worrying and Love the Bomb
bitbytebit.substack.com
·
14h
·
Discuss:
Substack
⚙️
Build Archaeology
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The 9 Best CLIs with Artificial Intelligence
dev.to
·
3h
·
Discuss:
DEV
📟
CLI Design
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 8
•
Page 10 »