How I interact with PDFs using Free software and Linux in 2025
neilzone.co.uk·23h
📄PDF Internals
Let’s Make a Tic-Tac-Deal!
thefiddler.substack.com·2d·
Discuss: Substack
🎯Proof Tactics
Job Displacement with AI — Software Engineers → Conductors
kau.sh·1d
⚡Proof Automation
The Faery Tale Adventure: A personal history (medium.com)
dreamertalin.medium.com·1d
🕹️Retro Gaming
Show HN: We used LZMA to encode data into a URL
standardsapplied.com·1d·
Discuss: Hacker News
🌀Differential Geometry
The Absolute Minimum Every Developer Must Know About Unicode and Character Sets
joelonsoftware.com·5d·
Discuss: Hacker News
🔤Character Encoding
[R] A Unified Framework for Continual Semantic Segmentation in 2D and 3D Domains
reddit.com·3d·
Discuss: r/MachineLearning
📝Document Chunking
7 reasons to use Bayesian inference!
statmodeling.stat.columbia.edu·1d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Cold Calculation
kae3g.codeberg.page·1d·
Discuss: Hacker News
⚡Incremental Computation
Hacking a Game Boy Emulator to Output MIDI to Multiple Hardware Synths
dr-schlange.github.io·1d·
Discuss: Hacker News
🎮Gameboy Emulation
I'm looking for contributors for my numerical calculus crate!
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Three Solutions to Nondeterminism in AI
blog.hellas.ai·4d·
Discuss: Hacker News
🎯Performance Proofs
Kurzgesagt - In a Nutshell: AI Slop Is Destroying The Internet
dev.to·3h·
Discuss: DEV
🤖AI Curation
Lost in Translation: When Video AI Doesn't Get the Joke (Or the Culture)
dev.to·21h·
Discuss: DEV
🏛Digital humanities
Automated Anomaly Detection in Time-Series Statistical Spreadsheets via Hyperdimensional Vector Similarity
dev.to·2d·
Discuss: DEV
🔤Character Classification
Integrating OpenAI’s Sora 2 into My Project: How I Built Textideo and Started Earning on the Side
dev.to·57m·
Discuss: DEV
🎙️Whisper
The Alignment Auditor: A Bayesian Framework for Verifying and Refining LLM Objectives
arxiv.org·5d
💻Local LLMs
Automated Agent Calibration via Simulated Reality Feedback Loops for Anomaly Mitigation
dev.to·3h·
Discuss: DEV
⚡Incremental Computation
LLM-Driven Rubric-Based Assessment of Algebraic Competence in Multi-Stage Block Coding Tasks with Design and Field Evaluation
arxiv.org·4d
💻Programming languages
Instructional Goal-Aligned Question Generation for Student Evaluation in Virtual Lab Settings: How Closely Do LLMs Actually Align?
arxiv.org·4d
🧮Prolog Parsing