Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·15h·
Discuss: Hacker News
💻Computer science
Flag this post
Evaluating LLMs' Reasoning Over Ordered Procedural Steps
arxiv.org·6h
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
Condensation
lesswrong.com·16h
Hardware design
Flag this post
Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·16h·
Discuss: Hacker News
Low-level programming
Flag this post
7 unusual programming languages that are worth taking a look at
howtogeek.com·19h
Low-level programming
Flag this post
An introduction to computer algebra (2018)
corywalker.me·1d·
Discuss: Hacker News
Low-level programming
Flag this post
The Language of the Master
paulkingsnorth.net·8h
💻Computer science
Flag this post
spectral flow
ncatlab.org·2h
💻Computer science
Flag this post
Language Models Model Language
paperium.net·1d·
Discuss: DEV
Low-level programming
Flag this post
Just know stuff (or, how to achieve success in a machine learning PhD) (2023)
kidger.site·1d·
Discuss: Hacker News
💻Computer science
Flag this post
Reasoning Up the Instruction Ladder for Controllable Language Models
arxiv.org·6h
Low-level programming
Flag this post
Imperative to Relational
madhadron.com·23h·
💻Computer science
Flag this post
On the gradient of the coefficient of the characteristic polynomial
arxiv.org·6h
💻Computer science
Flag this post
Derek Elkins: Umbral Calculus
hedonisticlearning.com·11h
💻Computer science
Flag this post
Model-Based GUI Automation (Springer SoSyM)
link.springer.com·16h·
Discuss: Hacker News
Low-level programming
Flag this post
We’re In a New Everything-Is-Connected Epoch. But What to Call It?
nytimes.com·1h
💻Computer science
Flag this post
The Metastasize of Templating in Declarative Language
fromanengineersight.substack.com·15h·
Discuss: Substack
Low-level programming
Flag this post
Three Kinds Of Ontological Foundations
lesswrong.com·11h
Hardware design
Flag this post