Mental arithmetic really stresses me out and science has proved it
bbc.comยท8h
๐Ÿ“ˆEntropy Estimation
How different AI engines generate and cite answers
searchengineland.comยท2d
๐Ÿค–AI Curation
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.comยท2dยท
๐Ÿ“Linear Algebra
Bitcoin Core 30.0
bitcoincore.orgยท22hยท
Discuss: Hacker News
๐ŸงฌBitstream Evolution
The Health Effects of Electromagnetic Radiation
huijzer.xyzยท1dยท
๐Ÿ“„PostScript
Experimenting with ACL2 and Claude Code
mikedodds.orgยท2dยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Nostr and ATProto (2024)
shreyanjain.netยท22hยท
Discuss: Hacker News
๐Ÿ“กFeed Archaeology
Mathematical model of memory suggests 7 senses are optimal
skoltech.ruยท3dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Show HN: I built a video-to-text tool โ€“ 10 min free daily, no signup
harku.ioยท2dยท
Discuss: Hacker News
๐ŸŽตAudio Streaming
Sorting encrypted data without decryption: a practical trick
dev.toยท2dยท
Discuss: DEV
๐Ÿ”Hash Functions
Kurzgesagt - In a Nutshell: AI Slop Is Destroying The Internet
dev.toยท3hยท
Discuss: DEV
๐Ÿค–AI Curation
Prompting Test-Time Scaling Is A Strong LLM Reasoning Data Augmentation
arxiv.orgยท3h
๐Ÿ“Linear Logic
How to Manage Translations With (and Without) Artificial Intelligence
dev.toยท13hยท
Discuss: DEV
๐Ÿค–AI Translation
Beyond Grid-Locked Voxels: Neural Response Functions for Continuous Brain Encoding
arxiv.orgยท3d
๐Ÿง Neural Codecs
Automated Spectral Anomaly Detection via Hyperdimensional Pattern Mapping in Transient Absorption Spectroscopy
dev.toยท3dยท
Discuss: DEV
๐ŸŒˆSpectroscopy
Show HN: Orchestro โ€“ Trello for Claude Code with Kanban Board
github.comยท15hยท
Discuss: Hacker News
๐Ÿ”„Sync Engine
Get RICH or Die Scaling: Profitably Trading Inference Compute for Robustness
arxiv.orgยท4d
๐Ÿง Intelligence Compression
Kurzgesagt - In a Nutshell: AI Slop Is Destroying The Internet
dev.toยท19hยท
Discuss: DEV
๐Ÿ“ฐContent Curation
Evaluating the Sensitivity of LLMs to Harmful Contents in Long Input
arxiv.orgยท5d
๐Ÿ“ABNF Extensions
AgenticAD: A Specialized Multiagent System Framework for Holistic Alzheimer Disease Management
arxiv.orgยท3h
๐Ÿ”ฒCellular Automata