Grammarly says its AI agent can predict an A paper
theverge.com·12h·
Discuss: r/technews
⚡Proof Automation
Physics+ Brachistochrone: UNIZOR.COM - Physics+ 4 All - Variations
unizor.blogspot.com·10h·
Discuss: www.blogger.com
⚙Backus-Naur Form
The mathematics of “are we there yet?”
mathwithbaddrawings.com·15h
📐Mathematical Art
The Constraint Satisfaction Problem Over Multisorted Cores
arxiv.org·21h
🎨Graph Coloring
The Dogs in Pursuit Problem
theguardian.com·10h·
Discuss: Hacker News
λLambda Encodings
A Better Vocabulary for Testing
alperenkeles.com·2d·
Discuss: Lobsters, r/compsci, r/programming
🔍Concolic Testing
Beyond Booleans
overreacted.io·3d·
Discuss: Lobsters, r/javascript, r/programming, r/typescript
🔲Proof Irrelevance
UAV-VL-R1: Generalizing Vision-Language Models via Supervised Fine-Tuning and Multi-Stage GRPO for UAV Visual Reasoning
arxiv.org·21h
📊Quantization
CURE: Critical-Token-Guided Re-concatenation for Entropy-collapse Prevention
arxiv.org·21h
🔗Concatenative Programming
Interoperability in 2025: Beyond the Erlang VM
elixir-lang.org·4h·
Discuss: Lobsters, Hacker News
🔒Linear Types
Let's Talk About AI Workflows
rkayg.com·7h·
Discuss: Hacker News
🗣️Domain-Specific Languages
Allee Synaptic Plasticity and Memory
arxiv.org·21h
🔲Cellular Automata
Why Semantic Spacetime (SST) is the answer to rescue property graphs
mark-burgess-oslo-mb.medium.com·10h·
Discuss: Lobsters
🔄Graph Rewriting
Tabularis Formatus: Predictive Formatting for Tables
arxiv.org·21h
📋Document Grammar
The Python Learning Journey: From Beginner Confusion to Advanced Mastery
dev.to·5h·
Discuss: DEV
📚Proof Pedagogy
Multiple Reachability in Linear Dynamical Systems
arxiv.org·3d
🔄Finite State Machines
Can We Tell if ChatGPT is a Parasite? Studying Human-AI Symbiosis with Game Theory
arxiv.org·21h
🔲Cellular Automata
AI coding: plateauing but also accelerating
ghiculescu.substack.com·18h·
Discuss: Substack
📏Code Metrics
ASP-Completeness Proofs of Puzzles Using the T-Metacell Framework
arxiv.org·21h
🧮SMT Solvers
The joy of recursion, immutable data, and pure functions: Generating mazes with JavaScript
jrsinclair.com·16h·
Discuss: Hacker News
λLambda Formalization