🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📐 Formal Methods

Type Theory, Program Verification, Theorem Proving, Specification Languages

The Venetian origins of Roman type
articles.c-a-s-t.com·2d·
Discuss: Hacker News
💻Programming languages
Soil Based Half-Adder Processor
igorkomolov.com·2d·
Discuss: Hacker News
🌐Distributed systems
Robot hand could harvest blackberries better than humans
news.uark.edu·2d·
Discuss: Hacker News
🌐Distributed systems
How economists are using new data sources in development economics
voxdev.org·2d·
Discuss: Hacker News
🧩Microservices
Brandon Sanderson Writes the Stormlight Archive So Stormin' Fast
theportalist.com·2d·
Discuss: Hacker News
📮Message Queues
Censorship Whac-A-Mole: Google search exploited to scrub articles on tech exec
freedom.press·21m·
Discuss: Hacker News
🏹Apache Arrow
Microsoft prepares Copilot for GPT-5 with new Smart mode in development
testingcatalog.com·3d·
Discuss: Hacker News
💻Programming languages
Instrumenting Next.js with runtime secret injection
phase.dev·3d·
Discuss: Hacker News
🔷Typescript
Firm Hierarchy Predicts Income
economicsfromthetopdown.com·1d·
Discuss: Hacker News
🌐Distributed systems
How to create an ACID compliant toy db in Rust
deebkit.com·4d·
Discuss: Hacker News
🦀Rust
Frameworks (and AI) for marketers who think before they pitch
lauradecastro.substack.com·2d·
Discuss: Substack
🧩Microservices
Tool Poisoning Attacks in MCPs
blog.dailydoseofds.com·3d·
Discuss: Hacker News
💻Programming languages
Russian networks flood Internet with propaganda, aiming to corrupt AI chatbots
thebulletin.org·3d·
Discuss: Hacker News
💻Programming languages
Show HN: Made a boilerplate for SaaS and Freelancers to deploy in 24h
github.com·5d·
Discuss: Hacker News
🌊Stream Processing
MassGen: Multi-Agent Scaling System for GenAI
github.com·5d·
Discuss: Hacker News
🌐Distributed systems
I tried to buy Dataroma. Now I'm building the research engine I wish existed
news.ycombinator.com·1d·
Discuss: Hacker News
🚀Query Engines
Enterprises neglect AI security – and attackers have noticed
theregister.com·3h·
Discuss: Hacker News
🧩Microservices
Law of Triviality
en.wikipedia.org·4d·
Discuss: Hacker News
🌐Distributed systems
Show HN: Dart implementation of the libp2p networking stack
github.com·1d·
Discuss: Hacker News
📮Message Queues
Show HN: PlantGenieAI – AI app to identify plants and give care advice
news.ycombinator.com·18h·
Discuss: Hacker News
🧠Memory Management
Loading...Loading more...
AboutBlogChangelogRoadmap