💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

OpenBSD Errata Released for X11 Server and Kernel Pledge
discoverbsd.com·28m
🐡OpenBSD
Cross-compiling Common Lisp for Windows
fosskers.ca·3d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
How to Write Complex Queries in Apache Spark SQL Using CTE (WITH Clause)
hackernoon.com·1d
🧮Algebraic Datatypes
How to Do Autocomplete
bonsai.io·1d·
Discuss: Hacker News
📋Document Grammar
Show HN: EliteSaaS – Self-Contained SaaS Starter (Auth, Billing, Email, Launch)
elitesaas.dev·1d·
Discuss: Hacker News
🚀Indie Hacking
AI is Anti-Human (and assorted qualifications)
njump.me·11h·
Discuss: Hacker News
⚖️Emulation Ethics
Rust in the Linux kernel: part 2
lwn.net·3d·
Discuss: Hacker News, r/programming
🦀Rust Borrowing
​​Accelerating Cloud Cryptography: Optimizing AWS-LC with Intel’s AVX-512
infosecwriteups.com·2d
⚡SIMD Optimization
Ivanti EPM RCE via .NET Remoting Deserialization (CVE-2024-29847)
dev.to·2h·
Discuss: DEV
🤖Network Automation
A learning experience with NetworkManager and zbus
dev.to·1d·
Discuss: DEV
🦀Embedded Rust
Void System: Plugins Create the World, AI Helps It Evolve
dev.to·16h·
Discuss: DEV
🎙️Whisper
Linux from the developer's perspective. Part 1 - C language introduction
dev.to·2d·
Discuss: DEV
🔩Systems Programming
Preconditioned Conjugate Gradient for MIMO-AFDM System
arxiv.org·5h
📐Linear Algebra
Hilarious Guide to Python Libraries: Meet the Machine Learning Family 😂
dev.to·14h·
Discuss: DEV
🗂️Vector Databases
Ask r/kubernetes: What are you working on this week?
reddit.com·23h·
Discuss: r/kubernetes
🔩Systems Programming
Structured Attention Matters to Multimodal LLMs in Document Understanding
arxiv.org·1d
🤖Advanced OCR
Day 1 of 7 – Learnings from “Learn React with TypeScript ” by Carl Rippon.
dev.to·1d·
Discuss: DEV
🎯Gradual Typing
AWS Weekly Roundup: Project Rainier, Amazon CloudWatch investigations, AWS MCP servers, and more (June 30, 2025)
aws.amazon.com·17h
🌊Streaming Systems
ECMAScript 2025 Language Specification
tc39.es·4d·
Discuss: Hacker News
🎯Gradual Typing
My 8-Hour Reality Check: Coding with DeepSeek-R1-0528
dev.to·2d·
Discuss: DEV
🎯Emulator Accuracy