The Chip That Spoke Lisp
jxself.orgΒ·21h
πŸ€–Lisp Machines
Remove Watermark from Video Online – AI Video Watermark Remover
video-watermark-remover.comΒ·1dΒ·
Discuss: Hacker News
🎞️MKV Forensics
Automated Content Marketing at Spotify
engineering.atspotify.comΒ·2dΒ·
Discuss: Hacker News
πŸ“ŠFeed Optimization
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.comΒ·2dΒ·
Discuss: r/programming
⚑Cache Coherence
Technical Explanations Why LLMs Use Em Dashes
msukhareva.substack.comΒ·2dΒ·
Discuss: Substack
βš™οΈCompression Benchmarking
A rubber duck, even on acid, won't take your job
spikepuppet.ioΒ·1dΒ·
Discuss: Hacker News
🏴󠁧󠁒󠁳󠁣󠁴󠁿Scottish Computing
Stumbling into AI: Part 5β€”Agents
rmoff.netΒ·1dΒ·
Discuss: Hacker News
⚑Proof Automation
Distilling Reasoning into Student LLMs: Local Naturalness for Selecting Teacher Data
arxiv.orgΒ·1d
πŸ’»Local LLMs
When AI Gets Persuaded, Humans Follow: Inducing the Conformity Effect in Persuasive Dialogue
arxiv.orgΒ·1d
πŸ”²Cellular Automata
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.orgΒ·1d
βœ“Automated Theorem Proving
Seeing the Bigger Picture: 3D Latent Mapping for Mobile Manipulation Policy Learning
arxiv.orgΒ·1d
πŸŒ€Riemannian Computing
Everything you need to know about AI this week
dev.toΒ·3dΒ·
Discuss: DEV
🧠Intelligence Compression
Geometric Properties of Neural Multivariate Regression
arxiv.orgΒ·6d
πŸ“Information Geometry
LLM-Guided Evolutionary Program Synthesis for Quasi-Monte Carlo Design
arxiv.orgΒ·1d
πŸ“ΌTape Combinators
Scalable Ground Station Selection for Large LEO Constellations
arxiv.orgΒ·1d
πŸ•ΈοΈNetwork Topology
Lightweight Prompt Engineering for Cognitive Alignment in Educational AI: A OneClickQuiz Case Study
arxiv.orgΒ·1d
πŸ€–AI Curation