Extract speaker notes from PowerPoint to text
dri.es·1d
📜Palimpsest Analysis
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·20h
💎Information Crystallography
Where is Mathematics Going? Large Language Models and Lean Proof Assistant
hackaday.com·2d
⚙️Proof Engineering
Offensive OSINT s05e10 - Interactive investigative stories part 1
offensiveosint.io·2d
🌐WARC Forensics
'Battleship'-style math can improve sustainable design, groundwater management, nuclear waste storage and more
phys.org·15h
📐Mathematical Art
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·1d·
Discuss: Hacker News
🔢Reed-Solomon Math
IASC: Interactive Agentic System for ConLangs
arxiv.org·1d
🌳Context free grammars
MeteoSaver LLM based software for the transcription of historical weather data
egusphere.copernicus.org·22h·
Discuss: Hacker News
📰Feed Readers
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·17h·
Discuss: Hacker News
🎯Performance Proofs
A gentle introduction to Generative AI: Historical perspective
medium.com·5h·
Discuss: Hacker News
🧠Learned Codecs
Let's Write a Macro in Rust
hackeryarn.com·14h·
Discuss: Hacker News
🦀Rust Macros
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·11h·
Discuss: Hacker News
🔗Concatenative Programming
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·1d
⛪Church Encoding
The Custom Conveyor: Building Your Own Iterators
dev.to·2h·
Discuss: DEV
🔄Burrows-Wheeler
To MD - Convert PDFs, Word, HTML and more to Markdown
tomd.io·23h·
Discuss: Hacker News
🔄Migration Tools
My First Week of Vibecoding
underreacted.leaflet.pub·3h·
Discuss: Hacker News
🎯Gradual Typing
Show HN: I wrote an eBook about building modern UI components without JavaScript
theosoti.com·2d·
Discuss: Hacker News
⟷Bidirectional Programming
Prompt Engineering Templates That Work: 7 Copy-Paste Recipes for LLMs
kdnuggets.com·1d
🎯Proof Tactics
A Manifesto for the Programming Desperado
github.com·14h·
Discuss: Hacker News
💻Programming languages
Curriculum Learning with Synthetic Data for Enhanced Pulmonary Nodule Detection in Chest Radiographs
arxiv.org·1d
👁️OCR Enhancement