💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Podcast: Should Companies Decide Our Tech Future?
undark.org·1d
⚖️Emulation Ethics
Here are the new features in macOS Tahoe 26
ghacks.net·9h
🍎Apple Archive
A more precise way to edit the genome
news.mit.edu·1d
🧬Copy Number Variants
Why We're Building Stategraph: Terraform State as a Distributed Systems Problem
stategraph.dev·1d·
Discuss: Lobsters, Hacker News
🤝Distributed Consensus
rqlite 9.0: Real-Time Change Data Capture for Distributed SQLite
philipotoole.com·3d·
Discuss: Hacker News, Hacker News, r/golang
📝SQLite WAL
Check Point and Nutanix Advance Cloud Network Security
blog.checkpoint.com·2d
🏠Homelab Security
Package for http Response buffering
reddit.com·3d·
Discuss: r/golang
⚡gRPC
PCBs the Prehistoric Way
hackaday.com·9h
⚙️DIY Electronics
Microchip LAN969x SoC Going Upstream In Linux 6.18
phoronix.com·15h
🧲RISC-V Preservation
We’re investing in connectivity, products and skills for Africa’s AI future
blog.google·21h
🌍Cultural Computing
Google now lets you share your custom Gemini AI assistants known as Gems
techcrunch.com·7h
🔄Sync Engine
[KDE] Locally Integrated Menu + Search on both X11 and Wayland!
reddit.com·2d·
Discuss: r/linux
🐧FOSS
Benicia residents told to conserve water after line is damaged
mercurynews.com·21h
💻Local first
[D] How to best fine-tune a T5 model for a Seq2Seq extraction task with a very small dataset?
reddit.com·3d·
Discuss: r/MachineLearning
⚙️Compression Benchmarking
3 ways ChatGPT can help keep your house clean and organized - but you'll still need to do the dirty work
techradar.com·11h
🏠Home Automation
Hybrid Fuzzy Logic Adaptive Control for Robotic Swarm Navigation in Uncertain Terrain
dev.to·3d·
Discuss: DEV
🔲Cellular Automata
Adaptive Edge-Native Accelerated Packet Inspection via Reinforcement Learning
dev.to·3d·
Discuss: DEV
🎯Threat Hunting
Tech Stack Choices for Scalable Centralized Crypto Exchange Development?
dev.to·2d·
Discuss: DEV
🤝Distributed Consensus
Automated DSL Optimization for Spiking Neural Network Hardware Synthesis
dev.to·4d·
Discuss: DEV
🧠Neural Codecs
RECAP: Transparent Inference-Time Emotion Alignment for Medical Dialogue Systems
arxiv.org·2d
🎙️Whisper