Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·1d·
Discuss: Hacker News
💻Computer science
Flag this post
Lossless Compression with Asymmetric Numeral Systems (2020)
bjlkeng.io·14h·
Discuss: Hacker News
Hardware design
Flag this post
Evaluating LLMs' Reasoning Over Ordered Procedural Steps
arxiv.org·22h
Low-level programming
Flag this post
The Secret Life of Python: Generator Secrets - Functions That Remember
dev.to·4h·
Discuss: DEV
Low-level programming
Flag this post
The Implication of Malloy in Analytics
fromanengineersight.substack.com·7h·
Discuss: Substack
💻Computer science
Flag this post
Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·1d·
Discuss: Hacker News
Low-level programming
Flag this post
7 unusual programming languages that are worth taking a look at
howtogeek.com·1d
Low-level programming
Flag this post
To Have Machines Make Math Proofs, Turn Them Into a Puzzle
quantamagazine.org·12h·
Discuss: Hacker News
Low-level programming
Flag this post
An introduction to computer algebra (2018)
corywalker.me·2d·
Discuss: Hacker News
Low-level programming
Flag this post
Just know stuff (or, how to achieve success in a machine learning PhD) (2023)
kidger.site·2d·
Discuss: Hacker News
💻Computer science
Flag this post
spectral flow
ncatlab.org·18h
💻Computer science
Flag this post
Language Models Model Language
paperium.net·1d·
Discuss: DEV
Low-level programming
Flag this post
Letting the Tiger out of Its Cage: Bosonic Coding without Concatenation
journals.aps.org·3h
Hardware design
Flag this post
Cracking the Code: Why AI Still Struggles with List Languages by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
Low-level programming
Flag this post
Where Explanations End
kill-the-newsletter.com·9h
💻Computer science
Flag this post
Condensation
lesswrong.com·1d
Hardware design
Flag this post
Reasoning Up the Instruction Ladder for Controllable Language Models
arxiv.org·22h
Low-level programming
Flag this post
Builder Design Pattern and Cyclomatic Complexity Reduction
johnjr.dev·11h·
Discuss: Hacker News
Low-level programming
Flag this post
Context rot: the emerging challenge that could hold back LLM progress
understandingai.org·11h
Low-level programming
Flag this post
On the gradient of the coefficient of the characteristic polynomial
arxiv.org·22h
💻Computer science
Flag this post