๐ฟ๏ธ 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
Why (special agent) Johnny (still) Can't Encrypt (2011)
mattblaze.org
ยท
1d
ยท
Discuss:
Lobsters
๐
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
Farewell to the fediverse
manualdousuario.net
ยท
11h
ยท
Discuss:
Hacker News
๐ฎ
Message Queues
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Stay vs. Live: How Verb Choice Reveals Cultural Maps of Rootedness
zakelfassi.com
ยท
20h
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Anchored Persona Reinforcement (APR)
zenodo.org
ยท
9h
ยท
Discuss:
Hacker News
๐ฎ
Message Queues
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Setting up rooted Android emulator with Frida and mitmproxy
trickster.dev
ยท
1d
ยท
Discuss:
Hacker News
๐งฉ
Microservices
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Collecting my thoughts about notation and user interfaces
interconnected.org
ยท
2d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The productivity paradox of AI coding assistants
cerbos.dev
ยท
1d
ยท
Discuss:
Hacker News
,
r/programming
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Scaling and mechanical optimality of bristled wings in microinsects
pnas.org
ยท
1h
ยท
Discuss:
Hacker News
โก
SIMD Optimization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Clever Hans Couldn't Do Arithmetic, and LLMs Don't Understand
codemanship.wordpress.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Time Series ML
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Measuring success when doing Math
kidswholovemath.substack.com
ยท
23h
ยท
Discuss:
Substack
๐
Time Series ML
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
I Vibe Coded an R Package
jcarroll.com.au
ยท
22h
ยท
Discuss:
Lobsters
,
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Prototype Pollution in Python (2023)
blog.abdulrah33m.com
ยท
2d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Anatomy of an AI Agent
allen.hutchison.org
ยท
2h
ยท
Discuss:
Hacker News
๐
Time Series ML
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Lessons from handling timezone conversion in a global SaaS
news.ycombinator.com
ยท
14h
ยท
Discuss:
Hacker News
๐
Timeseries
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
We engineered RAG to be 50% faster
elevenlabs.io
ยท
1d
ยท
Discuss:
Hacker News
๐
Query Engines
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The PDF That Broke ChatGPT
surgehq.ai
ยท
23h
ยท
Discuss:
Hacker News
๐น
Apache Arrow
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Text Files > Complex Tools: A Minimalist Snippet Manager
quarters.captaintouch.com
ยท
1h
ยท
Discuss:
Lobsters
,
Hacker News
๐น
Apache Arrow
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Sharing what I learned about Rust functions and closures
blog.cuongle.dev
ยท
3d
ยท
Discuss:
Hacker News
,
r/rust
๐
Linear Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Debunking the Claims of K2-Think
sri.inf.ethz.ch
ยท
1d
ยท
Discuss:
Hacker News
,
r/LocalLLaMA
๐
Time Series ML
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 8
โข
Page 10 »