Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·1d
📏Code Metrics
Taskwarrior CLI – Workflow Examples
taskwarrior.org·2d·
Discuss: Hacker News
⚡Proof Automation
Solving 2-SAT
nima101.github.io·6d·
Discuss: Hacker News
🔗Constraint Handling
An Overview of Modern Memory Management Architectures in LLM Agents
vinithavn.medium.com·1d·
Discuss: Hacker News
💾Persistence Strategies
High-Quality Pull-Request Descriptions
racecondition.software·1d·
Discuss: Hacker News
⚙️Proof Engineering
Introducing OpenZL: An Open Source Format-Aware Compression Framework
engineering.fb.com·14h·
Discuss: Lobsters, Hacker News, r/programming
⚡Modern Compression
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.io·2d·
Discuss: Hacker News, r/LLM
λLambda Encodings
Building My Smart 2nd Brain, Part 3: API and UI Explained
dev.to·1d·
Discuss: DEV
🔄Archival Workflows
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·2h·
Discuss: DEV
🌀Brotli Internals
How to Build Semantic Search in ASP.NET Core using PostgreSQL
dev.to·11h·
Discuss: DEV
🔍Semantic Search
Evaluating Large Language Models for IUCN Red List Species Information
arxiv.org·1d
🧮Kolmogorov Complexity
Rewriting History: Aligning AI Through Counterfactual Learning by Arvind Sundararajan
dev.to·57m·
Discuss: DEV
🤖AI Curation
Latent Uncertainty Representations for Video-based Driver Action and Intention Recognition
arxiv.org·3h
🧠Machine Learning
From Segments to Concepts: Interpretable Image Classification via Concept-Guided Segmentation
arxiv.org·3h
🧠Machine Learning
SECA: Semantically Equivalent and Coherent Attacks for Eliciting LLM Hallucinations
arxiv.org·3h
👑Coq Tactics
Forking-Sequences
arxiv.org·3h
🌸Bloom Variants
Keep It on a Leash: Controllable Pseudo-label Generation Towards Realistic Long-Tailed Semi-Supervised Learning
arxiv.org·3h
🧠Machine Learning
CANOPI: Contingency-Aware Nodal Optimal Power Investments with High Temporal Resolution
arxiv.org·3h
📐Interval Arithmetic
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.org·3h
🎯Performance Proofs
Understanding Retrieval Augmentation for Long-Form Question Answering
arxiv.org·3h
🔍Information Retrieval