Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·2d
✅Format Verification
Python Namespace Packages are a pain
joshcannon.me·1d·
Discuss: Hacker News
📦Package Managers
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·5d·
Discuss: Hacker News
⚔️Lean Theorem
Did GPT-5 Solve 'New Math'?
tech2geek.net·2d·
Discuss: Hacker News
🎯Performance Proofs
Visual AI flow manager for Genkit – Looking for early testers
flowshapr.ai·2d·
Discuss: Hacker News
⚡Proof Automation
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·3d
🧪Binary Fuzzing
C++ or Rust: Differences Explained
harshal.is-cool.dev·1d·
Discuss: Hacker News
🔩Systems Programming
TypeScript 5.0: Explore New Features & Updates
dev.to·2d·
Discuss: DEV
🎯Gradual Typing
Better Language Model-Based Judging Reward Modeling through Scaling Comprehension Boundaries
arxiv.org·2d
🔗Monadic Parsing
ConfTuner: Training Large Language Models to Express Their Confidence Verbally
arxiv.org·1d
🧠Intelligence Compression
The Mind's Eye: A Multi-Faceted Reward Framework for Guiding Visual Metaphor Generation
arxiv.org·1d
🏛Digital humanities
MathBuddy: A Multimodal System for Affective Math Tutoring
arxiv.org·13h
📊Learned Metrics
A biological vision inspired framework for machine perception of abutting grating illusory contours
arxiv.org·2d
🤖Advanced OCR
Hierarchical Contextual Grounding LVLM: Enhancing Fine-Grained Visual-Language Understanding with Robust Grounding
arxiv.org·2d
🤖Advanced OCR
The Adaptive Communication Framework (ACF) for Extraterrestrial Intelligence Discovery
arxiv.org·1d
📰RSS Archaeology
A compressed hierarchy for visual form processing in the tree shrew
nature.com·1d
🤖Advanced OCR
VISION: Robust and Interpretable Code Vulnerability Detection Leveraging Counterfactual Augmentation
arxiv.org·1d
🔍Vector Forensics
Tailored Teaching with Balanced Difficulty: Elevating Reasoning in Multimodal Chain-of-Thought via Prompt Curriculum
arxiv.org·1d
🧮Kolmogorov Complexity
Biologically Disentangled Multi-Omic Modeling Reveals Mechanistic Insights into Pan-Cancer Immunotherapy Resistance
arxiv.org·1d
🧠Machine Learning
Autoregressive Universal Video Segmentation Model
arxiv.org·1d
📊Rate-Distortion Theory