Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·3d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
How a Nix flake made our polyglot stack (and new dev onboarding) fast and sane
fiveonefour.com·8h·
Discuss: Hacker News
🏗️Build Systems
Flag this post
mkinitcpio v40 released and now in core-testing
lists.archlinux.org·1d·
Discuss: r/archlinux
🔍Reverse Engineering
Flag this post
LangChain Might Be the New WordPress of AI
designveloper.com·3d·
Discuss: r/programming
🚀Performance
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
comparia.beta.gouv.fr·1d·
Discuss: Hacker News, Hacker News
🎯Game Engines
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·1d
⚡Performance Optimization
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·1d
🌐Network Protocols
Flag this post
Generalizing Test-time Compute-optimal Scaling as an Optimizable Graph
arxiv.org·1d
🔀Parallel Computing
Flag this post
Amelie 0.7.0 is out with support of User-Defined Functions
github.com·1d·
Discuss: Hacker News
🔀Parallel Computing
Flag this post
I Built a "Jumpstart" System for Claude Code - 3-Minute Setup, Production Agents, Honest Cost Analysis
reddit.com·2d·
Discuss: r/LocalLLaMA
💻Programming
Flag this post
Regularization Through Reasoning: Systematic Improvements in Language Model Classification via Explanation-Enhanced Fine-Tuning
arxiv.org·22h
🚀Performance
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·2d·
Discuss: Hacker News
💻Programming
Flag this post
I just created go-picker: a small Go library for picking values from maps, typically parsed JSON.
github.com·1d·
Discuss: r/golang
🌐Network Protocols
Flag this post
Show HN: First Principles articles teaching a variety of languages
github.com·1d·
Discuss: Hacker News
🏗️Build Systems
Flag this post
Auditable-choice reframing unlocks RL-based verification for open-ended tasks
arxiv.org·22h
🎮Game Optimization
Flag this post
Building a Smart Task Tracker Agent for Telex.im with ASP.NET Core
dev.to·16h·
Discuss: DEV
🌐Network Protocols
Flag this post
"Melodic Airways Transforming Flight Routes Into Music"
dev.to·20h·
Discuss: DEV
⚡Performance Optimization
Flag this post
ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus
arxiv.org·1d
🚀Performance
Flag this post
Simple rule of thumb for deciding code architecture?
reddit.com·2d·
Discuss: r/godot
🎯Game Engines
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
github.com·2d·
Discuss: Hacker News
🔍Reverse Engineering
Flag this post