๐ฟ๏ธ 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
ยท
41m
ยท
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
ยท
10h
ยท
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
ยท
14h
ยท
Discuss:
Hacker News
๐
Stream Processing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Grimoire CSS - flexible utility class tool
grimoirecss.com
ยท
1d
ยท
Discuss:
Lobsters
,
Hacker News
๐น
Apache Arrow
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
If my kids excel, will they move away?
jeffreybigham.com
ยท
7h
ยท
Discuss:
Hacker News
๐
Distributed systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
ChatGPT Confidant
aidarwinawards.org
ยท
1d
ยท
Discuss:
Hacker News
๐
Time Series ML
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
Scalable LLM approach to enhancing chatbot knowledge with user-generated content
careersatdoordash.com
ยท
1d
ยท
Discuss:
Hacker News
๐ฎ
Message Queues
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Screen History MCP Server
newbry.bearblog.dev
ยท
8h
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Adding OR logic forced us to confront why users preferred raw SQL
signoz.io
ยท
3d
ยท
Discuss:
Hacker News
๐
Query Engines
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Tony Hoare: How did software get so reliable without proof?
blog.regehr.org
ยท
5d
ยท
Discuss:
Hacker News
๐
Distributed systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN
github.com
ยท
23h
ยท
Discuss:
Hacker News
,
Hacker News
๐ป
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
Indic NLP: AI4Bharat papers explainer part 1
shubhamg.bearblog.dev
ยท
3d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Little Book of Everything
github.com
ยท
5d
ยท
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
StringTape: Apache Arrow-compatible space-efficient "tape" class in pure Rust
github.com
ยท
2d
ยท
Discuss:
Hacker News
๐น
Apache Arrow
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Preventing the NPM Debug/Chalk Compromise in 200 lines of JavaScript
getvouchsafe.org
ยท
3d
ยท
Discuss:
Hacker News
,
r/javascript
,
r/node
๐
Security Patterns
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
Loading...
Loading more...
« Page 11
โข
Page 13 »