💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Podcast: Should Companies Decide Our Tech Future?
undark.org·1d
⚖️Emulation Ethics
Leaving the GDAL Project Steering Commitee
sgillies.net·20h·
Discuss: Hacker News
🔓Open Source Software
Here are the new features in macOS Tahoe 26
ghacks.net·7h
🍎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
A Napster Moment for AI?
cepa.org·1d·
Discuss: Hacker News
⚖️Emulation Ethics
rqlite 9.0: Real-Time Change Data Capture for Distributed SQLite
philipotoole.com·3d·
Discuss: Hacker News, Hacker News, r/golang
📝SQLite WAL
Why we haven't seen a Stripe-sized company in analytics
risogroup.co·1d·
Discuss: Hacker News
🔍BitFunnel
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·7h
⚙️DIY Electronics
Microchip LAN969x SoC Going Upstream In Linux 6.18
phoronix.com·13h
🧲RISC-V Preservation
Google now lets you share your custom Gemini AI assistants known as Gems
techcrunch.com·5h
🔄Sync Engine
How to find Daikin Security Gateway devices on your network
runzero.com·1d
🎫Kerberos Exploitation
[KDE] Locally Integrated Menu + Search on both X11 and Wayland!
reddit.com·2d·
Discuss: r/linux
🐧FOSS
[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·9h
🏠Home Automation
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
Day 2:Variables in Python
dev.to·1d·
Discuss: DEV
🔗Concatenative Languages