Weeknotes: 2025-W34
thomasrigby.com·1d
🧬PostgreSQL Forensics
Evidence of active sound production by a shark
royalsocietypublishing.org·1d·
Discuss: Hacker News
📡Frequency Archaeology
Using Gemini prompts for Suno's Cover/Remix helps unblock creative projects
backpocketmusic.com·10h·
Discuss: Hacker News
🎧Learned Audio
Isn't It Semantic? – BCS
bcs.org·20h·
Discuss: Hacker News
🌱Personal Wikis
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·2d·
Discuss: Lobsters, Hacker News
🔍FPGA Verification
Do I not like Ruby anymore? (2024)
sgt.hootr.club·3h·
Discuss: Hacker News, r/programming
🎯Gradual Typing
Technology Profanes the Sacred
infinitescroll.us·12h·
Discuss: Hacker News
🧲Magnetic Philosophy
Safe Is What We Call Things Later: Some Software Engineering Folklore
worksonmymachine.ai·1d·
Discuss: Hacker News
⚙️Proof Engineering
Walter Writes AI Review
dev.to·6h·
Discuss: DEV
⚡Proof Automation
Caregiver-in-the-Loop AI: A Simulation-Based Feasibility Study for Dementia Task Verification
arxiv.org·6h
🔗Constraint Handling
PediatricsMQA: a Multi-modal Pediatrics Question Answering Benchmark
arxiv.org·1d
🚀SIMD Text Processing
Invisible Filters: Cultural Bias in Hiring Evaluations Using Large Language Models
arxiv.org·6h
🌍Cultural Algorithms
Linear Dynamics meets Linear MDPs: Closed-Form Optimal Policies via Reinforcement Learning
arxiv.org·6h
🔲Cellular Automata
HV Metric For Time-Domain Full Waveform Inversion
arxiv.org·6h
📊Rate-Distortion Theory
A novel auxiliary equation neural networks method for exactly explicit solutions of nonlinear partial differential equations
arxiv.org·6h
🌀Riemannian Computing
Benchmarking the Medical Understanding and Reasoning of Large Language Models in Arabic Healthcare Tasks
arxiv.org·1d
🎵Audio ML
Cetvel: A Unified Benchmark for Evaluating Language Understanding, Generation and Cultural Capacity of LLMs for Turkish
arxiv.org·1d
🌳Context free grammars
DiCache: Let Diffusion Model Determine Its Own Cache
arxiv.org·6h
🧠Machine Learning
PGF-Net: A Progressive Gated-Fusion Framework for Efficient Multimodal Sentiment Analysis
arxiv.org·1d
📝ABNF Parsing
RL Is Neither a Panacea Nor a Mirage: Understanding Supervised vs. Reinforcement Learning Fine-Tuning for LLMs
arxiv.org·1d
💻Local LLMs