πŸ”¬ Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

AIAI Seminar-Monday 14th July 2025 by Magdalena Proszewska
informatics.ed.ac.ukΒ·1d
🧠Machine Learning
Learning by Writing . . . and Revising . . .
poetrywithmathematics.blogspot.comΒ·2dΒ·
Discuss: poetrywithmathematics.blogspot.com
πŸ—οΈConstructive Mathematics
AI could be about to completely change the way we do mathematics
newscientist.comΒ·5d
🏴󠁧󠁒󠁳󠁣󠁴󠁿Scottish Computing
Agentic AI Is Quietly Replacing Developers
thenewstack.ioΒ·4h
πŸ”„Language Evolution
Graph foundation models for relational data
research.googleΒ·2dΒ·
Discuss: Hacker News, Hacker News, r/programming
πŸ•ΈοΈGraph Embeddings
Show HN: GrokVocab – I Built a Vocabulary App Without Flashcards or Memorization
grokvocab.comΒ·3hΒ·
Discuss: Hacker News
πŸŒ€Brotli Dictionary
Variadic Generics ideas that won't work for Rust
poignardazur.github.ioΒ·3dΒ·
Discuss: Lobsters, Hacker News, r/programming
πŸ¦€Rust Macros
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.orgΒ·1d
βš™οΈTLA+
Identifiability in Causal Abstractions: A Hierarchy of Criteria
arxiv.orgΒ·3d
✨Effect Handlers
Cactus Language β€’ Stylistics 2
inquiryintoinquiry.comΒ·3d
πŸ’»Programming languages
Beyond the Linear Separability Ceiling
arxiv.orgΒ·1d
🧠Machine Learning
☣︎ Beginner-Friendly Guide: "Reschedule Meetings for Maximum Free Time II" – LeetCode 3440 (C++ | Python | JavaScript)
dev.toΒ·2dΒ·
Discuss: DEV
πŸ”„Graph Rewriting
MoSE: Skill-by-Skill Mixture-of-Expert Learning for Autonomous Driving
arxiv.orgΒ·1d
🧠Intelligence Compression
Learning Deliberately, Acting Intuitively: Unlocking Test-Time Reasoning in Multimodal LLMs
arxiv.orgΒ·2d
🎯Interactive Provers
Adventures in Vibe Coding with AI from a Non-Coder
ozeanmedia.comΒ·1dΒ·
Discuss: Hacker News
⚑Proof Automation
Python Learning Progress for a Japanese Beginner
dev.toΒ·2dΒ·
Discuss: DEV
πŸ“šProof Pedagogy
Taming LLMs: How to Get Structured Output Every Time (Even for Big Responses)
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“Concrete Syntax
Time Series Foundation Models for Multivariate Financial Time Series Forecasting
arxiv.orgΒ·1d
πŸ“ˆTime Series
Bioinformatics in Rust
reddit.comΒ·1dΒ·
Discuss: r/rust
πŸ¦€Rust Macros
Expediting data extraction using a large language model (LLM) and scoping review protocol: a methodological study within a complex scoping review
arxiv.orgΒ·2d
πŸ”„Archival Workflows