Devlog: Godot Game - A Trigger That Reveals Secrets
lmika.org·11h
🎯Proof Tactics
Meta Unveils OpenZL: A New Open Source Data Compression Framework
linuxiac.com·2d
⚡Modern Compression
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·2d
📞Session Types
The Chip That Spoke Lisp
jxself.org·4d
🤖Lisp Machines
Joy & Curiosity #57
registerspill.thorstenball.com·5h
🏺ZIP Archaeology
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·3d
🔗Functional Compilers
YouTube gets ~5% CTR lift on Shorts by replacing embedding tables with Semantic IDs
shaped.ai·2d
📊Feed Optimization
Negatives of Coding with AI
kushgoyal.com·2d·
Discuss: Hacker News
💻Local LLMs
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·1d
📐Mathematical Art
Getting a Hypergraph of Functions to a Browser
systeminit.com·2d·
Discuss: Hacker News
📐E-graphs
Advanced Multiphase Flow Characterization via Hybrid Acoustic-Optical Tomography
dev.to·11h·
Discuss: DEV
🏺Computational Archaeology
Enhancing Underwater Acoustic Communication via Adaptive Beamforming and Deep Learning Noise Cancellation
dev.to·2d·
Discuss: DEV
🎧Learned Audio
Rust is a low-level systems language (not!)
reddit.com·7h·
Discuss: r/rust
🦀Rust Macros
LLMs Learn to Deceive Unintentionally: Emergent Misalignment in Dishonesty from Misaligned Samples to Biased Human-AI Interactions
arxiv.org·2d
🔲Cellular Automata
Dual-stage and Lightweight Patient Chart Summarization for Emergency Physicians
arxiv.org·3d
🌊Stream Processing
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.org·5d
🎯Performance Proofs
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·6d·
Discuss: DEV
📏Code Metrics
Causal Coordination for Distributed Decision-Making
arxiv.org·4d
📡Information theory
Beyond Vector Search: Building a RAG That *Actually* Understands Your Data
dev.to·2d·
Discuss: DEV
🗂️Vector Databases
A Proof of the Riemann Hypothesis
future.forem.com·3d·
Discuss: DEV
🎯Arithmetic Coding Theory