๐ฟ๏ธ 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
Rush to get the new Covid booster [it might be withdrawn on September 18]
someweekendreading.blog
ยท
21h
ยท
Discuss:
Hacker News
๐
Time Series ML
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Taste
moderndescartes.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Query Engines
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Claude's Memory Architecture Is the Polar Opposite of ChatGPT's
shloked.com
ยท
3d
ยท
Discuss:
Hacker News
,
r/ClaudeAI
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Ask HN: The quiet demolition of selfโlearned skill
news.ycombinator.com
ยท
1d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Beyond the surface - Exploring attacker persistence strategies in Kubernetes
raesene.github.io
ยท
2d
ยท
Discuss:
Hacker News
๐
Security Patterns
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Becoming an algorithmic problem: Resistance in the age of predictive technology
transformingsociety.co.uk
ยท
2d
ยท
Discuss:
Hacker News
๐
Time Series ML
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Visualising Topology Inspired Computing Algorithms
antifold.com
ยท
4d
ยท
Discuss:
Hacker News
๐
Distributed systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Deliberate Abstraction
entropicthoughts.com
ยท
6d
ยท
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/programming
๐
Distributed systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
DeepCodeBench: Real-World Codebase Understanding by Q&A Benchmarking
qodo.ai
ยท
3d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why OpenAIโs solution to AI hallucinations would kill ChatGPT tomorrow
theconversation.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Time Series ML
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Using Linters to Direct Agents
factory.ai
ยท
5d
ยท
Discuss:
Hacker News
๐
Linear Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Beyond NIST: How NSF-Funded Research Shapes AI Persona, Memory, and Systems
news.ycombinator.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Distributed systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Raspberry Pi Synthesizers โ How the Pi is transforming synths
gearnews.com
ยท
1d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN
github.com
ยท
1d
ยท
Discuss:
Hacker News
,
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
VaultGemma: The world's most capable differentially private LLM
research.google
ยท
2d
ยท
Discuss:
Hacker News
,
r/LocalLLaMA
๐
Time Series ML
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Is a new AI paradigm based on raw electromagnetic waves feasible?
news.ycombinator.com
ยท
17h
ยท
Discuss:
Hacker News
๐
Time Series ML
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How to Remove Invisible Characters From AI Text (Free Tool)
hackernoon.com
ยท
4h
๐น
Apache Arrow
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Working in Groups
internet.place
ยท
4d
ยท
Discuss:
Lobsters
,
Hacker News
๐
Distributed systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io
ยท
4d
ยท
Discuss:
Hacker News
๐
Stream Processing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Reversing the licensing on a Quantum Scalar i40
blackjack.codes
ยท
3d
ยท
Discuss:
Hacker News
๐น
Apache Arrow
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 15
โข
Page 17 »