Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·1d
⚡functional programming
Show HN: Sovant – Memory that works across OpenAI, Claude and Gemini
sovant.ai·9h·
Discuss: Hacker News
💬Smalltalk VMs
What can go wrong when using database transactions?
mariadbfordevelopers.com·1d·
Discuss: DEV
🧠Memory Models
Lafayette College, OpenAI, AI in Journalism, More: Tuesday Afternoon ResearchBuzz, October 7, 2025
researchbuzz.me·5h
🏠indieweb
Experimental Proof: MENT-Flow Achieves Consistency with MENT Solutions for Beam Reconstruction
hackernoon.com·23h
🔄Loop Optimization
Show HN: Scout QA – Vibe testing for vibe coding
scoutqa.ai·2d·
Discuss: Hacker News
🧪Compiler Testing
OpenAI's Windows Play
stratechery.com·15h
📦Portable Bytecode
How I Used TPM for Key Encryption in Rust (Using Windows APIs)
dev.to·10h·
Discuss: DEV
🏷️Memory Tagging
Building a Command-Line Quiz Application in R
towardsdatascience.com·2d
💬Interactive REPLs
Dragon Hatchling: Neural Network That Thinks Like a Brain (and Runs on Your GPU)
medium.com·13h·
Discuss: Hacker News
🏛️Elm Architecture
I reviewed the GMKtec NucBox M6 Ultra - and this mini PC has serious potential for the price
techradar.com·1d
🖥️Minimal VMs
New comment by debugnik in "A comparison of Ada and Rust, using solutions to the Advent of Code"
news.ycombinator.com·2d·
Discuss: Hacker News
🔒Rust Borrowing
COSMIR: Chain Orchestrated Structured Memory for Iterative Reasoning over Long Context
arxiv.org·21h
🔄Subinterpreters
Automated Spectral Deconvolution & Peak Profiling for Bioprocess Monitoring
dev.to·1d·
Discuss: DEV
✨Effect Inference
CANOPI: Contingency-Aware Nodal Optimal Power Investments with High Temporal Resolution
arxiv.org·21h
⏲️Embedded GC
What If Life Is Just Another Kind of Computer?
zmescience.com·16h
🏛️Elm Architecture
r/LLMleaderboard
reddit.com·11h·
Discuss: r/LLMleaderboard
🏠indieweb
Binary: The Language That Runs the World (and Your Wi-Fi)
dev.to·2d·
Discuss: DEV
📡Binary Protocols
SliceMoE: Routing Embedding Slices Instead of Tokens for Fine-Grained and Balanced Transformer Scaling
arxiv.org·21h
📋JSON Parsing
Schedule-Free Lion Optimizer
github.com·16h·
Discuss: Hacker News
🪜Recursive Descent