📏 Linear Types

Resource Management, Use-Once Semantics, Affine Types, Memory Safety

Top Startup and Tech Funding News Roundup – Week Ending October 10, 2025
techstartups.com·19h
🚀Startups
Fundamental engineering principles can help identify disease biomarkers more quickly
phys.org·1h
🦠Fermentation
VLLM Predicted Outputs
cascadetech.ai·21h·
Discuss: Hacker News
🏗️LLM Infrastructure
Gear News of the Week: Intel’s New Chips Arrive, and Apple May Debut iPads and MacBooks This Month
wired.com·7h
📱New tech trends
Notes on using LaTeX to generate formulae
eli.thegreenplace.net·2h
📝Typst
Tangled, a Git collaboration platform, built on atproto
blog.tangled.org·20h·
Discuss: Hacker News, r/programming
🌐Axum
How to tame a user interface using a spreadsheet
blog.gingerbeardman.com·17h
✏️Code Editors
Vibing a Non-Trivial Ghostty Feature
mitchellh.com·17h·
Discuss: Lobsters, Hacker News
✏️Code Editors
Printing Petscii Faster
retrogamecoders.com·19h·
Discuss: Hacker News
📟Terminals
When dirt meets data: ScottsMiracle-Gro saved $150M using AI
venturebeat.com·4h·
Discuss: Hacker News
🏆LLM Benchmarking
Why I Built a Homelab (and Why You Might Want To
wiobyrne.com·15h
🏠Self-hosting
We can just do things together
leaflet.pub·19h·
Discuss: Hacker News
💹Platform Economics
Global shared state
reddit.com·4h·
Discuss: r/rust
🦀Rust
Memgoose – An In-Memory Mongoose Impersonator
github.com·8h·
Discuss: Hacker News
🔎Tantivy
I have seen the compounding teams
sundaylettersfromsam.substack.com·5h·
Discuss: Substack
🧮SMT Solvers
Following Through
nytimes.com·7h
🏛️Politics
Show HN: Velocity is a post-quantum transport protocol
projectvelocity.org·17h·
Discuss: Hacker News
⚡QUIC Protocol
We May Have a Path to the Fundamental Theory of Physics (2020)
writings.stephenwolfram.com·11h·
Discuss: Hacker News
⚛️Physics
The Day the CEO of Meta Stopped to Like My Vision
hackernoon.com·33m
🚀Indie Hacking
On Frame Messages
furretnz.bearblog.dev·16h
ℹ️Information Theory