💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Algebra Problems of the Day (Algebra Regents, June 2025 Part II)
mrburkemath.blogspot.com·19h·
Discuss: www.blogger.com
📐Linear Algebra
From Kernel to Cloud: Open Source Takes On Security Trade-Offs
linuxinsider.com·2d
📦Container Security
Determinism
theprogrammersparadox.blogspot.com·17h·
Discuss: theprogrammersparadox.blogspot.com
🐚Shell Calculus
Exploiting zero days in abandoned hardware
blog.trailofbits.com·1d·
Discuss: Hacker News
🔒Secure Boot
Meta-Prompting: Using LLMs to Improve How You Prompt LLMs
rkayg.com·2d·
Discuss: Hacker News
⚡Proof Automation
Safe Cell field projection in Rust (2020)
abubalay.com·5d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
What Is a Query Folding in Power BI and Why should You Care?
towardsdatascience.com·15h
🧠Query Planners
Building a Game Engine Solo – Lessons Learned, Bad Decisions, and Surprising Wins
coffeecupentertainment.com·1d·
Discuss: Hacker News, r/programming
🖥️Terminal Renaissance
Scavenger Malware Distributed via ESLint-Config-Prettier NPM Package Hack
invokere.com·5d·
Discuss: Hacker News
📦Container Security
Why I Do Programming
esafev.com·5h·
Discuss: Hacker News
🔩Systems Programming
The Mythical Machine-Month Paradox – How much could AI change programming?
tucson-josh.com·18h·
Discuss: Hacker News
📏Code Metrics
thinking to go with a cheaper alt to wiz, what y'all think?
reddit.com·2d·
Discuss: r/kubernetes
🔍eBPF
Understanding Prompt Programming Tasks and Questions
arxiv.org·2d
🔗Concatenative Programming
🛠️ FastAPI in Production: Build, Scale & Deploy - Series B : Services, Queues & Containers
dev.to·3d·
Discuss: DEV
🔌Archive APIs
Nonlinear Framework for Speech Bandwidth Extension
arxiv.org·3d
👁️Perceptual Coding
Build and deploy MCP servers in minutes with a TypeScript template
dev.to·2d·
Discuss: DEV
⚡gRPC
What Vibe Coding Actually Looks Like for a Senior Engineer
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Benefits and pitfalls of Vibe coding: navigating the AI-assisted era
dev.to·1d·
Discuss: DEV
✨Effect Handlers
ChatGPT Agents are useless, Deep Dive into the World of ChatGPT Agents 🤖
dev.to·1d·
Discuss: DEV
⚡Proof Automation
PDB-Eval: An Evaluation of Large Multimodal Models for Description and Explanation of Personalized Driving Behavior
arxiv.org·1d
🌀Differential Geometry