Cactus Language • Pragmatics 7
inquiryintoinquiry.com·1d
💬Philosophy of Language
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·2h·
Discuss: Lobsters, Hacker News
📝NLP
Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)
medium.com·2d·
Discuss: Hacker News
💬Philosophy of Language
Mastering NLP with spaCy – Part 2
towardsdatascience.com·19h
📝NLP
A Library Approach to Constant Template Parameters
brevzin.github.io·32m·
Discuss: Hacker News
🎨Computational Creativity
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·1d
🎲Bayesian Cognition
Constraint Catalog
sofdem.github.io·1d
📝NLP
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·2d·
Discuss: Hacker News
💬Philosophy of Language
Hask Is Not a Category
math.andrej.com·2d·
Discuss: Hacker News
💬Philosophy of Language
Tired of Pydantic? Try These 5 Game-Changing Python Libraries
dev.to·1d·
Discuss: DEV
📝NLP
How to Write Inductive Invariants
quint-lang.org·23h·
Discuss: Lobsters, Hacker News, r/programming
💬Philosophy of Language
Footnotes, Gödel exercises, Purcell
logicmatters.net·2d
💬Philosophy of Language
The Summer of Codex
paylias.xyz·1h·
Discuss: Hacker News
✅Productivity
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
arxiv.org·3d
💬Philosophy of Language
Research Areas in Interpretability (The Alignment Project by UK AISI)
lesswrong.com·1d
🔄Transformers
The Comprehensive Guide to Knowledge Graphs
agilelab.it·1d·
Discuss: Hacker News
📝NLP
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
📝NLP
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·2d·
Discuss: Hacker News
🔄Transformers
The Pragmatic Mind of Machines: Tracing the Emergence of Pragmatic Competence in Large Language Models
arxiv.org·1d
🔄Transformers
Introduction to Supervised Machine Learning for Beginners
github.com·6h·
Discuss: DEV
🎲Bayesian Cognition