Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·6h
✅Format Verification
Harness AI Tackles Software Development’s Real Bottleneck
thenewstack.io·4h
👁️Observatory Systems
Structural vs. Mathematical “Under” (2023)
dyalog.com·18h·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
A Small Change to Improve Browsers for Keyboard Navigation
b.43z.one·1d·
Discuss: Hacker News
🐧FOSS
A Model for all Ranges
qt.io·4h·
Discuss: Lobsters, Hacker News, r/programming
🧩SQLite Extensions
Using Real Survey Data to Create Authentic AI Personas for Extended Research
askrally.com·6h·
Discuss: Hacker News
🏛Digital humanities
MSPCaps: A Multi-Scale Patchify Capsule Network with Cross-Agreement Routing for Visual Recognition
arxiv.org·14h
🌀Riemannian Computing
Deep Dive: OpenAI's GPT-OSS
dev.to·3d·
Discuss: DEV
📊Quantization
Evaluation and LLM-Guided Learning of ICD Coding Rationales
arxiv.org·14h
🔗Constraint Handling
Show HN: SQLite Extensions Guide
github.com·5h·
Discuss: Hacker News
🧩SQLite Extensions
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·1d·
Discuss: Hacker News
🔱Galois Cryptography
Large Language Model-Based Automatic Formulation for Stochastic Optimization Models
arxiv.org·14h
🧠Machine Learning
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Functional Compilers
Google’s URL Context Grounding: Another Nail in RAG’s Coffin?
towardsdatascience.com·5h
🌀Brotli Internals
CSPs - Part 1: How to (Almost) Always Win at Minesweeper
dev.to·2h·
Discuss: DEV
🔲Cellular Automata
Using Chrome Dev Tools AI Assitance to Automate UI from Javascript Console
dev.to·1h·
Discuss: DEV
⚡Proof Automation
Legacy Learning Strategy Based on Few-Shot Font Generation Models for Automatic Text Design in Metaverse Content
arxiv.org·14h
🔤Font Archaeology
Gemini 2.5 Flash Image
deepmind.google·4h·
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·14h
🤖Advanced OCR