Functional Threading “Macros”
aartaka.me·2d
🧠Lisp Dialects
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.org·12h
🎯Performance Proofs
LLM-Guided Evolutionary Program Synthesis for Quasi-Monte Carlo Design
arxiv.org·12h
📼Tape Combinators
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·13h·
Discuss: Hacker News
🔲Cellular Automata
How to Perform Effective Agentic Context Engineering
towardsdatascience.com·9h
⚙️Proof Engineering
A Solution to the Paperclip Problem
link.springer.com·14h·
Discuss: Hacker News
🔲Cellular Automata
From Autocomplete to Agents: Mapping the Design Space of AI Coding Assistants
oreilly.com·1d
📏Code Metrics
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·1d·
Discuss: r/programming
⚡Cache Coherence
Operationalizing Data Minimization for Privacy-Preserving LLM Prompting
arxiv.org·12h
💻Local LLMs
Harnessing LLM for Noise-Robust Cognitive Diagnosis in Web-Based Intelligent Education Systems
arxiv.org·12h
🧠Intelligence Compression
SECA: Semantically Equivalent and Coherent Attacks for Eliciting LLM Hallucinations
arxiv.org·12h
👑Coq Tactics
Adventures on the AI Coding side of things
medium.com·1d·
Discuss: Hacker News
🌍Cultural Algorithms
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1d·
Discuss: DEV
📏Code Metrics
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·12h
✓Automated Theorem Proving
Rewriting History: Aligning AI Through Counterfactual Learning by Arvind Sundararajan
dev.to·10h·
Discuss: DEV
🤖AI Curation
LaDiR: Latent Diffusion Enhances LLMs for Text Reasoning
arxiv.org·12h
💻Local LLMs
Spatial Sense: Extracting the 'Where' and 'How' from Vision-Language Models by Arvind Sundararajan
dev.to·18h·
Discuss: DEV
🌀Hyperbolic Geometry
Token Hidden Reward: Steering Exploration-Exploitation in Group Relative Deep Reinforcement Learning
arxiv.org·12h
🔲Cellular Automata
LLM Data Detox: Erasing the Past for a Brighter AI Future
dev.to·2h·
Discuss: DEV
💻Local LLMs
DiffuSpec: Unlocking Diffusion Language Models for Speculative Decoding
arxiv.org·1d
🎙️Whisper