🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧠 Separation Logic
Memory Safety, Heap Analysis, Formal Verification, Pointer Reasoning
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Compliance of mobile games with loot box probability disclosure law in Korea
sciencedirect.com
·
4h
·
Discuss:
Hacker News
⚖️
Game Preservation Ethics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev
·
1d
·
Discuss:
Hacker News
🧬
Functional Programming
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
·
3d
·
Discuss:
DEV
📏
Code Metrics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
100 Poisoned Examples Can Hijack Any AI Model (Even GPT-4-Scale LLMs)
dev.to
·
2h
·
Discuss:
DEV
⚡
Proof Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Is Odin Just a More Boring C?
dayvster.com
·
3d
·
Discuss:
Hacker News
🔩
Systems Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Replacing the Type Checker for the Swift Compiler
forums.swift.org
·
19h
·
Discuss:
Hacker News
💧
Liquid Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
We Bet on Rust to Supercharge Feature Store at Agoda
medium.com
·
1d
·
Discuss:
Hacker News
,
r/rust
🦀
Rust Borrowing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Fast Matrix Multiply on an Apple GPU
percisely.xyz
·
2d
·
Discuss:
Hacker News
⚡
SIMD Vectorization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Month Debugging AI Agents: How I Built a 10-Agents and Why I Had to Delete It
news.ycombinator.com
·
10h
·
Discuss:
Hacker News
👑
Isabelle
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
I analyzed 70 Data Breaches. Three controls would have stopped 65% of them
securityblueprints.io
·
4h
·
Discuss:
Hacker News
🔐
Capability Systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Reverse Engineering keyboard firmware with Ghidra
blog.usedbytes.com
·
1d
·
Discuss:
Hacker News
🔓
Reverse engineering
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
C++26: range support for std:optional
sandordargo.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
💧
Liquid Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
On the Pure Quantum Polynomial Hierarchy and Quantified Hamiltonian Complexity
arxiv.org
·
17h
⚛️
Quantum Algorithms
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org
·
9h
·
Discuss:
Hacker News
🔗
Constraint Handling
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference
arxiv.org
·
1d
💨
Cache Optimization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Tiny AI model outperforms o3‑mini and Gemini 2.5 Pro in ARC‑AGI benchmark
the-decoder.com
·
7h
🧠
Intelligence Compression
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Structured Cognition for Behavioral Intelligence in Large Language Model Agents: Preliminary Study
arxiv.org
·
1d
🧠
Intelligence Compression
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Finding a VS Code Memory Leak
randomascii.wordpress.com
·
1h
·
Discuss:
Hacker News
🧠
Memory Forensics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Kubernetes 1.34 Features Explained
scaleops.com
·
8h
·
Discuss:
Hacker News
📦
Container Security
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at
·
2h
·
Discuss:
Hacker News
🔗
Lisp
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 3
•
Page 5 »