This one Excel symbol will change how you write formulas
makeuseof.com·21h
📇Symbol Tables
Sampling at Negative Temperature
cavendishlabs.org·1d·
Discuss: Hacker News
🔗Lexical Scoping
Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·12h
⚡functional programming
Battering down the doors - this $50 hacking kit is enough to break Intel and AMD's toughest chip defenses, so be on your guard
techradar.com·14h
📏Linear Memory
Securing CUPS with Role-Based Access Control (RBAC)
dev.to·8h·
Discuss: DEV
🔐Capability Protocols
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·1d
🎲Parser Fuzzing
Cost Efficient Fairness Audit Under Partial Feedback
arxiv.org·4h
⚖️Weighted Automata
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.org·4h
📏Linear Logic
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.org·4h
🌱Minimal ML
The Compiler's Secret: How Coroutines Actually Work
dev.to·17h·
Discuss: DEV
🔄Coroutines
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·1d
🧩Constraint Solvers
Relative Code Comprehensibility Prediction
arxiv.org·4h
🎮Language Ergonomics
Your-Deployments-Are-Stuck-in-the-Past-The-Lost-Art-of-the-Hot-Restart
dev.to·3h·
Discuss: DEV
📡Erlang BEAM
Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
arxiv.org·4h
🎭Program Synthesis
Unified Unsupervised Anomaly Detection via Matching Cost Filtering
arxiv.org·4h
✨Effect Inference
Farewell-to-Framework-Bloat-How-I-Rediscovered-Simplicity-Without-Sacrificing-Performance
dev.to·5h·
Discuss: DEV
📦Monorepos
Small Language Models for Emergency Departments Decision Support: A Benchmark Study
arxiv.org·4h
🌱Minimal ML
LegalSim: Multi-Agent Simulation of Legal Systems for Discovering Procedural Exploits
arxiv.org·4h
🎭Racket Modules
From Noisy Traces to Stable Gradients: Bias-Variance Optimized Preference Optimization for Aligning Large Reasoning Models
arxiv.org·4h
⚡Partial Evaluation
Partial Information Decomposition via Normalizing Flows in Latent Gaussian Distributions
arxiv.org·4h
🌱Minimal ML