A Robust Method for Pitch Tracking in the Frequency Following Response using Harmonic Amplitude Summation Filterbank
arxiv.org·14h
🌈Spectral Audio
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
daily quizzz
dev.to·5h·
Discuss: DEV
λLambda Encodings
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
Cactus Language • Syntax 12
inquiryintoinquiry.com·2h
📝Concrete Syntax
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
derived set
ncatlab.org·3h
🧮Algebraic Archives
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
ML in the Home
blog.raymond.burkholder.net·1d
📈Time Series
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
Algebraic Structures in Microtonal Music
arxiv.org·1d
🎼Computational Musicology
Travels, 10
cameroncounts.wordpress.com·3h
🎯Performance Proofs
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·4d·
Discuss: Hacker News, r/programming
💻Programming languages
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Suno 4.5 VS Google’s Lyria 2: Which is Better
dev.to·4h·
Discuss: DEV
🎵Audio Streaming
Using Wavelets and Clustering to Predict Odd or Even Numbers: An Overengineered Approach with Pretty (But Confusing) Plots
dev.to·4h·
Discuss: DEV
🧠Machine Learning
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·10h
⬆️Lambda Lifting
UltraSketchLLM: Saliency-Driven Sketching for Ultra-Low Bit LLM Compression
arxiv.org·1d
🗜️LZW Variants
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization