BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·10h
✓Automated Theorem Proving
Show HN: My first finished audio plugin. Minimal Bloat, Under 1000 LOC
news.ycombinator.com·8h·
Discuss: Hacker News
💿FLAC Archaeology
Online activities 6 – 12 October
ests.wordpress.com·5h
🏗️Constructive Mathematics
The Mondrian introduction to functional optics
marcosh.github.io·4h·
Discuss: Hacker News
⟷Bidirectional Programming
DCP-o-matic • Re: LtRt Matrix Decoder
dcpomatic.com·46m
💿FLAC Archaeology
The Chip That Spoke Lisp
jxself.org·2h
🤖Lisp Machines
Know Audio: Distortion Part Two
hackaday.com·21h
🌈Spectral Audio
Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
Ocean Rendering, Part 1 – Simulation
rtryan98.github.io·6h·
Discuss: Hacker News
🌊Digital Signal Processing
Generalized rational Prony and Bernoulli methods
arxiv.org·10h
🌈Spectral Methods
Latency vs. Accuracy for LLM Apps — How to Choose and How a Memory Layer Lets You Win Both
dev.to·3h·
Discuss: DEV
⚡Performance Mythology
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·11h·
Discuss: Hacker News
🔲Cellular Automata
Categorical Invariants of Learning Dynamics
arxiv.org·10h
🕸️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
TypeScript Flaws (2024)
intercaetera.com·13h·
Discuss: Hacker News
🎯Gradual Typing
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·22h·
Discuss: Hacker News
💻Local LLMs
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·1d·
Discuss: Hacker News
🧮Algebraic Datatypes
Experimental Proof: MENT-Flow Achieves Consistency with MENT Solutions for Beam Reconstruction
hackernoon.com·13h
🧠Learned Codecs
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·10h
🔗Parser Combinators