💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Programming After AI: Why System Boundary Taste Matters
interjectedfuture.com·17h
🕹Emulation Theory
PSA: Collision Detection is an optimization problem and GJK is Frank-Wolfe
cairno.substack.com·18h·
Discuss: Substack
🎯Performance Proofs
Geany 2.1 is out (now with LSP)
geany.org·12h·
Discuss: Hacker News
🔄Language Evolution
Producing Uncompressed PNG Files
nigeltao.github.io·3d·
Discuss: Hacker News
📦Deflate
H-Nets – The Past
goombalab.github.io·1d·
Discuss: Hacker News
🧠Machine Learning
Stack frame layout on x86-64
eli.thegreenplace.net·1d·
Discuss: Hacker News
🔧RISC-V Assembler
LLM world models are mental: Output layer evidence of brittle world model use in LLM mechanical reasoning
arxiv.org·3h
🔲Cellular Automata
Machine Learning Fundamentals: ensemble learning example
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Stop Writing Slow Rust: 20 Rust Tricks That Changed Everything
dev.to·2d·
Discuss: DEV
🦀Rust Macros
I Built an AI That Learns Your Coding Style (VS Code Extension That Reads Your GitHub DNA)
dev.to·13h·
Discuss: DEV
🔄Language Evolution
Scan and resolve fixed GitHub issues and PRs with AI
github.com·5h·
Discuss: Hacker News
🔗Dependency Resolution
Integrating Newton's Laws with deep learning for enhanced physics-informed compound flood modelling
arxiv.org·3h
🧠Learned Compression
Intuitionistic monotone modal logic via translation
arxiv.org·1d
🏗️Constructive Mathematics
Routine: A Structural Planning Framework for LLM Agent System in Enterprise
arxiv.org·3h
⚡Z3 Optimization
Input-leap/input-leap: Open-source KVM software (barrier fork)
github.com·1d·
Discuss: Hacker News
🔌Operating system internals
The .a File Is a Relic: Why Static Archives Were a Bad Idea All Along
medium.com·2d·
Discuss: Hacker News, r/C_Programming
🔗Static Linking
Show HN: Open-source DevOps agent in Rust to secure and manage production infra
github.com·22h·
Discuss: Hacker News
📦Container Security
⚡ Hogwarts Spell Caster: Real-Time Voice Magic with AssemblyAI Universal-Streaming
dev.to·1d·
Discuss: DEV
🎙️Whisper
Conformal Data Contamination Tests for Trading or Sharing of Data
arxiv.org·1d
📰Content Curation
Machine Learning Fundamentals: ensemble learning tutorial
dev.to·1d·
Discuss: DEV
🌊Stream Processing