50% of Roger Federer is "er"
iamvishnu.com·22h
🔍BitFunnel
Harness AI Tackles Software Development’s Real Bottleneck
thenewstack.io·8h
👁️Observatory Systems
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·10h
✅Format Verification
Making MCP Tool Use Feel Natural with Context-Aware Tools
ragie.ai·3h·
Discuss: Hacker News
🔗Constraint Handling
Structural vs. Mathematical “Under” (2023)
dyalog.com·22h·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Gemini image generation is adding more editing tools
engadget.com·8h
⟷Bidirectional Programming
An epiphany about bloated web pages might be the result of a dumb network (2023)
boston.conman.org·39m·
Discuss: Hacker News
🚀Indie Hacking
A Small Change to Improve Browsers for Keyboard Navigation
b.43z.one·1d·
Discuss: Hacker News
🐧FOSS
Using Real Survey Data to Create Authentic AI Personas for Extended Research
askrally.com·9h·
Discuss: Hacker News
🏛Digital humanities
A Model for all Ranges
qt.io·7h·
Discuss: Lobsters, Hacker News, r/programming
🧩SQLite Extensions
Gemini 2.5 Flash Image
deepmind.google·8h·
Discuss: Hacker News
📟Terminal Physics
Attention Mechanism in Randomized Time Warping
arxiv.org·1d
📊Learned Metrics
Structural Damage Detection Using AI Super Resolution and Visual Language Model
arxiv.org·18h
🤖Advanced OCR
Hierarchical Contextual Grounding LVLM: Enhancing Fine-Grained Visual-Language Understanding with Robust Grounding
arxiv.org·18h
🤖Advanced OCR
Understanding Convolutions: The Sliding Window of Insight
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Analysis and Detection of RIS-based Spoofing in Integrated Sensing and Communication (ISAC)
arxiv.org·18h
⚖️RISC-V Formal
SVGCraft: Beyond Single Object Text-to-SVG Synthesis with Comprehensive Canvas Layout
arxiv.org·18h
🤖Advanced OCR
MMCIG: Multimodal Cover Image Generation for Text-only Documents and Its Dataset Construction via Pseudo-labeling
arxiv.org·18h
👁️OCR Verification
Using panic metadata to recover source code information from Rust binaries | cxiao.net
cxiao.net·7h
🦀Rust Macros
Deep Dive: OpenAI's GPT-OSS
dev.to·3d·
Discuss: DEV
📊Quantization