How to Use Zorn's Lemma
gowers.wordpress.com·1d·
Discuss: Hacker News
⚔️Lean Theorem
Flag this post
Incentivizing Consistent, Effective and Scalable Reasoning Capability in Audio LLMs via Reasoning Process Rewards
arxiv.org·1d
🎵Audio ML
Flag this post
Swift Sings: MDX-Net Vocal Splits and RVC Voice Conversion On-Device with ONNX/CoreML
web.navan.dev·1d
🎧Learned Audio
Flag this post
More on √π
alexkritchevsky.com·6h
📐Mathematical Art
Flag this post
Weekly Challenge: The one about arrays
dev.to·1d·
Discuss: DEV
📊APL Heritage
Flag this post
CRYPT: synthesiser plugin
vitling.xyz·2d
🎹MIDI Archaeology
Flag this post
10-26-building-the-rope-operation-for-tensorrent-hardware at Clehaxze
clehaxze.tw·21h
SIMD Vectorization
Flag this post
Show HN: Rethinking the Interface for Vibe Coding
mauriciogomes.com·15h·
Discuss: Hacker News
🔌Interface Evolution
Flag this post
Clojure Runs ONNX AI Models Now - Join the AI fun!
dragan.rocks·1d·
Discuss: Hacker News
🌳Context free grammars
Flag this post
Note on the Construction of Structure Tensor
arxiv.org·2h
🌈Spectral Methods
Flag this post
Unsplittable Cost Flows from Unweighted Error-Bounded Variants
arxiv.org·1d
🧮Algebraic Datatypes
Flag this post
Solver for hydrodynamic sensitivity analysis of wave-structure interactions
sciencedirect.com·18h·
Discuss: Hacker News
🌀Differential Geometry
Flag this post
Nonmonotonic Logic
cambridge.org·13h·
Discuss: Hacker News
🔬Logic in Computer Science
Flag this post
Turing Machine Visualization (2016)
turingmachine.io·8h·
Discuss: Hacker News
🎞️Tape Combinatorics
Flag this post
Show HN: I made an additive synth with 10k oscillators
melatonin.dev·2d·
Discuss: Hacker News
🎛️Audio Synthesis
Flag this post
Understanding Type-Based Alias Analysis in C and C++
kdab.com·19h·
Discuss: Hacker News
🔒Type Safety
Flag this post
Additive Models Explained: A Computational Complexity Approach
arxiv.org·1d
🧮Kolmogorov Complexity
Flag this post
HiFi-HARP: A High-Fidelity 7th-Order Ambisonic Room Impulse Response Dataset
arxiv.org·1d
👂Psychoacoustic Coding
Flag this post
Enhanced Spectral Decomposition for High-Dimensional Bio-Signal Classification
dev.to·5h·
Discuss: DEV
🌈Spectral Methods
Flag this post
Think Twice: Branch-and-Rethink Reasoning Reward Model
arxiv.org·2h
Incremental Computation
Flag this post