What can we expect of LLMs as Software Engineers?
chelseatroy.com·2d
📝Text Parsing
A distributed systems reliability glossary
antithesis.com·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
A New Geometry for Einstein’s Theory of Relativity
quantamagazine.org·20h·
Discuss: Hacker News
🌀Differential Geometry
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·3d
🧠Computational Logic
[R] Interesting paper on cost-aware prompt optimization (CAPO)
reddit.com·1d·
Discuss: r/MachineLearning
🏗️Compiler Archaeology
The key to understanding “Dynamic Programming” is that it’s not referring to “computer programming”
vidarholen.net·13h·
Discuss: Hacker News
💻Programming languages
StellarF: A Lora-Adapter Integrated Large Model Framework for Stellar Flare Forecasting with Historical & Statistical Data
arxiv.org·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Overview of the Sensemaking Task at the ELOQUENT 2025 Lab: LLMs as Teachers, Students and Evaluators
arxiv.org·7h
🌳Context free grammars
Grok 4 vs. Claude Opus 4 vs. Gemini 2.5 Pro Coding Comparison 🚀
dev.to·19h·
Discuss: DEV
🌊Streaming Algorithms
How AI Detects Cancer in Whole Slide Images
hackernoon.com·16h
🧠Machine Learning
The LLM-for-software Yo-yo
tratt.net·3d·
Discuss: Lobsters, Hacker News
🔄Language Evolution
AirLLM: Diffusion Policy-based Adaptive LoRA for Remote Fine-Tuning of LLM over the Air
arxiv.org·1d
💻Local LLMs
Subjective Evaluation Profile Analysis of Science Fiction Short Stories and its Critical-Theoretical Significance
arxiv.org·7h
🧠Intelligence Compression
What people said about an OpenZFS bug
despairlabs.com·19h·
Discuss: Lobsters, Hacker News
🔒Type Safety
Finding Order-Preserving Subgraphs
arxiv.org·1d
🕸️Graph Algorithms
On The Role of Intentionality in Knowledge Representation: Analyzing Scene Context for Cognitive Agents with a Tiny Language Model
arxiv.org·2d
🔢Denotational Semantics
Intuitive Fine-Tuning: Towards Simplifying Alignment into a Single Process
arxiv.org·2d
✨Effect Handlers
On the Complexity of the Optimal Correlated Equilibria in Extensive-Form Games
arxiv.org·1d
🔲Cellular Automata
Grappling with the Existential Panic over AI
easydns.com·16h·
Discuss: Hacker News
⚡Proof Automation
Are we trading our hard-earned intelligence for convenience?
lmyslinski.com·2h·
Discuss: Hacker News
📏Code Metrics