🐿️ 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
We May Have a Path to the Fundamental Theory of Physics (2020)
writings.stephenwolfram.com
·
1d
·
Discuss:
Hacker News
⏰
Time Crystals
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
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
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
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
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
Stop Worrying and Love the Bomb
bitbytebit.substack.com
·
16h
·
Discuss:
Substack
⚙️
Build Archaeology
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Simplicity • Pragmatic Dave Thomas & Sarah Taraporewalla
youtube.com
·
1d
⬜
Minimalism
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The 9 Best CLIs with Artificial Intelligence
dev.to
·
6h
·
Discuss:
DEV
📟
CLI Design
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to
·
6d
·
Discuss:
DEV
📏
Code Metrics
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
·
20h
⚡
Homebrew CPUs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to
·
1d
·
Discuss:
DEV
⚡
Incremental Computation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org
·
5d
🔗
Parser Combinators
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com
·
4d
🎯
Proof Tactics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Realization Jsmn on a Pure Zig
github.com
·
1d
·
Discuss:
Hacker News
🔗
Concatenative Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 9
•
Page 11 »