Digital Forensics Round-Up, June 25 2025
forensicfocus.com·4h
🔬Archive Forensics
Experimenting with Apple’s AI models inside Shortcuts
sixcolors.com·2h
⚡Proof Automation
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·1d
📏Linear Logic
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·3h·
Discuss: DEV
✓Automated Theorem Proving
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
Deciding Termination of Simple Randomized Loops
arxiv.org·1d
🌳Persistent Data Structures
Amplifying Machine Learning Attacks Through Strategic Compositions
arxiv.org·1d
⚔️Lean Tactics
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·3h·
Discuss: Substack
🦀Rust Macros
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·2h·
Discuss: DEV
🌊Stream Processing
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·21h·
Discuss: DEV
🔗Concatenative Programming
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver
Ormer: A Manipulation-resistant and Gas-efficient Blockchain Pricing Oracle for DeFi
arxiv.org·14h
🔗Hash Chains
NTRL: Encounter Generation via Reinforcement Learning for Dynamic Difficulty Adjustment in Dungeons and Dragons
arxiv.org·14h
🔲Cellular Automata
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Elmo's World NP-complete problem (2006)
blog.plover.com·1d·
Discuss: Hacker News
🧮SMT Solvers
Cost-Effective Optimization and Implementation of the CRT-Paillier Decryption Algorithm for Enhanced Performance
arxiv.org·1d
🔢Bitwise Algorithms
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
Reinforcement Learning Teachers of Test Time Scaling
sakana.ai·2d·
Discuss: Hacker News
⚔️Lean Tactics
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·2h
💻Local LLMs