Artificial intelligence: Vibe coding service Replit deletes production database
heise.de·2d
🧮Z3 Solver
A Few Notes on <i>A Brief History of Time</i> (1988)
nytpu.com·2d
⏰Time Crystals
In Seawater, Researchers See an Untapped Bounty of Critical Metals
e360.yale.edu·6h·
Discuss: Hacker News
🌡️Preservation Thermodynamics
A deterministic π-driven algorithm for the Partition Problem (NP-complete)
osf.io·1d·
Discuss: Hacker News
🧮SMT Solvers
Exploring Windows XP on macOS ARM64
milen.me·8h·
Discuss: Hacker News
🖥️Vintage Macintosh
Blip: Peer-to-Peer Massive File Sharing by Former Dropbox Engineers
blip.net·5d·
Discuss: Hacker News
🏺ZIP Archaeology
Downloading arbitrary Apple Podcast episode transcripts
blog.alexbeals.com·3d·
Discuss: Hacker News
✅FLAC Verification
Migrating to AI SDK v5: A Story of Tool Streaming, Caching, and Type Safety
braingrid.ai·1d·
Discuss: Hacker News
🔌Interface Evolution
GitHub calls for major expansion in open source funding from the EU
techradar.com·2d
🔓Open Source Software
21 years ago Ruby on Rails had it's first version 0.5.0
rubytalk.org·3d·
Discuss: Hacker News
🧬Bitstream Evolution
🚀 Just discovered this 5-minute productivity hack:
dev.to·3h·
Discuss: DEV
🔍BitFunnel
AI Content Moderator - Powered by Redis
dev.to·2d·
Discuss: DEV
⚡Redis Internals
Create Viral AI Marketing Ads for Almost Nothing with VEO3
dev.to·5h·
Discuss: DEV
🗜️LZW Variants
AI-Powered Real-Time Chat Analytics with Redis Vector Search
dev.to·1d·
Discuss: DEV
🌊Apache Kafka
Kubernetes Bunny CDN ACL Manager – Automatic Trusted Proxy IP Management
github.com·2h·
Discuss: Hacker News
📦Container Security
What If AWS Services Could Talk Like Humans?
dev.to·6h·
Discuss: DEV
🏠Homelab Orchestration
Show HN: We built a self-aware AI agent,and this is the log of its first mission
github.com·9h·
Discuss: Hacker News
🇯🇵Japanese Computing
📈 Developer happiness improvement after switching to workflo
dev.to·5h·
Discuss: DEV
🌀Brotli Dictionary
Linux 6.17 To Support Arm's BRBE
phoronix.com·1d
🦾ARM Cortex-M
Oh blessed day, my dad was down with a dual boot to try and daily drive Linux Mint! His first Linux distro!
reddit.com·18h·
Discuss: r/linux
🔌Operating system internals