Every Artist Has a Favorite Subject. For Some, That’s Math.
nytimes.com·14h·
Discuss: Hacker News
🎨Graphics Programming
Efficient and accurate search in petabase-scale sequence repositories
nature.com·2d·
Discuss: Hacker News
📡RSS
Quoting Simon Højberg
simonwillison.net·2d
🧩programming
Leveraging Large Language Models for Cybersecurity Risk Assessment -- A Case from Forestry Cyber-Physical Systems
arxiv.org·1d
⚙️Compilers
Intent Weaving for AI Coding Agents
autohand.ai·21h·
Discuss: Hacker News
⚙️Compilers
A new breed of analyzers
daniel.haxx.se·11h·
Discuss: Lobsters, Hacker News, r/programming
🧩programming
Instructional Goal-Aligned Question Generation for Student Evaluation in Virtual Lab Settings: How Closely Do LLMs Actually Align?
arxiv.org·1d
⚙️Compilers
TS-Reasoner: Aligning Time Series Foundation Models with LLM Reasoning
arxiv.org·3d
⚙️Compilers
Categorical Invariants of Learning Dynamics
arxiv.org·3d
⚙️Compilers
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·3d
⚙️Compilers
Machines in the Crowd? Measuring the Footprint of Machine-Generated Text on Reddit
arxiv.org·1d
🧩programming
Revisiting Metric Reliability for Fine-grained Evaluation of Machine Translation and Summarization in Indian Languages
arxiv.org·1d
⚙️Compilers
The Alignment Auditor: A Bayesian Framework for Verifying and Refining LLM Objectives
arxiv.org·2d
⚙️Compilers
Love C, Hate C: Web Framework Memory Problems
alew.is·20h·
Discuss: Hacker News
🧩programming
RedTWIZ: Diverse LLM Red Teaming via Adaptive Attack Planning
arxiv.org·1d
⚙️Compilers
Valid Stopping for LLM Generation via Empirical Dynamic Formal Lift
arxiv.org·1d
⚙️Compilers
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·3d
🧩programming
LLM-Driven Rubric-Based Assessment of Algebraic Competence in Multi-Stage Block Coding Tasks with Design and Field Evaluation
arxiv.org·1d
⚙️Compilers
Relational Database Distillation: From Structured Tables to Condensed Graph Data
arxiv.org·1d
⚙️Compilers
Probing Social Identity Bias in Chinese LLMs with Gendered Pronouns and Social Groups
arxiv.org·1d
⚙️Compilers