Alias and references as localized macros
gustedt.wordpress.com·18h·
Discuss: Hacker News
🦀Rust Macros
Real-Time AI-Powered DDoS Detection
timeplus.com·15h·
Discuss: Hacker News
🕵️Network Forensics
Beating the L1 cache with value speculation (2021)
mazzo.li·1d·
Discuss: Lobsters, Hacker News
⚡CPU Microarchitecture
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·3d·
Discuss: Hacker News
🎯Interactive Provers
Automated Harmonic Oscillation Analysis via Multi-Modal Data Fusion and Predictive Modeling
dev.to·3d·
Discuss: DEV
✨Algebraic Effects
Fast Leave-One-Out Approximation from Fragment-Target Prevalence Vectors (molFTP) : From Dummy Masking to Key-LOO for Leakage-Free Feature Construction
arxiv.org·3h
🧮SMT Solvers
BioAutoML-NAS: An End-to-End AutoML Framework for Multimodal Insect Classification via Neural Architecture Search on Large-Scale Biodiversity Data
arxiv.org·3h
🧠Machine Learning
Adventures on the AI Coding side of things
medium.com·1d·
Discuss: Hacker News
🌍Cultural Algorithms
MedReflect: Teaching Medical LLMs to Self-Improve via Reflective Correction
arxiv.org·1d
💻Local LLMs
Disclosure and Evaluation as Fairness Interventions for General-Purpose AI
arxiv.org·3h
✨Effect Handlers
The fragility of "cultural tendencies" in LLMs
arxiv.org·3h
🧮Theoretical Computer Science
CARE: Cognitive-reasoning Augmented Reinforcement for Emotional Support Conversation
arxiv.org·3h
🔲Cellular Automata
A Conformal Prediction-Based Chance-Constrained Programming Approach for 24/7 Carbon-Free Data Center Operation Scheduling
arxiv.org·1d
🎯Performance Proofs
SALAD: Self-Adaptive Link Adaptation
arxiv.org·3h
⧗Information Bottleneck
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·2d
🧮Kolmogorov Complexity
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·1d·
Discuss: DEV
⚡SMT Applications
Forecasting-Based Biomedical Time-series Data Synthesis for Open Data and Robust AI
arxiv.org·1d
📈Time Series
Teaching LLM to be Persuasive: Reward-Enhanced Policy Optimization for Alignment frm Heterogeneous Rewards
arxiv.org·1d
🔍Information Retrieval
Evaluating LLM Safety Across Child Development Stages: A Simulated Agent Approach
arxiv.org·3h
💻Programming languages
Curriculum-Augmented GFlowNets For mRNA Sequence Generation
arxiv.org·1d
🔨Compilers