💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Java Shell User's Guide
docs.oracle.com·1d·
Discuss: Hacker News
🐚Shell Monads
C++26: range support for std:optional
sandordargo.com·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
💧Liquid Types
Satisfaction of Render Pipelines
azeemba.com·7h·
Discuss: Lobsters, Hacker News
🌊Stream Processing
Talking about the Future of AI in Law with David Wakeling
artificialinvestment.substack.com·1d·
Discuss: Substack
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
The Linus Method: How we simiplifed RFC reviews
devashish.me·2d·
Discuss: Hacker News
⚙️Proof Engineering
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
Show HN: I built a SaaS in 8 weeks, solo, using our own AI platform
zine.ai·2d·
Discuss: Hacker News
🚀Indie Hacking
Unveiling the Power of Queues: A Journey into Data Structures and Algorithms
dev.to·3d·
Discuss: DEV
⚡Cache Theory
Show HN: Twoway, a Go package for HPKE encrypted request-response flows
github.com·4d·
Discuss: Hacker News, r/golang
🔑Cryptographic Protocols
Building a Custom MCP Server in Continue: A Step-by-Step Guide
dev.to·2d·
Discuss: DEV
📻Homebrew Protocols
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
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·2d
⚙️Compression Benchmarking
🚀 Week 3 – Spring Data JPA & CRUD Operations in Spring Boot
dev.to·2d·
Discuss: DEV
🌊Streaming Databases
RedTWIZ: Diverse LLM Red Teaming via Adaptive Attack Planning
arxiv.org·3d
⚔️Lean Tactics
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·3h·
Discuss: DEV
📊Multi-vector RAG
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·4d·
Discuss: Hacker News, r/neovim
🔗Lisp