BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·5h
✓Automated Theorem Proving
Show HN: My first finished audio plugin. Minimal Bloat, Under 1000 LOC
news.ycombinator.com·4h·
Discuss: Hacker News
💿FLAC Archaeology
Online activities 6 – 12 October
ests.wordpress.com·1h
🏗️Constructive Mathematics
Know Audio: Distortion Part Two
hackaday.com·16h
🌈Spectral Audio
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·6h·
Discuss: Hacker News
🔲Cellular Automata
Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
Ocean Rendering, Part 1 – Simulation
rtryan98.github.io·2h·
Discuss: Hacker News
🌊Digital Signal Processing
TypeScript Flaws (2024)
intercaetera.com·8h·
Discuss: Hacker News
🎯Gradual Typing
Generalized rational Prony and Bernoulli methods
arxiv.org·5h
🌈Spectral Methods
GPT-5-Codex is a better AI researcher than me
seangoedecke.com·9h
🧠Intelligence Compression
Categorical Invariants of Learning Dynamics
arxiv.org·5h
🕸️Algebraic Topology
[P] Looking to interview people who’ve worked on audio labeling for ML (PhD research project)
reddit.com·1d·
Discuss: r/MachineLearning
🎵Audio ML
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·1d
🔧Hardware Verification
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·1d·
Discuss: Hacker News
🧮Algebraic Datatypes
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·18h·
Discuss: Hacker News
💻Local LLMs
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·5h
🔗Parser Combinators
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.org·5h
🎯Performance Proofs
A multi-platform GPU accelerated library for signal analysis using Apple MLX
byron-the-bulb.github.io·13h·
Discuss: Hacker News
📊Spectrograms
From Matmul to Meaning
evis.dev·7h·
Discuss: Hacker News
📐Linear Algebra
Wave-PDE Nets: Trainable Wave-Equation Layers as an Alternative to Attention
arxiv.org·5h
🌀Differential Geometry