Review: Our Father - Toronto 2025 – Discovery
cineuropa.org·1d
🎞️MKV Analysis
Software–Defined Ground Penetrating Radar Using COTS SDRs and GNU Radio
events.gnuradio.org·3h·
Discuss: Hacker News
📼Cassette Archaeology
Gauss, an Agent for Autoformalization
math.inc·22h·
Discuss: Hacker News, Hacker News
🏛️Agda
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·2d·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
AI tool detects LLM-generated text in research papers and peer reviews
nature.com·1d
⚡Proof Automation
Building personal apps with open source and AI
github.blog·2h
🌱Personal Wikis
I started using NotebookLM’s new quiz tools – and they’re actually great for learning
techradar.com·1d
🧠Personal Knowledge Base
Show HN: Vestaboard MCP – Let Cursor agents create art on your board
github.com·2h·
Discuss: Hacker News
🎞️MKV Internals
The Road To JVM: How To Create A Brainfuck Interpreter
blog.codeminer42.com·22h
🔗Concatenative Programming
Understanding Log Events: Why Context Is Key
thenewstack.io·1d
👁️Observatory Systems
Setting up an Apple Software Update mirror
github.com·2d·
Discuss: Lobsters, Hacker News
🍎Apple Archive
The MacRumors Show: Apple Announces iPhone 17, AirPods Pro 3, and More
macrumors.com·3h
🍎Apple Archive
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·2d
🎯Automata theory
First time doing complete restore process in Proxmox (success)
reddit.com·1d·
Discuss: r/homelab
💿Proxmox HA
Personalized Inhibition Training with Eye-Tracking: Enhancing Student Learning and Teacher Assessment in Educational Games
arxiv.org·1d
🔲Cellular Automata
My Education Track Submission - AI Learning Project
dev.to·7h·
Discuss: DEV
🔌Interface Evolution
Multithreading: Interview Questions and Practice Problems
dev.to·1d·
Discuss: DEV
🌊Stream Processing
How Skello uses Amazon Bedrock to query data in a multi-tenant environment while keeping logical boundaries
aws.amazon.com·1d
🌊Stream Processing
Halfway Through The S21 Global Alliance Database & Investigator Wellbeing Spotlight Session
forensicfocus.com·2d
🔗Data Provenance
Can SSD-Mamba2 Unlock Reinforcement Learning for End-to-End Motion Control?
arxiv.org·2d
🔲Cellular Automata