🐿️ 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
Lute: Python/Flask tool for learning foreign languages through reading
luteorg.github.io
·
9h
·
Discuss:
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Farewell to the fediverse
manualdousuario.net
·
15h
·
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
·
2d
·
Discuss:
Hacker News
🧩
Microservices
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Advice to students in the age of AI: "always be competing"
jobsort.com
·
22h
·
Discuss:
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
International anarchy? Modern adoption of Hobbes's state of nature
frontiersin.org
·
1d
·
Discuss:
Hacker News
🌐
Distributed systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Measuring success when doing Math
kidswholovemath.substack.com
·
1d
·
Discuss:
Substack
📈
Time Series ML
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 PDF That Broke ChatGPT
surgehq.ai
·
1d
·
Discuss:
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
Text Files > Complex Tools: A Minimalist Snippet Manager
quarters.captaintouch.com
·
6h
·
Discuss:
Lobsters
,
Hacker News
🏹
Apache Arrow
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
Don't vibe code (any of) your config
augmentedswe.com
·
12h
·
Discuss:
Hacker News
🧠
Memory Management
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Twin Users of the Future – Human and Agents
shouche.in
·
1d
·
Discuss:
Hacker News
🌐
Distributed systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
You Can Just Do Things
elite-ai-assisted-coding.dev
·
3d
·
Discuss:
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
An Inline Cache Isn't Just a Cache
mgaudet.ca
·
3d
·
Discuss:
Hacker News
🧠
Memory Management
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Ripple: An LLVM compiler-interpreted API to support SPMD and loop annotat
discourse.llvm.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
⚡
SIMD Optimization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LLMs as Retrieval and Recommendation Engines
medium.com
·
1d
·
Discuss:
Hacker News
🚀
Query Engines
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Defeating Nondeterminism in LLM Inference
thinkingmachines.ai
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/LocalLLaMA
,
r/programming
📏
Linear Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Shape-changing tensegrity-blocks enable self-assembling robotic structuress
nature.com
·
1d
·
Discuss:
Hacker News
🌐
Distributed systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Awesome Accelerated Schooling
github.com
·
9h
·
Discuss:
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 9
•
Page 11 »