Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·23h·
Discuss: Hacker News
💻Computer science
Flag this post
Lossless Compression with Asymmetric Numeral Systems (2020)
bjlkeng.io·6h·
Discuss: Hacker News
⚙Hardware design
Flag this post
Evaluating LLMs' Reasoning Over Ordered Procedural Steps
arxiv.org·14h
⚙Low-level programming
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
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
An introduction to computer algebra (2018)
corywalker.me·1d·
Discuss: Hacker News
⚙Low-level programming
Flag this post
To Have Machines Make Math Proofs, Turn Them Into a Puzzle
quantamagazine.org·4h·
Discuss: Hacker News
⚙Low-level programming
Flag this post
The Language of the Master
paulkingsnorth.net·16h
💻Computer science
Flag this post
spectral flow
ncatlab.org·10h
💻Computer science
Flag this post
Context rot: the emerging challenge that could hold back LLM progress
understandingai.org·2h
⚙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
Builder Design Pattern and Cyclomatic Complexity Reduction
johnjr.dev·2h·
Discuss: Hacker News
⚙Low-level programming
Flag this post
Condensation
lesswrong.com·1d
⚙Hardware design
Flag this post
Reasoning Up the Instruction Ladder for Controllable Language Models
arxiv.org·14h
⚙Low-level programming
Flag this post
Where Explanations End
kill-the-newsletter.com·1h
💻Computer science
Flag this post
Language Models Model Language
paperium.net·1d·
Discuss: DEV
⚙Low-level programming
Flag this post
Imperative to Relational
madhadron.com·1d·
Discuss: Lobsters, Hacker News
💻Computer science
Flag this post
On the gradient of the coefficient of the characteristic polynomial
arxiv.org·14h
💻Computer science
Flag this post
Large Language Model-Based Automated Tumor, Node, Metastasis Staging and Resectability Assessment for Pancreatic Cancer in Radiology Reports With Detection of I...
news.google.com·15h
⚙Low-level programming
Flag this post