๐ฟ๏ธ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
๐ Formal Methods
Type Theory, Program Verification, Theorem Proving, Specification Languages
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Effects of natural extracts in cognitive function: systematic meta-analysis
frontiersin.org
ยท
16h
ยท
Discuss:
Hacker News
๐
Performance Profiling
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Practical Guide to Online Privacy
blog.clear-byte.com
ยท
6h
ยท
Discuss:
Hacker News
๐
Security Patterns
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A compact cassette tape for DNA-based data storage
science.org
ยท
1d
ยท
Discuss:
Hacker News
,
Hacker News
๐ฆ
Data Serialization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Using Haskell in Production
agentultra.com
ยท
4d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Short Introduction to Tor
spec.torproject.org
ยท
4d
ยท
Discuss:
Hacker News
๐
Security Patterns
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Spiral
spiraldb.com
ยท
2d
ยท
Discuss:
Hacker News
๐ฆ
DuckDB
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A set of smooth, fzf-powered shell aliases&functions for systemctl
silverrainz.me
ยท
18h
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Krebs Cycle
en.wikipedia.org
ยท
1h
ยท
Discuss:
Hacker News
๐
Distributed systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How OpenAI Operator Works with AI Agents
anchorbrowser.io
ยท
3d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Build, run and debug iOS and Mac apps in Zed instead of Xcode
luxmentis.org
ยท
1d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Tunneling
github.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Security Patterns
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Large Language Mode(ration)
ashley.rolfmore.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Time Series ML
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Dissecting Batching Effects in GPT Inference
le.qun.ch
ยท
1d
ยท
Discuss:
Hacker News
โก
SIMD Optimization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Causal Artificial Intelligence [Free Textbook]
causalai-book.net
ยท
5d
ยท
Discuss:
Hacker News
๐
Time Series ML
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Accelerated Game of Life with CUDA / Triton
boristhebrave.com
ยท
1d
ยท
Discuss:
Hacker News
โก
SIMD Optimization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The dark forest of political communication
andrew-quinn.me
ยท
20h
ยท
Discuss:
Hacker News
๐
Security Patterns
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Tony Hoare: How did software get so reliable without proof?
blog.regehr.org
ยท
4d
ยท
Discuss:
Hacker News
๐
Distributed systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why Most LLM Chatbots Never Make It to Production
humansignal.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Time Series ML
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Perplexity's Comet browser is magic
medium.com
ยท
6h
ยท
Discuss:
Hacker News
๐ฎ
Message Queues
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Anchored Persona Reinforcement (APR)
zenodo.org
ยท
7h
ยท
Discuss:
Hacker News
๐ฎ
Message Queues
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 7
โข
Page 9 »