💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

What is "PhD-Level Intelligence"?
blog.computationalcomplexity.org·1d·
Discuss: blog.computationalcomplexity.org
🤖AI Curation
Challenges You Will Face When Parsing PDFs with Python
theseattledataguy.com·3d·
Discuss: Hacker News
📄PDF Archaeology
Forgotten Internet: The Story of Email
hackaday.com·22h
📟Historical Protocols
Setting Up and Configuring LibreSDR B210/B220 AD9361 on Windows and Linux
gainsec.com·1d·
Discuss: Hacker News
🔬Floppy imaging
Gauss, an Agent for Autoformalization
math.inc·6d·
Discuss: Hacker News, Hacker News, Hacker News
🏛️Agda
Report: Apple's new N1 chip at Broadcom level – no 320 MHz
heise.de·1d
🚀RISC-V Vector
JSON prompts bring more control to vibe coding
vibe.forem.com·2d·
Discuss: DEV
✨Effect Handlers
A terrifying, self-replicating malwaere has infected npm packages with over 2 million downloads per week - here's how to stay safe
techradar.com·1d
💿WORM Storage
🔥 Finally finished ManjaroWizard: the ultimate post-install setup script for Manjaro Linux! Dev tools, Browsers, Gaming, Security, all in one interactive menu 🚀...
github.com·4d·
Discuss: r/archlinux, r/linux
🔌Operating system internals
CodeRabbit Adds CLI Support to Code Review Platform Based on AI
devops.com·2d
🚀Indie Hacking
Don't Let Your Mocks Mock You
revontulet.dev·5d·
Discuss: Hacker News
🧪Binary Fuzzing
Cloudflare's Self-DDoS Outage: How a Simple React Bug Knocked Out the Dashboard
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
Decoupling Search and Learning in Neural Net Training
arxiv.org·2d
🧠Learned Indexing
Gradient Free Deep Reinforcement Learning With TabPFN
arxiv.org·2d
🔲Cellular Automata
Federated Recommender System with Data Valuation for E-commerce Platform
arxiv.org·2d
🎯Content Recommendation
AI-Powered Investing: Leveling the Wall Street Playing Field by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🤖AI Curation
Prediction and Causality of functional MRI and synthetic signal using a Zero-Shot Time-Series Foundation Model
arxiv.org·1d
🧠Machine Learning
Democratizing Robotics: AI-Powered Robot Design for Everyone
dev.to·23h·
Discuss: DEV
🤖AI Curation
Pod requests are driving me nuts
reddit.com·2d·
Discuss: r/kubernetes
🌊Streaming Systems
Deutsche Bank Aktiengesellschaft (DB) Presents at Bank of America 30th Annual Financials CEO Conference 2025 Transcript
seekingalpha.com·3h
📋PREMIS Events