Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·3d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
mkinitcpio v40 released and now in core-testing
lists.archlinux.org·1d·
Discuss: r/archlinux
🔍Reverse Engineering
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
comparia.beta.gouv.fr·1d·
🎯Game Engines
Flag this post
Unified system intelligence: Learning energy strategies for optimizing operations, maintenance, and market outcomes
sciencedirect.com·5h
🚀Performance
Flag this post
Boosting React Performance: A Guide to Optimization
dev.to·14h·
Discuss: DEV
🚀Performance
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·1d
Performance Optimization
Flag this post
Feature Stores 2.0: The Next Frontier of Scalable Data Engineering for AI
hackernoon.com·19h
🚀Performance
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·1d
🌐Network Protocols
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·3h·
Discuss: DEV
🚀Performance
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
Generalizing Test-time Compute-optimal Scaling as an Optimizable Graph
arxiv.org·1d
🔀Parallel Computing
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·2d
🚀Performance
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·2d·
Discuss: Hacker News
💻Programming
Flag this post
Redundancy Maximization as a Principle of Associative Memory Learning
arxiv.org·19h
Performance Optimization
Flag this post
MISA: Memory-Efficient LLMs Optimization with Module-wise Importance Sampling
arxiv.org·1d
Performance Optimization
Flag this post
Explore More, Learn Better: Parallel MLLM Embeddings under Mutual Information Minimization
arxiv.org·1d
🔀Parallel Computing
Flag this post
Show HN: First Principles articles teaching a variety of languages
github.com·1d·
Discuss: Hacker News
🏗️Build Systems
Flag this post
"Melodic Airways Transforming Flight Routes Into Music"
dev.to·16h·
Discuss: DEV
Performance Optimization
Flag this post