Whole-Program Optimization, ML Compiler, Defunctionalization, Performance

Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.comยท1d
โšกfunctional programming
Flag this post
are-dependent-types-actually-erased
chadnauseam.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Dependent Types
Flag this post
Linkers: A 20 Part Series
airs.comยท1dยท
Discuss: Hacker News
๐Ÿ—๏ธMinimal Compilers
Flag this post
r/mathematics
reddit.comยท16hยท
Discuss: r/mathematics
๐Ÿ“Mathematical Computing
Flag this post
Moving regression artificial neural network framework for reliability evaluation of complex structure/system
sciencedirect.comยท15h
๐ŸŒช๏ธV8 TurboFan
Flag this post
Automated Simulation Anomaly Detection via Multi-Modal Graph Analysis and Reinforcement Learning
dev.toยท6hยท
Discuss: DEV
๐ŸŽญErlang OTP
Flag this post
Unlocking AI Potential: Squeezing Giant Models into Tiny Spaces
dev.toยท2dยท
Discuss: DEV
๐Ÿ—บ๏ธRegion Inference
Flag this post
AI Models Write Code with Security Flaws 18โ€“50% of the Time, New Study Finds
medium.comยท1dยท
Discuss: Hacker News
๐ŸŽญProgram Synthesis
Flag this post
Teaching My Team How to Build LINQ from Scratch
dev.toยท15hยท
Discuss: DEV
๐Ÿ“‹Souffle Datalog
Flag this post
Why Multimodal AI Broke the Data Pipeline โ€” And How Daft Is Beating Ray and Spark to Fix It
hackernoon.comยท2d
๐Ÿ—บ๏ธRegion Inference
Flag this post
Spatial Reasoning Unleashed: Causal Language Models for Smarter Spatial Data
dev.toยท21hยท
Discuss: DEV
๐ŸŒฒDeforestation
Flag this post
DPO-F+: Aligning Code Repair Feedback with Developers' Preferences
arxiv.orgยท1d
๐ŸฉบCompiler Diagnostics
Flag this post
Automated Personalized Chemotherapy Optimization via Multi-Modal Data Fusion & Reinforcement Learning
dev.toยท2dยท
Discuss: DEV
โœจEffect Inference
Flag this post
Q-Sat AI: Machine Learning-Based Decision Support for Data Saturation in Qualitative Studies
arxiv.orgยท1h
๐ŸŒฑMinimal ML
Flag this post
Auditable-choice reframing unlocks RL-based verification for open-ended tasks
arxiv.orgยท1h
๐ŸชœRecursive Descent
Flag this post
Optimizing Native Sparse Attention with Latent Attention and Local Global Alternating Strategies
arxiv.orgยท1d
๐ŸชœRecursive Descent
Flag this post