Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.com·4h
🧪Binary Fuzzing
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·2d
📏Code Metrics
Atomic and Saturated Models
functor.network·4d·
Discuss: Hacker News
🔢Denotational Semantics
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·3d·
Discuss: Hacker News
🎯Interactive Provers
You Don't Know RAG. You Know Simple RAG.
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Improving Metacognition and Uncertainty Communication in Language Models
arxiv.org·14h
🧠Intelligence Compression
Wave-PDE Nets: Trainable Wave-Equation Layers as an Alternative to Attention
arxiv.org·1d
🌀Differential Geometry
Automating construction safety inspections using a multi-modal vision-language RAG framework
arxiv.org·1d
🤖Advanced OCR
Precision Irrigation Optimization via Reinforcement Learning and Real-Time Soil Moisture Mapping
dev.to·5h·
Discuss: DEV
☕Precision Brewing
Optimizing Long-Form Clinical Text Generation with Claim-Based Rewards
arxiv.org·2d
📋Document Grammar
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·1d·
Discuss: DEV
⚡SMT Applications
Revealing Interconnections between Diseases: from Statistical Methods to Large Language Models
arxiv.org·1d
🧠Machine Learning
TS-Reasoner: Aligning Time Series Foundation Models with LLM Reasoning
arxiv.org·1d
🎯Gradual Typing
Visual Representations inside the Language Model
arxiv.org·1d
🧮Vector Embeddings
Collaborative and Proactive Management of Task-Oriented Conversations
arxiv.org·14h
📏Linear Logic
From Neural Activity to Computation: Biological Reservoirs for Pattern Recognition in Digit Classification
arxiv.org·14h
🔲Cellular Automata
A Hierarchical Geometry-guided Transformer for Histological Subtyping of Primary Liver Cancer
arxiv.org·14h
🌀Hyperbolic Geometry
Taming the Turbulence: Streamlining Generative AI with Gradient Stabilization by Arvind Sundararajan
dev.to·8h·
Discuss: DEV
🌀Riemannian Computing
Learning to Route: A Rule-Driven Agent Framework for Hybrid-Source Retrieval-Augmented Generation
arxiv.org·2d
🔍Information Retrieval
A Low-Resource Speech-Driven NLP Pipeline for Sinhala Dyslexia Assistance
arxiv.org·1d
🎙️Whisper