💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Tinkering with Dongles | Why Framework Needs the DongleHider+ Expansion Card
cubiclenate.com·1d
🖥️Modern Terminals
Forget supercomputers — scientists say a laptop could map the universe in minutes
space.com·23h
⏰Time Crystals
the video lunchbox
computer.rip·3d·
Discuss: Hacker News
📟Terminal Physics
Improving My Dotfiles Posture
benprisby.com·4d·
Discuss: Hacker News
📦Package Managers
How to secure MCP servers with Vault + ToolHive in Kubernetes
dev.to·1h·
Discuss: DEV
📦Container Security
1. Job Roles in Data Analytics (Detailed Overview)
dev.to·1d·
Discuss: DEV
🗺️Competency Maps
Day 97: When Your Operating System Crashes
dev.to·1d·
Discuss: DEV
🔩Systems Programming
BEEP-8: Running C/C++20 on an emulated ARM v4a CPU inside the browser
github.com·3d
🕸️WASM Archives
J-Link RTT for the Masses using Semihosting on ARM
bogdanthegeek.github.io·2d·
Discuss: Hacker News
🔍RISC-V Debug
A Blueprint for AI Integration in Modern Web Applications
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Investigating Student Interaction Patterns with Large Language Model-Powered Course Assistants in Computer Science Courses
arxiv.org·5d
💻Programming languages
I Created a Messenger That Doesn't Send Any Data. Here's How It Works. 💫
dev.to·3d·
Discuss: DEV
🏺Protocol Archaeology
Adaptive Decentralized Control of Simulated Digital Twins in Metaverse Manufacturing
dev.to·4d·
Discuss: DEV
⚡Incremental Computation
Enhanced Polyacrylamide Flocculant Performance via Dynamic Shear-Induced Molecular Reconfiguration
dev.to·3d·
Discuss: DEV
🌊Stream Processing
Looking to get started with self hosting
reddit.com·23h·
Discuss: r/homelab
🏠HomeLab
Teaching AI to Blog: My Journey into Agentic AI Development — Part 2
dev.to·3d·
Discuss: DEV
🏛Digital humanities
Agentic AI has changed my career
medium.com·3d·
Discuss: Hacker News
✨Effect Handlers
Malicious code loophole in Microsoft Agentic AI and Visual Studio closed
heise.de·2d
🔓Hacking
Scaling to Multimodal and Multichannel Heart Sound Classification: Fine-Tuning Wav2Vec 2.0 with Synthetic and Augmented Biosignals
arxiv.org·1d
🎵Audio ML
3DViT-GAT: A Unified Atlas-Based 3D Vision Transformer and Graph Learning Framework for Major Depressive Disorder Detection Using Structural MRI Data
arxiv.org·1d
🌀Riemannian Computing