💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·4d
📺VT100
Java Shell User's Guide
docs.oracle.com·1d·
Discuss: Hacker News
🐚Shell Monads
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.com·5d
🔓Decompilation
Talking about the Future of AI in Law with David Wakeling
artificialinvestment.substack.com·1d·
Discuss: Substack
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Air: A Pioneering AI-First Python Web Framework – Audrey.feldroy.com
audrey.feldroy.com·3d·
Discuss: Hacker News
🌀Brotli Internals
Kubernetes 1.34 Features Explained
scaleops.com·3d·
Discuss: Hacker News
📦Container Security
Beyond the AI Hype: Guido van Rossum on Python's Philosophy, Simplicity, and Th
odbms.org·2d·
Discuss: Lobsters, Hacker News
📊APL Heritage
6 AI Models vs. 3 Advanced Security Vulnerabilities
codelens.ai·1d·
Discuss: r/programming
🏠Homelab Pentesting
Three Solutions to Nondeterminism in AI
blog.hellas.ai·4d·
Discuss: Hacker News
🎯Performance Proofs
You Can't Mock Reality: Testing a 3D Rendering Pipeline in Blender
medium.com·3d·
Discuss: Hacker News
🎯Emulator Accuracy
🚀 Week 3 – Spring Data JPA & CRUD Operations in Spring Boot
dev.to·2d·
Discuss: DEV
🌊Streaming Databases
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·3d·
Discuss: DEV
🗄️Database Internals
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·2d·
Discuss: Hacker News
⚡Proof Automation
The Alignment Waltz: Jointly Training Agents to Collaborate for Safety
arxiv.org·2d
🔲Cellular Automata
InferenceMAX – open-source Inference Frequent Benchmarking
github.com·2d·
Discuss: Hacker News
⚡Performance Mythology
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·2d
⚙️Compression Benchmarking
RedTWIZ: Diverse LLM Red Teaming via Adaptive Attack Planning
arxiv.org·3d
⚔️Lean Tactics
Node.js vs Go in Practice: Performance Comparison of chaos-proxy and chaos-proxy-go
dev.to·1d·
Discuss: DEV
⚡gRPC
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com·5d·
Discuss: Hacker News, r/neovim
🔗Lisp
Building an AI-Powered Lead Gen Workflow with n8n, Apify, and Gemini
dev.to·2d·
Discuss: DEV
🤖Archive Automation