💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Intel Corporation (INTC) Presents At Goldman Sachs Communicopia + Technology Conference 2025 Transcript
seekingalpha.com·7h
🌊Stream Processing
Modern C, C23 edition, now in print
gustedt.wordpress.com·3d
✅Format Verification
Security Affairs newsletter Round 540 by Pierluigi Paganini – INTERNATIONAL EDITION
securityaffairs.com·1d
🔓Hacking
Anthropic confirms technical bugs after weeks of complaints about declining Claude code quality
the-decoder.com·32m
✨Effect Handlers
Composition in CSS
css-tricks.com·19h
📖Nordic Typography
Racintosh Plus – Rack Mounted Mac Plus
identity4.com·11h·
Discuss: Hacker News
🖥️Vintage Macintosh
Installing DarkPAN Perl Modules via Gitlab
domm.plix.at·1d·
Discuss: Hacker News
📦Package Managers
Esoteric Languages Challenge Coders to Think Way Outside the Box
spectrum.ieee.org·4d·
Discuss: Hacker News, r/programming, r/technews
💻Programming languages
A Curated List of CLI Commands for Google's Gemini CLI Coding Agent
dotgemini.dev·19h·
Discuss: Hacker News
📟CLI Design
Rust for Linux – Encoding the trust of data in the type system
lwn.net·4d·
Discuss: Hacker News
🦀Rust Borrowing
Show HN: CLI constraints as types via parser combinators in TypeScript
optique.dev·5d·
Discuss: Hacker News
🌐Protocol Synthesis
Thoughts on This Snr. Ruby on Rails Interview Question?
news.ycombinator.com·5h·
Discuss: Hacker News
🔧KAITAI
Show HN: Vizza – Interactive, Beautiful Simulations
github.com·8h·
Discuss: Hacker News
🖥️Terminal Renaissance
Scalable Multimodal Data Fusion for High-Throughput Metamaterial Design Optimization
dev.to·1d·
Discuss: DEV
🏛Digital humanities
Quantum Fourier Transform Based Denoising: Unitary Filtering for Enhanced Speech Clarity
arxiv.org·1d
⚛️Quantum Codecs
Virtual panel: How software engineers and team leaders can excel with AI
infoq.com·2d·
Discuss: Hacker News
🗺️Competency Maps
D-HUMOR: Dark Humor Understanding via Multimodal Open-ended Reasoning
arxiv.org·5h
🏛Digital humanities
Go from Zero to a Full-Stack, Type-Safe, Cross-Platform App in Seconds
dev.to·3d·
Discuss: DEV
🔄Language Evolution
Automated Radiographic Total Sharp Score (ARTSS) in Rheumatoid Arthritis: A Solution to Reduce Inter-Intra Reader Variation and Enhancing Clinical Practice
arxiv.org·5h
🏛Digital humanities
QCSE: A Pretrained Quantum Context-Sensitive Word Embedding for Natural Language Processing
arxiv.org·5h
🌳Context free grammars