Array Programming, K Language, Historical Notation, Mathematical Computing

GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·2d
🔗Functional Compilers
Dealing with Eventual Consistency and Idempotency in projections
event-driven.io·9h·
Discuss: r/programming
🌊Stream Processing
Three Solutions to Nondeterminism in AI
blog.hellas.ai·3d·
Discuss: Hacker News
🎯Performance Proofs
Expanding the Action Space of LLMs to Reason Beyond Language
arxiv.org·1d
💻Local LLMs
Show HN: Static builds of popular open source libraries on npmjs.org
github.com·1d·
Discuss: Hacker News
🔓Open Source Software
The Rise of the Knowledge Sculptor: A New Archetype for Knowledge Work in the Age of Generative AI
arxiv.org·1d
🗺️Competency Maps
An enough week
blog.mitrichev.ch·1d·
📈Linear programming
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·3d
🧮Compute Optimization
BanglaLlama: LLaMA for Bangla Language
arxiv.org·3d
🌀Brotli Dictionary
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·1d
🔗Parser Combinators
Show HN: I built a LSP with its own parser to learn Rust
github.com·13h·
Discuss: Hacker News
Dependent Rust
Tech With Tim: How to Build AI Agents in Python
dev.to·1h·
Discuss: DEV
🔲Cellular Automata
Python For Data Engineering
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Aligning Large Language Models via Fully Self-Synthetic Data
arxiv.org·2d
🔗Monadic Parsing
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·1d
🧮Kolmogorov Complexity
AI Just Killed Traditional Coding - Here's What's Next
dev.to·12h·
Discuss: DEV
🌳Incremental Parsing
From Clicks to Code: Building a Production‑Ready EVM Transaction Client (Approve, Mint, Swap, EIP‑1559)
dev.to·1d·
Discuss: DEV
Format Verification
The Custom Conveyor: Building Your Own Iterators
dev.to·13h·
Discuss: DEV
🔄Burrows-Wheeler