Show HN: Lore Engine – Turn 10-hour lectures into 2 hours of comprehensive notes
github.com·1d·
Discuss: Hacker News
📄Document Streaming
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🧮Theorem Proving
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·1d
⚡Proof Automation
Weeknotes #345 — Bath full of bricks
andrewdoran.uk·1d
🎯Content Recommendation
Larry Sanger – Nine Theses on Wikipedia
larrysanger.org·11h·
Discuss: Hacker News
🕸️Knowledge Graphs
Steve Jobs Signed 1988 NExt Inc. Memo Autograph Founder CEO
yourownmuseum.com·14h·
Discuss: Hacker News
🍎Apple Computing
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
Offensive OSINT s05e10 - Interactive investigative stories part 1
offensiveosint.io·2d
🌐WARC Forensics
Streamline enterprise artifact management with GitLab
about.gitlab.com·3d
🔗Supply Chain
To MD - Convert PDFs, Word, HTML and more to Markdown
tomd.io·21h·
Discuss: Hacker News
🔄Migration Tools
When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.com·1d
🔲Cellular Automata
Closer to production quality Python notebooks with `marimo check`
marimo.io·3d·
Discuss: Hacker News
✅Archive Validation
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·6h·
Discuss: Hacker News
⚡Proof Automation
Roman grave marker found in New Orleans yard left there by US soldier’s granddaughter
theguardian.com·19h
📡DNS Archaeology
Paper2Agent: Research Papers as Interactive AI Agents
huggingface.co·13h·
Discuss: Hacker News
🤖AI Curation
Teotihuacan Murals May Reveal a 2k-Year-Old Written Language
discovermagazine.com·1d·
Discuss: Hacker News
🗝️Paleocryptography
Scientists May Have Decoded the Mysterious Language of a Lost City
popularmechanics.com·16h
🗝️Paleocryptography
Computable Babylonian Diaries Project
christopherwolfram.com·14h·
Discuss: Hacker News
📜Digital Philology
A practical case on why we need the humanities
acoup.blog·1d·
Discuss: Hacker News
🏛Digital humanities
A gentle introduction to Generative AI: Historical perspective
medium.com·4h·
Discuss: Hacker News
🧠Learned Codecs