Composing pure Haskell assertions
blog.ploeh.dk·13m
⚖️Verification Calculi
First Look at Verdent, an Autonomous Coding Agent From China
thenewstack.io·1d
⚡Proof Automation
What's New in PostgreSQL 18 – A Devel
bytebase.com·16h·
Discuss: Hacker News
🗄️PostgreSQL WAL
The Effects of Abacus Training on Cognitive Functions and Neural Systems
pmc.ncbi.nlm.nih.gov·1d·
Discuss: Hacker News
🔲Cellular Automata
I've used Node.js for years, but I never really knew how it worked. So I went down the rabbit hole.
medium.com·17h
🌳Incremental Parsing
Anisotropic Scaling in Indiana Jones and the Great Circle and Doom the Dark Ages
martinfullerblog.wordpress.com·2d·
Discuss: Hacker News
🌈Color Archaeology
Linux 6.17 Gets Ready For Release With Intel Panther Lake & More Performance
phoronix.com·2d
🔌Operating system internals
How Tridge Reverse Engineered BitKeeper
lwn.net·2d·
Discuss: Hacker News
🏺ZIP Archaeology
Go (Golang) Basic (Bonus) Three Advanced Function Techniques
dev.to·1d·
Discuss: DEV
🎯Proof Tactics
Polysemous Language Gaussian Splatting via Matching-based Mask Lifting
arxiv.org·4h
🧮Kolmogorov Complexity
A week with Claude Code: lessons, surprises and smarter workflows
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Implementing Emergent Tool Synthesis in Multi-Agent AI Systems for Dynamic Problem Solving
dev.to·1d·
Discuss: DEV
⚡Proof Automation
PwrSvg – SVG rendering in Windows Terminal via Sixel, built by copilot
github.com·10h·
Discuss: Hacker News
📸PNG Optimization
From College Project to 400 GitHub Stars: The Story of AIJack
medium.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Linuxiac Weekly Wrap-Up: Week 39 (Sep 22 – 28, 2025)
linuxiac.com·8h
🔓Open Source Software
Cycle is All You Need: More Is Different
arxiv.org·4h
🔲Cellular Automata
Quantum Compiler Optimization: Adaptive Gate Decomposition via Reinforcement Learning for Reduced Circuit Depth
dev.to·1d·
Discuss: DEV
⚛️Quantum Compilers
Mini PC only stays up a few days
reddit.com·1h·
Discuss: r/homelab
💾Persistent Memory
Adaptive Camouflage: How Adversarial AI is Redefining Data Security by Arvind Sundararajan
dev.to·10h·
Discuss: DEV
🔍Vector Forensics
Universal Solution to Kronecker Product Decomposition
arxiv.org·4h
📐Linear Algebra