Invoicetronic, or what I've been working on recently
nicolaiarocci.com·3h
🎙️Whisper
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·1d
✅Format Verification
Nullable vs. Nullable in C#
einarwh.no·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
Emacs Treesitter in Depth
archive.casouri.cc·3d·
Discuss: Hacker News
🌳Incremental Parsing
Why JSON Prompts Are the Future of AI Automation
peerlist.io·4h·
Discuss: Hacker News
⚡Proof Automation
The dangers of the JDBC bottleneck in Trino
starburst.io·5d·
Discuss: Hacker News
🦀Rusty Databases
🔥Firebase vs ⚡Supabase in 2025: Which one actually scales with 🫵 you?
dev.to·1h·
Discuss: DEV
🔄Sync Engine
Bangla-Bayanno: A 52K-Pair Bengali Visual Question Answering Dataset with LLM-Assisted Translation Refinement
arxiv.org·7h
🔍Information Retrieval
🚀 Learning Update
dev.to·2d·
Discuss: DEV
🌳Incremental Parsing
Memorization in Graph Neural Networks
arxiv.org·7h
🕸️Graph Embeddings
Reliable Weak-to-Strong Monitoring of LLM Agents
arxiv.org·7h
🎯Threat Hunting
MRExtrap: Longitudinal Aging of Brain MRIs using Linear Modeling in Latent Space
arxiv.org·7h
🧠Machine Learning
What Is a Foreign Key Constraint in SQL?
blog.devops.dev·2d
🚀Query Optimization
Design and Analysis of the Tail Sequence for Short LDPC-Coded Space Communications
arxiv.org·7h
🌊Stream Ciphers
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·2d
🎯Performance Proofs
Explanation of the Linux-Kernel Memory Consistency Model
raw.githubusercontent.com·4d·
Discuss: Lobsters, Hacker News, r/programming
⚡Cache Coherence
11Plus-Bench: Demystifying Multimodal LLM Spatial Reasoning with Cognitive-Inspired Analysis
arxiv.org·7h
🧮Kolmogorov Complexity
Stop Trying to Kill the SPA
frontendatscale.com·1d·
Discuss: Hacker News
🌐Web Standards
CPU Branch Prediction – Earliest Forms of Machine Learning
medium.com·19h·
Discuss: Hacker News
⚡CPU Microarchitecture
What Matters in Data for DPO?
arxiv.org·1d
🛡️Differential Privacy