Automating Boundary Filling in Cubical Type Theories
arxiv.org·22h
🧮SMT Solvers
In Support Of Shitty Types
lucumr.pocoo.org·8h·
Discuss: Lobsters, Hacker News
📘Typescript
How Teen Mathematician Hannah Cairo Disproved a Major Conjecture in Harmonic Analysis
scientificamerican.com·10h
🧮SMT Solvers
Pairing-unfriendly curves
johndcook.com·6h
🌳Data Structures
The Generativity Pattern in Rust
arhan.sh·8h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Compiler Internals
Steering LLM Agents: Temperaments or Personalities?
lesswrong.com·1h
🆕New AI
Jane Austen was a satirist – why isn’t she treated like one?
theconversation.com·14h
🏛️Politics
Constructive Disintegration and Conditional Modes
arxiv.org·22h
💻Programming languages
SAT Requires Exhaustive Search
link.springer.com·6h·
Discuss: Hacker News
🧮SMT Solvers
Depth=2
tristanpemble.com·7h·
Discuss: Hacker News
💻Programming languages
ChatGPT and the Meaning of Life: Guest Post by Harvey Lederman
scottaaronson.blog·16m
🎭Claude
Thinking Deeply About Theming and Color Naming
css-tricks.com·13h
🔤Typography
A Baby's Guide to Anthropics
linch.substack.com·12h·
Discuss: Substack
🎭Claude
Import AI 423: Multilingual CLIP; anti-drone tracking; and Huawei kernel design
importai.substack.com·17h·
Discuss: Substack
🆕New AI
Do LLMs produce texts with "human-like" lexical diversity?
arxiv.org·22h
📋Text Quality
Startup update 15: Scraping PDFs is still hard
moderndescartes.com·22h
🪄Prompt Engineering
On “Cornelius Cardew : A Life Unfinished”
thelithole.com·10h
🏛️Politics
Who Am I in the Eye of AI?
lightcapai.medium.com·8h·
Discuss: Hacker News
🎭Claude
You know more Finnish than you think
dannybate.com·7h·
Discuss: Hacker News
📝Text Parsing
Theories on dark matter's origins point to 'mirror world' and universe's edge
phys.org·12h
⚛️Physics