๐ฟ๏ธ 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
ยท
1d
ยท
Discuss:
Hacker News
๐
Time Series ML
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
HTTPS: //calming.tools/ โ Some help for anxiety
calming.tools
ยท
1d
ยท
Discuss:
Hacker News
๐
Security Patterns
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
Taste
moderndescartes.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Query Engines
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
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
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
ยท
20h
ยท
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
ยท
7h
๐น
Apache Arrow
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Sleep disorders increase risk of dementia, Alzheimer's, and cognitive decline
link.springer.com
ยท
23h
ยท
Discuss:
Hacker News
๐
Time Series
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
Spec-Driven Development Is the Future of Software Engineering
medium.com
ยท
1d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
original โ
raymondcamden.com
ยท
2d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com
ยท
4d
ยท
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
Hacker News
,
r/programming
๐๏ธ
Database Internals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Prompt Snapshot Testing
ninkovic.dev
ยท
6d
ยท
Discuss:
Hacker News
๐
Performance Profiling
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 16
โข
Page 18 »