🔬 PLT

Programming Language Theory, Language tooling

Public strongly backs aim of 30% of land and sea set aside for nature, poll finds
theguardian.com·11h·
Discuss: Hacker News
🗳️Élections
AI Couldn't Build My iPhone Podcast App
beard.fm·4d·
Discuss: Hacker News
💻Programming
Retrospective: Rifts
grognardia.blogspot.com·2d·
Discuss: Hacker News
🔓Open Source
Sometimes Software Is Done, or Why Hugo Why
commaok.xyz·5d·
Discuss: Lobsters, Hacker News
🔓Open Source
Inside Philips Hue’s plans to make all your lights motion sensors
theverge.com·1d·
Discuss: Hacker News
🔓Open Source
Show HN: Generate human-sounding tweets from current news
contently.bot·6d·
Discuss: Hacker News, r/webdev
🔤Text Algorithms
WebRage – The modern web is terrible. Here's why
webrage.net·3d·
Discuss: Hacker News
⚙WebAssembly
You Can Now Download the Tesla Robotaxi App, but It Only Does One Thing
au.pcmag.com·22h·
Discuss: Hacker News
🔓Open Source
Neue Klasse: BMW’s tech-filled iX3 electric SUV is unveiled
arstechnica.com·11h·
Discuss: Hacker News
⌨️Keyboards
Stockholm and Ambition
louiscb.com·2d·
Discuss: Hacker News
🔓Open Source
The module consumer-pgmq to consume messages from Supabase/Postgres queue
news.ycombinator.com·4d·
Discuss: Hacker News
💻Programming
Anthropic Raises $13B at $183B Valuation: AI Bubble Peak or Actual Revenue?
toolstac.com·2d·
Discuss: Hacker News
💿OS
TranscribePad – Mobile offline medical transcription and AI note structuring
news.ycombinator.com·1d·
Discuss: Hacker News
🔤Text Algorithms
Why smart brands are betting on social search
medium.com·2d·
Discuss: Hacker News
🔤Text Algorithms
Integrated Haskell Platform (IHP) v1.4.0 released
github.com·4d·
Discuss: Hacker News
🔓Open Source
Asio-gRPC: Asynchronous gRPC with Asio/unified executors
github.com·6d·
Discuss: Hacker News
🔓Open Source
A day in the life of a vibe coder
medium.com·3d·
Discuss: Hacker News
💻Programming
Show HN: ZipZen – Lightweight Release Hosting for Binaries
news.ycombinator.com·1d·
Discuss: Hacker News
🔓Open Source
Show HN: LLM custom instruction to maximise honesty logic, decrease sycophancy
news.ycombinator.com·6d·
Discuss: Hacker News
🔤Text Algorithms
Anthropic Clamps Down on AI Services for Chinese-Owned Firms
bloomberg.com·15h·
Discuss: Hacker News
🔓Open Source