Handbook of Satisfiability (2021)
iospress.com·3h·
Discuss: Hacker News
📐Formal Methods
Flag this post
From hours to seconds: AI tools to detect animal calls
seangoedecke.com·8h·
Discuss: Hacker News
📈Time Series ML
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·4h·
Discuss: Substack
💻Programming languages
Flag this post
Viruses of the Mind
grokipedia.com·2h·
Discuss: Hacker News
📊Economic Theory
Flag this post
How to Build Your First MCP Server using FastMCP
hackernoon.com·2d
📮Message Queues
Flag this post
Research roundup: 6 cool science stories we almost missed
arstechnica.com·22h
🔄Async Rust
Flag this post
AI and Intuition
theheasman.com·17h·
Discuss: Hacker News
🔮Forecasting Models
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
jneurosci.org·56m·
Discuss: Hacker News
💻Programming languages
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·1d·
Discuss: Hacker News
💻Programming languages
Flag this post
Nonlinear dynamics of multi-omics profiles during human aging
nature.com·1d·
Discuss: Hacker News
📈Timeseries
Flag this post
Jackknife Transmittance and MIS Weight Estimation
momentsingraphics.de·18h·
Discuss: Hacker News
⚡SIMD Optimization
Flag this post
Open Catalyst Project
opencatalystproject.org·9h·
Discuss: Hacker News
💹Rust Finance
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·16h·
Discuss: Substack
⚡SIMD Optimization
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
intuitmachine.medium.com·1d·
Discuss: Hacker News
📊Economic Theory
Flag this post
Best Digital Marketing Institute in Allahabad – Ndmit Prayagraj
ndmit.com·9h·
Discuss: Hacker News
📈Time Series ML
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·5h·
Discuss: Hacker News
💻Programming languages
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·4m·
Discuss: Hacker News
📐Formal Methods
Flag this post
Yes, you should understand backprop (2016)
karpathy.medium.com·10h·
Discuss: Hacker News
📈Time Series ML
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·2d·
Discuss: Hacker News
🐻Polars
Flag this post
Principles of Epistemology (2025, essay)
alexpeek.org·16h·
Discuss: Hacker News
📐Formal Methods
Flag this post