💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

XProc tips and tricks
so.nwalsh.com·1d
⚡Proof Automation
Geany 2.1 is out (now with LSP)
geany.org·17h·
Discuss: Hacker News
🔄Language Evolution
The Data Room App (thedataroom.app)
djpardis.medium.com·1d·
Discuss: Hacker News
🚀Indie Hacking
A Practical Comparison of AI Coding Agents
jaredforsyth.com·15h·
Discuss: Hacker News
🔐Capability Systems
Stack frame layout on x86-64
eli.thegreenplace.net·1d·
Discuss: Hacker News
🔧RISC-V Assembler
Rethinking CLI Interfaces for AI
notcheckmark.com·2d·
Discuss: Lobsters, Hacker News
🔒WASM Capabilities
Scan and resolve fixed GitHub issues and PRs with AI
github.com·10h·
Discuss: Hacker News
🔗Dependency Resolution
SAFT: Structure-Aware Fine-Tuning of LLMs for AMR-to-Text Generation
arxiv.org·1d
📋Document Grammar
LLM world models are mental: Output layer evidence of brittle world model use in LLM mechanical reasoning
arxiv.org·9h
🔲Cellular Automata
DARE: Diverse Visual Question Answering with Robustness Evaluation
arxiv.org·9h
🏛Digital humanities
From Semantics, Scene to Instance-awareness: Distilling Foundation Model for Open-vocabulary Situation Recognition
arxiv.org·9h
🎙️Whisper
Input-leap/input-leap: Open-source KVM software (barrier fork)
github.com·2d·
Discuss: Hacker News
🔌Operating system internals
Integrating Newton's Laws with deep learning for enhanced physics-informed compound flood modelling
arxiv.org·9h
🧠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·9h
⚡Z3 Optimization
⚡ Hogwarts Spell Caster: Real-Time Voice Magic with AssemblyAI Universal-Streaming
dev.to·1d·
Discuss: DEV
🎙️Whisper
Machine Learning Fundamentals: ensemble learning tutorial
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Show HN: Open-source DevOps agent in Rust to secure and manage production infra
github.com·1d·
Discuss: Hacker News
📦Container Security
Conformal Data Contamination Tests for Trading or Sharing of Data
arxiv.org·1d
📰Content Curation
The .a File Is a Relic: Why Static Archives Were a Bad Idea All Along
medium.com·3d·
Discuss: Hacker News, r/C_Programming
🔗Static Linking