Not quite checkmate yet - thousands of Chess.com fans may have had details stolen in cyberattack, here's what we know
techradar.com·7h
🔓Hacking
<p>I saw someone online mention <a href="https://www.zo.computer">Zo Computer</a> so I though I&rsquo;d give it a try. Asked it to produce a Go function based o...
lmika.org·22h
🧮Z3 Solver
LumaTeam/Luma3DS
github.com·22h
🎮Cartridge Dumping
InvisiCaps: Giving Capabilities to C Pointers
fil-c.org·10h·
Discuss: Hacker News
🦀Rust Verification
The (sometimes rocky) road to a paper
lmao.bearblog.dev·1d·
Discuss: Hacker News
🎯Performance Proofs
Designing audio-first reading experience
usekatalog.com·7h·
Discuss: Hacker News
🎙️Whisper
3D QR Codes
erikdemaine.org·4d·
Discuss: Hacker News
📱QR Archaeology
This One Python Trick Will Make Your Code Look Like a Pro’s
dev.to·3h·
Discuss: DEV
📝Concrete Syntax
Mu Puzzle
en.wikipedia.org·2d·
Discuss: Hacker News
🔲Proof Irrelevance
Zero-Inflated Data: A Comparison of Regression Models
towardsdatascience.com·10h
🎯Arithmetic Coding Theory
Prompt injection as a solution to make agents reliable
controlpla.in·1h·
Discuss: Hacker News
⚡Proof Automation
Show HN: We wrote an open-source Text to CAD app
github.com·6h·
Discuss: Hacker News
🔓Open Source Software
How to Ruin Your Weekend: Building a DIY EDR
infosecwriteups.com·18h
🔍eBPF
Random Password Generator using Javascript
dev.to·3d·
Discuss: DEV
🔓Password Cracking
Introduction to Ada: a project-based exploration with rosettas
blog.adacore.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🏛️Agda
Do dashes indicate AI writing?
blog.engora.com·3d·
Discuss: Hacker News
📝Punctuation Engines
Reverse engineering of Apple's iOS 0-click CVE-2025-43300: 2 bytes that make size matter
blog.quarkslab.com·2d·
Discuss: Hacker News
🧪Binary Fuzzing
High Cursive Complex Character Recognition using GAN External Classifier
arxiv.org·1d
🤖Advanced OCR
Simplify Validation in Golang— No Struct Tags, No Reflection, TypeSafety: Meet GoValidator
dev.to·15h·
Discuss: DEV
✅Format Verification
Denoising GER: A Noise-Robust Generative Error Correction with LLM for Speech Recognition
arxiv.org·20h
🧠Learned Codecs