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·16h·
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·
Discuss: Hacker News, Hacker News
🎯Game Engines
Flag this post
Boosting React Performance: A Guide to Optimization
dev.to·5h·
Discuss: DEV
🚀Performance
Flag this post
Simple C++ Library for Audio & Image -- Requesting Feedback
github.com·21h·
Discuss: r/cpp
⚙C++
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
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.org·10h
🔀Parallel Computing
Flag this post
Legible vs. Illegible AI Safety Problems
lesswrong.com·18h
🚀Performance
Flag this post
[Research] Cross-Stage Vulnerabilities in Large Language Model Architectures
reddit.com·1d·
Discuss: r/LocalLLaMA
🌐Network Protocols
Flag this post
I made a tensor runtime & inference framework in C (good for learning how inference works)
github.com·2d·
Discuss: r/C_Programming
💻Programming
Flag this post
10 AI Coding Patterns That'll Make You Look Like a Wizard 🧙‍♂️
dev.to·17h·
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
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.org·1d
🌐Network Protocols
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
github.com·16h·
Discuss: r/webdev
💻Programming
Flag this post
Building a Smart Task Tracker Agent for Telex.im with ASP.NET Core
dev.to·4h·
Discuss: DEV
🌐Network Protocols
Flag this post
Between Rules and Meaning: Building a Website That Understands Language
dev.to·13h·
Discuss: DEV
🌐Network Protocols
Flag this post
Contrastive Knowledge Transfer and Robust Optimization for Secure Alignment of Large Language Models
arxiv.org·2d
⚡Performance Optimization
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