💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Advice to students in the age of AI: "always be competing"
jobsort.com·1d·
Discuss: Hacker News
🔲Cellular Automata
The Only Skill That Matters Now
worksonmymachine.ai·7h·
Discuss: Hacker News
🕹️Retro Gaming
Everything Wrong With Developer Productivity Metrics
youtu.be·2d·
Discuss: r/programming
📏Code Metrics
“GoLand Can Do That?” Ten Secret Superpowers You Might Not Know
blog.jetbrains.com·6d·
Discuss: Lobsters, Hacker News, r/golang
🔓Reverse engineering
Pulling an Inverse Conway Maneuver at Netflix (2023)
jivimberg.io·6d·
Discuss: Hacker News
🌊Streaming Systems
Is 'learn to code' still good advice? 8 executives weigh in.
businessinsider.com·3d
🔄Language Evolution
Running Code On a PAX Credit Card Payment Machine
hackaday.com·1d
🔒Secure Boot
How to Buy Verified CashApp Accounts
dev.to·1d·
Discuss: DEV
🔍BitFunnel
The Peril of Conscious AI: Mustafa Suleyman's Warning to Developers
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Seeing the Unseeable: AI Unlocks Neutrino Secrets by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🤖AI Curation
Robots That 'Get' the Real World: Context-Aware AI Planning
dev.to·12h·
Discuss: DEV
🤖AI Curation
AI-Driven Crop Yield Volatility Forecasting via Federated Learning and Hybrid Time Series Analysis
dev.to·22h·
Discuss: DEV
📈Time Series
Smarter Apps with PostHog: Feature Flags & Analytics
dev.to·3d·
Discuss: DEV
🏺ZIP Archaeology
Unleashing AI Reflexes: The Asynchronous Advantage
dev.to·21h·
Discuss: DEV
🔲Cellular Automata
Unlock Effortless Customer Service: Pannalabs.ai and the Voice AI Revolution
dev.to·19h·
Discuss: DEV
🌀Brotli Internals
Unlock the Power of Voice: AI Agents Revolutionizing Customer Experiences with Pannalabs.ai
dev.to·17h·
Discuss: DEV
🎙️Whisper
🔥Mapify: Turn Any Content into Mind Maps with AI
dev.to·3d·
Discuss: DEV
🔗Hypermedia APIs
Multi-VM Blockchain Platform
dev.to·2d·
Discuss: DEV
🏠Homelab Orchestration
Unlocking the Future with AI Agents: A New Era of Automation and Innovation
dev.to·2d·
Discuss: DEV
🤖AI Curation
The Impact of Early-2025 AI on Open-Source Developer Productivity
metr.org·4d·
Discuss: Hacker News
⚡Performance Mythology