Three Steps Forward
shirtpocket.com·7h
🔌Interface Evolution
Footnotes to the week: Zen painting, the size of sets, Maddy
logicmatters.net·4d
🏗️Constructive Mathematics
Quantifying Love: A Data Analysis of the Many Names of Love in Arabic Poetry
quantifiedcuriosities.com·1d·
Discuss: Hacker News
🔤Morphological Analysis
Geometric and physical interpretation of the action principle
nature.com·1d·
Discuss: Hacker News
📚Archival Mathematics
Ruby Executes JIT Code: The Hidden Mechanics Behind the Magic
railsatscale.com·1d·
Discuss: Hacker News
🚀JIT Compilation
Rust compiler performance survey 2025 results
blog.rust-lang.org·21h·
Discuss: Hacker News, r/rust
🦀Rust Macros
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·22h·
Discuss: Hacker News
🌀Brotli Internals
Stop writing CLI validation. Parse it right the first time
hackers.pub·4d·
Discuss: Lobsters, Hacker News, r/programming, r/typescript
🛡️CLI Security
Mathematicians Find GPT-5 Makes Critical Errors in Original Proof Generation
science.slashdot.org·2d
📐Proof Assistants
Best AI Coding Tools for Rust Projects: IDEs vs Terminals
shuttle.dev·1d·
Discuss: Hacker News
⚡Proof Automation
Is using constructor in golang a bad pattern?
reddit.com·1d·
Discuss: r/golang
🔧Binary Parsing
The Adonai Algorithm
dev.to·4d·
Discuss: DEV
🎨Graph Coloring
Large Language Muddle
nplusonemag.com·6h
🏛Digital humanities
LLM Chat Scraper – AI Share URL Extractor
github.com·10h·
Discuss: Hacker News
📰Feed Readers
Turbocharge Your Go Microservices: Memory Optimization Made Simple
dev.to·2d·
Discuss: DEV
🧠Memory Allocators
A Maslow-Inspired Hierarchy of Engagement with AI Model
arxiv.org·17h
🔲Cellular Automata
Language Native Lightly Structured Databases for Large Language Model Driven Composite Materials Research
arxiv.org·1d
🗂️Vector Databases
Neurocognitive Modeling for Text Generation: Deep Learning Architecture for EEG Data
arxiv.org·17h
🤖Advanced OCR
Another Turn, Better Output? A Turn-Wise Analysis of Iterative LLM Prompting
arxiv.org·1d
✨Effect Handlers
CTourLLM: Enhancing LLMs with Chinese Tourism Knowledge
arxiv.org·17h
🔍Information Retrieval