💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

nvk: blackwell support
airlied.blogspot.com·11h·
Discuss: airlied.blogspot.com
🖥️Modern Terminals
Hunting Fileless Malware
windowsir.blogspot.com·1d·
Discuss: www.blogger.com
🦠Malware Analysis
Test Methodology for Percona TDE Performance Test
andreas.scherbaum.la·1d
🗄️PostgreSQL WAL
Week 26 – 2025
thisweekin4n6.com·2d
🏺Kerberos Archaeology
New NSA/CISA Report Again Urges the Use of Memory-Safe Programming Language
it.slashdot.org·2d
📜Proof Carrying Code
MAME 0.278
mamedev.org·17h·
Discuss: Hacker News
🕹️Game Preservation
IG Follower Export Tool
instracker.io·5h·
Discuss: Hacker News
🗜️LZW Variants
The race to make AI as multilingual as Europe
thenextweb.com·1d·
Discuss: Hacker News
🎙️Whisper
The Story of Mel
users.cs.utah.edu·2d·
Discuss: Hacker News
⚔️Lean Tactics
Ask HN: What's the 2025 stack for a self-hosted photo library with local AI?
news.ycombinator.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Embracing the power of the empty set in API design: Requesting zero items
devblogs.microsoft.com·1d·
Discuss: Hacker News
λLambda Formalization
Show HN: Local LLM Notepad – run a GPT-style model from a USB stick
github.com·21h·
Discuss: Hacker News
🕸️WASM Archives
A Modern Blueprint for Digital Insurance Transformation
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
The Internet Facebook, ChatGPT, Tiktok & Google Don't Want You To See
hackernoon.com·1d
🔗Blockchain Archives
Zoi: A Universal Package Manager (Seeking Contributors!)
reddit.com·1d·
Discuss: r/golang
📦Package Managers
FairI Tales: Evaluation of Fairness in Indian Contexts with a Focus on Bias and Stereotypes
arxiv.org·17h
🌍Cultural Computing
VAP-Diffusion: Enriching Descriptions with MLLMs for Enhanced Medical Image Generation
arxiv.org·17h
🤖Advanced OCR
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1751072274118800）
dev.to·3d·
Discuss: DEV
🌐Network Protocols
Call My Agent 🤖
dev.to·3d·
Discuss: DEV
⚙️TLA+
Random Initialization Can't Catch Up: The Advantage of Language Model Transfer for Time Series Forecasting
arxiv.org·1d
🎙️Whisper