💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Bloom and Rage: design ruminations
blog.zarfhome.com·1d
🏺Gaming Archaeology
Asciinema CLI 3.0 rewritten in Rust, adds live streaming, upgrades file format
blog.asciinema.org·2d·
Discuss: Lobsters, Hacker News, r/linux, r/rust
🕸️WASM Archives
It's survey time! How has Go has been working out for you?
go.dev·1d·
Discuss: Hacker News
👁️System Observability
OPNsense® 25.7 Released
deciso.com·4d·
Discuss: Hacker News
🔌Interface Evolution
Threat of Bay Area dry lightning lessens as hot spell begins to fade
mercurynews.com·7h
📡Feed Security
Leaving clients with more than a Figma file: a guide to design system handoff documentation
thoughtbot.com·1d
🦋Format Metamorphosis
Making a Laptop with a Mechanical Keyboard
hackaday.com·1d
⌨️Mechanical Keyboards
#4 From CNN Training to EfficientNet, Let’s Talk About OpenCV
dev.to·9h·
Discuss: DEV
🧠Learned Compression
Data Fusion and Machine Learning for Ship Fuel Consumption Modelling -- A Case of Bulk Carrier Vessel
arxiv.org·1d
🧠Machine Learning
Automate advanced agentic RAG pipeline with Amazon SageMaker AI
aws.amazon.com·5d
🔄Archive Workflows
A Quick Look At The AMD Instinct MI355X With ROCm 7.0
phoronix.com·10h·
Discuss: r/LocalLLaMA
🎯Emulator Accuracy
Primed Attention: Sharpening Transformers for Time Series Forecasting by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
📈Time Series
Enhancing Thermoelectric Performance in CNT-Polymer Composites via Anisotropic Alignment and Gradient Doping
dev.to·1h·
Discuss: DEV
🔧Cassette Engineering
How We Built a Private, On-Device AI That Runs Entirely in Your Browser
dev.to·3d·
Discuss: DEV
🌐WASI
Tooling for Maintaining YAML Files
stuartellis.name·3d
📦Package Managers
10 Must-Know SQL Queries for Business Use Cases
dev.to·17h·
Discuss: DEV
🚀Query Optimization
Emulating Public Opinion: A Proof-of-Concept of AI-Generated Synthetic Survey Responses for the Chilean Case
arxiv.org·2d
🌍Cultural Algorithms
Scaling Arabic Medical Chatbots Using Synthetic Data: Enhancing Generative AI with Synthetic Patient Records
arxiv.org·2d
🎙️Whisper
Spectral Bottleneck in Deep Neural Networks: Noise is All You Need
arxiv.org·2d
👂Psychoacoustic Coding
Arabic Large Language Models for Medical Text Generation
arxiv.org·2d
📋Document Grammar