⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

New Game On Math Series
guidedmath.wordpress.com·1d
📚Proof Pedagogy
The Art of Saying “No” to Shiny New Tools
brajeshwar.com·18h
🔄Language Evolution
Bitwig Studio 6 details revealed, and editing gets a big boost
cdm.link·1d·
Discuss: Hacker News
🎹MIDI Archaeology
Game Genie declassified: That summer I played 230 Game Boy games
eurogamer.net·2d·
Discuss: Hacker News
🏺Gaming Archaeology
Linux profiling with perf and performance counters – useful links
perfwiki.github.io·4d·
Discuss: Hacker News
⚡Performance Tools
TempleOS
en.wikipedia.org·1d·
Discuss: Hacker News
🔌Operating system internals
DietPi v9.16 has been released
news.ycombinator.com·22h·
Discuss: Hacker News
❄️Nix Flakes
Seed: Interactive software environment based on Common Lisp
github.com·4d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Thioester-mediated RNA aminoacylation and peptidyl-RNA synthesis in water
nature.com·1d
🧬Palindrome Codes
Fragmented SSE Is a Risk You Can’t Afford
blogs.cisco.com·2d
🔐Capability Systems
Kongvisor: A new terminal application for managing Kong gateways
reddit.com·1d·
Discuss: r/golang
📟Terminals
Legacy Learning Strategy Based on Few-Shot Font Generation Models for Automatic Text Design in Metaverse Content
arxiv.org·2d
🔤Font Archaeology
OwlCap: Harmonizing Motion-Detail for Video Captioning via HMD-270K and Caption Set Equivalence Reward
arxiv.org·1d
🧠Learned Codecs
Poxmox server?
reddit.com·1d·
Discuss: r/homelab
🖥Home Lab Setup
NOSTRA: A noise-resilient and sparse data framework for trust region based multi objective Bayesian optimization
arxiv.org·3d
🔍Vector Forensics
01 Getting Started with the Trenz TE0950 Board
hackster.io·1d
⚡Homebrew CPUs
Beyond the terminal: Gemini CLI comes to Zed
developers.googleblog.com·1d
📟Terminals
Gonk - The First Steps and Routing
dev.to·3d·
Discuss: DEV
⚡gRPC
A novel auxiliary equation neural networks method for exactly explicit solutions of nonlinear partial differential equations
arxiv.org·2d
🌀Riemannian Computing
I built Kostudy - An AI-first, fully-featured, open source, universal education web app
dev.to·2d·
Discuss: DEV
🔗Hypermedia APIs