Googles CodeMender is designed to automatically find and fix security flaws in software
the-decoder.com·15h
🧮Z3 Solver
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.dev·13h·
Discuss: Hacker News
🌳Incremental Parsing
We didn't rewrite our feed handler in Rust
databento.com·17h·
Discuss: Lobsters, Hacker News, Hacker News, r/rust
🦀Rust Borrowing
Delimited Continuations in Lone Lisp
matheusmoreira.com·5d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Training Dynamics of Parametric and In-Context Knowledge Utilization in Language Models
arxiv.org·2d
🌲Parse Trees
The Debate on RLVR Reasoning Capability Boundary: Shrinkage, Expansion, or Both? A Two-Stage Dynamic View
arxiv.org·1d
📏Linear Logic
Emergence of Superposition: Unveiling the Training Dynamics of Chain of Continuous Thought
arxiv.org·1d
🔲Cellular Automata
Transductive and Learning-Augmented Online Regression
arxiv.org·1d
🔍Information Retrieval
Approximate Gaussianity Beyond Initialisation in Neural Networks
arxiv.org·2h
🕸️Tensor Networks
**Hyperdimensional Semantic Graph Fusion for Enhanced Knowledge Extraction & Reasoning**
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
Parameterized Complexity of Temporal Connected Components: Treewidth and k-Path Graphs
arxiv.org·2h
🎨Graph Coloring
Distilling Reasoning into Student LLMs: Local Naturalness for Selecting Teacher Data
arxiv.org·1d
💻Local LLMs
A Trustworthy Industrial Fault Diagnosis Architecture Integrating Probabilistic Models and Large Language Models
arxiv.org·1d
🧠Machine Learning
FocusMed: A Large Language Model-based Framework for Enhancing Medical Question Summarization with Focus Identification
arxiv.org·1d
🔍Information Retrieval
Feasibility-Aware Decision-Focused Learning for Predicting Parameters in the Constraints
arxiv.org·1d
🧠Machine Learning
LLMs as Policy-Agnostic Teammates: A Case Study in Human Proxy Design for Heterogeneous Agent Teams
arxiv.org·2h
🔲Cellular Automata
Efficient Test-Time Scaling for Small Vision-Language Models
arxiv.org·1d
🗜️LZW Variants
PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning
arxiv.org·2d
✨Effect Handlers
PsycholexTherapy: Simulating Reasoning in Psychotherapy with Small Language Models in Persian
arxiv.org·1d
💻Programming languages
MedReflect: Teaching Medical LLMs to Self-Improve via Reflective Correction
arxiv.org·1d
💻Local LLMs