๐ฟ๏ธ 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
Models of European Metro Stations
stations.albertguillaumes.cat
ยท
10h
ยท
Discuss:
Hacker News
๐
Linear Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
New hollow-core fibres break a 40-year limit on light transmission
physicsworld.com
ยท
20h
ยท
Discuss:
Hacker News
๐
Edge Computing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Off-Grid Boat Data with Signal K and Meshtastic
signalk.org
ยท
1d
ยท
Discuss:
Hacker News
๐
Stream Processing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Rush to get the new Covid booster [it might be withdrawn on September 18]
someweekendreading.blog
ยท
19h
ยท
Discuss:
Hacker News
๐
Time Series ML
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
Old norse roots of English words
en.wikipedia.org
ยท
1d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Six Years of Admiral Shark's Keyboards
sharktastica.co.uk
ยท
1d
ยท
Discuss:
Hacker News
๐
Query Engines
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
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
Understanding Floating-Point Numbers
dennisforbes.ca
ยท
2d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Only Skill That Matters Now
worksonmymachine.ai
ยท
3h
ยท
Discuss:
Hacker News
๐ง
Memory Management
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
SaaS Ethics Manifesto
mdubakov.me
ยท
2d
ยท
Discuss:
Hacker News
๐งฉ
Microservices
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
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
Terminators: AI-driven robot war machines on the march
theregister.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Time Series ML
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
Using Linters to Direct Agents
factory.ai
ยท
4d
ยท
Discuss:
Hacker News
๐
Linear Types
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
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
Loading...
Loading more...
« Page 14
โข
Page 16 »