Cactus Language • Pragmatics 7
inquiryintoinquiry.com·1d
💬Philosophy of Language
Linear Types for Programmers
twey.io·2h·
Discuss: Hacker News
💬Philosophy of Language
Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)
medium.com·3d·
Discuss: Hacker News
💬Philosophy of Language
Mastering NLP with spaCy – Part 2
towardsdatascience.com·23h
📝NLP
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·6h·
Discuss: Lobsters, Hacker News
📝NLP
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·1d
🎲Bayesian Cognition
Constraint Catalog
sofdem.github.io·1d
📝NLP
A Library Approach to Constant Template Parameters
brevzin.github.io·4h·
Discuss: Hacker News, r/cpp
🎨Computational Creativity
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·3d·
Discuss: Hacker News
💬Philosophy of Language
Tired of Pydantic? Try These 5 Game-Changing Python Libraries
dev.to·1d·
Discuss: DEV
📝NLP
Footnotes, Gödel exercises, Purcell
logicmatters.net·2d
💬Philosophy of Language
How to Write Inductive Invariants
quint-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
💬Philosophy of Language
The Summer of Codex
paylias.xyz·5h·
Discuss: Hacker News
✅Productivity
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 Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
arxiv.org·3d
💬Philosophy of Language
Swiss to launch open source Large Language Model
lenews.ch·51m
📝NLP
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
📝NLP
One long weekend with nothing on is all that stands between me and deciding it would be a fun project to write my own home automation system from scratch
bsky.app·3h·
Discuss: Bluesky
✅Productivity