๐ฟ๏ธ 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
ยท
11h
ยท
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
ยท
11h
ยท
Discuss:
Hacker News
๐
Security Patterns
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Taste
moderndescartes.com
ยท
1d
ยท
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
ยท
2d
ยท
Discuss:
Hacker News
,
r/ClaudeAI
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AI Assistant for Statements, Invoices and Receipts
bankgpt.io
ยท
2d
ยท
Discuss:
Hacker News
๐
Stream Processing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Babies and LLMs
blog.karliner.net
ยท
1d
ยท
Discuss:
Hacker News
๐
Linear Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Prompt Snapshot Testing
ninkovic.dev
ยท
5d
ยท
Discuss:
Hacker News
๐
Performance Profiling
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Rewriting Dataframes for MicroHaskell
mchav.github.io
ยท
6d
ยท
Discuss:
Hacker News
,
r/programming
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: A Deep Research MCP Agent (and pitfalls I hit along the way)
thealliance.ai
ยท
3d
ยท
Discuss:
Hacker News
๐
Distributed systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Shape Checking for Annotated Tensor Names
github.com
ยท
3d
ยท
Discuss:
Hacker News
๐
Linear Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Modular, LLM-optimized OpenAPI docs โ deterministic URLs
news.ycombinator.com
ยท
5d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Open Source Deal Flow Monitoring Infrastructure Built for VCs
github.com
ยท
16h
ยท
Discuss:
Hacker News
๐
Stream Processing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Introduction to Nyquist and Lisp Programming
manual.audacityteam.org
ยท
5d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Understanding Floating-Point Numbers
dennisforbes.ca
ยท
1d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com
ยท
4d
ยท
Discuss:
Hacker News
๐
Linear Types
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
Becoming an algorithmic problem: Resistance in the age of predictive technology
transformingsociety.co.uk
ยท
1d
ยท
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
Loading...
Loading more...
« Page 12
โข
Page 14 »