🐿️ 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
Dev Services for Spring Boot Using Arconia
thomasvitale.com
·
1d
·
Discuss:
Hacker News
🔌
Archive APIs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How different AI engines generate and cite answers
searchengineland.com
·
2d
🤖
AI Curation
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
The Mondrian introduction to functional optics
marcosh.github.io
·
5d
·
Discuss:
Lobsters
,
Hacker News
⟷
Bidirectional Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
C++ Reflection and Qt MOC
wiki.qt.io
·
3d
·
Discuss:
Hacker News
,
r/cpp
,
r/programming
🧩
WASM Modules
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The IP risks of LLMs at work are nontrivial
augmentedswe.com
·
1h
·
Discuss:
Hacker News
🔄
Language Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Chip That Spoke Lisp
jxself.org
·
5d
🤖
Lisp Machines
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
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
Online KubeDiagrams Service
reddit.com
·
6h
·
Discuss:
r/kubernetes
📦
Container Security
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Programmer Identity Crisis
hojberg.xyz
·
4d
·
Discuss:
Lobsters
,
Hacker News
🔩
Systems Programming
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
·
10h
·
Discuss:
DEV
📊
Multi-vector RAG
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
16x PCI-E Low-Profile 4 M.2 NVMe Adapter Intel Optane H10
reddit.com
·
6h
·
Discuss:
r/homelab
🧲
RISC-V Preservation
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
Linux Now Disabling TPM Bus Encryption By Default For Performance Reasons
phoronix.com
·
1d
🔍
eBPF
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
What to do with a few mini PC's?
reddit.com
·
23h
·
Discuss:
r/homelab
🖥
Home Lab Setup
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org
·
2d
📐
Compression Bounds
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Deep Learning-Driven Spatial Tau Oligomer Profiling for Early Alzheimer's Diagnosis
dev.to
·
1d
·
Discuss:
DEV
🔍
Vector Forensics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Fast, Declarative Open Graph Image Generation in Python
dev.to
·
14h
·
Discuss:
DEV
📸
PNG Optimization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Note
hsu.cy
·
1d
🔍
Archive Semantics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 20
•
Page 22 »