🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚡ Proof Automation
Tactic Languages, Auto Tactics, Proof Search, Hammer Tools
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Read more: Swiss amateur astronomer makes ‘sensational discovery’
swissinfo.ch
·
1d
🏺
Computational Archaeology
How to Read and Write Deeply Partitioned Files Using Apache Spark
freecodecamp.org
·
1d
·
Discuss:
Hacker News
📸
ZFS Snapshots
Combining struct literal syntax with read-only field access
kobzol.github.io
·
20h
·
Discuss:
Lobsters
,
r/rust
🔒
Type Safety
The dirtiest CRM: a tale of woe for a Slack app that deserved better
dibsonstuff.com
·
1d
·
Discuss:
Hacker News
🦀
Rusty Databases
AI Might Let You Die to Save Itself
lawfaremedia.org
·
18h
·
Discuss:
Hacker News
🔲
Cellular Automata
GPT-5 Made SEO Irreplaceable
dejan.ai
·
3d
·
Discuss:
Hacker News
🌀
Brotli Internals
D as a Better C (2017)
dlang.org
·
2d
·
Discuss:
Hacker News
🔩
Systems Programming
The Toad Report #1
willmcgugan.github.io
·
4d
·
Discuss:
Hacker News
🎙️
Whisper
My experience with Apache Pulsar to solve PostgreSQL multi-tenant pain
news.ycombinator.com
·
5h
·
Discuss:
Hacker News
🌊
Streaming Systems
[R] Graph ML benchmarks and foundation models
reddit.com
·
18h
·
Discuss:
r/MachineLearning
🕸️
Graph Embeddings
Anatomy of Email Security Vulnerabilities: How Spoofing, Protocol Weaknesses, and Misconfigurations Power Modern Attacks
dev.to
·
2d
·
Discuss:
DEV
🌐
DNS Security
How To Structure Your Application Like An Artisan
blog.codeminer42.com
·
4d
🐚
Shell Calculus
Zero-Shot KWS for Children's Speech using Layer-Wise Features from SSL Models
arxiv.org
·
1d
🎙️
Whisper
Beyond Token Limits: Persistent AI Memory with the Model Context Protocol
dev.to
·
3d
·
Discuss:
DEV
⚡
Hardware Transactional Memory
Mastering Prompt Design for Smarter AI Assistants in 2025
dev.to
·
3d
·
Discuss:
DEV
📐
Proof Assistants
Data-driven Discovery of Digital Twins in Biomedical Research
arxiv.org
·
1d
🗂️
Vector Databases
A Soft Inducement Framework for Incentive-Aided Steering of No-Regret Players
arxiv.org
·
1d
🔲
Cellular Automata
Automated Spectral Deconvolution of Cometary Ices for Accurate Molecular Abundance Mapping
dev.to
·
2d
·
Discuss:
DEV
🌈
Spectroscopy
8 Tool Tech Stack to Build an Enterprise-Grade RAG System (Without the Headaches)
dev.to
·
5d
·
Discuss:
DEV
🌀
Brotli Internals
DeepConf can greatly reduce computational effort in language model reasoning tasks
the-decoder.com
·
1d
💻
Local LLMs
Loading...
Loading more...
« Page 31
•
Page 33 »