Proving the Infinitude of Primes in Knuckledragger
philipzucker.com·1d
🧮Theorem Proving
A Practical Guide to Regular Expressions – Learn RegEx with Real Life Examples
freecodecamp.org·14h
🔍RegEx Engines
Mojo Miji – A Guide to Mojo Programming Language from a Pythonista's Perspective
mojo-lang.com·3h·
Discuss: Hacker News
💧Liquid Types
AI Is Great at Parsing
keeb.dev·21h·
Discuss: Hacker News
🧠Learned Codecs
Detecting (Un)answerability in Large Language Models with Linear Directions
arxiv.org·15h
🧮Kolmogorov Complexity
Is sound gradual typing dead? Performance problems in Typed Racket
dl.acm.org·2d·
Discuss: Hacker News
🎯Gradual Typing
Popular Reinforcement Learning algorithms and their implementation (2023)
pub.aimind.so·14h·
Discuss: Hacker News
🔲Cellular Automata
Sonnet 4.5 ranks #25 (below other Claude models) in generating SQL
tinybird.co·1h·
Discuss: Hacker News
📡RSS Automation
Getting Started with AI Agent Development with LangChain & LangGraph: Build an Autonomous Starbucks Agent
dev.to·2d·
Discuss: DEV
🔗Concatenative Programming
General Pruning Criteria for Fast SBL
arxiv.org·15h
⧗Information Bottleneck
Why Chain of Thought Fails in Clinical Text Understanding
arxiv.org·15h
🧮Kolmogorov Complexity
CHRONOBERG: Capturing Language Evolution and Temporal Awareness in Foundation Models
arxiv.org·15h
💻Programming languages
From Embeddings to Equations: Genetic-Programming Surrogates for Interpretable Transformer Classification
arxiv.org·15h
🧠Intelligence Compression
Fine-Grained Detection of Context-Grounded Hallucinations Using LLMs
arxiv.org·15h
🧮Kolmogorov Complexity
The impact of large language models in science
nature.com·2d·
Discuss: Hacker News
💻Local LLMs
Indexical Collapse: How Predictive Systems Make Authority Without Reference
dev.to·2h·
Discuss: DEV
📃Manuscript Tokenization
Beyond Power Laws: Scaling Laws for Next-Token Prediction
francisbach.com·2d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Rebuilding Devin for Claude Sonnet 4.5: Lessons and Challenges
cognition.ai·20m·
Discuss: Hacker News
⚙️TLA+
Show HN: I built a professional PO file translation platform
tranzlyweb.com·8h·
Discuss: Hacker News
🇯🇵Japanese Computing
Closing the Oracle Gap: Increment Vector Transformation for Class Incremental Learning
arxiv.org·15h
🗂️Vector Databases