Phylogenetically informative proteins from an Early Miocene rhinocerotid
nature.com·5h
🦴Database Paleontology
#0181: Why Elixir?
matthewsinclair.medium.com·1d
🌊Apache Kafka
Binary Search in Haskell and Rust
mmhaskell.com·2d
📐Interval Arithmetic
Coding Triangle: How Does Large Language Model Understand Code?
arxiv.org·17h
💻Programming languages
LLM Failures
funcall.blogspot.com·22h·
Discuss: Hacker News
💻Programming languages
On the UI of Coding Assistants And Agents
lmika.org·10h
✨Effect Handlers
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.org·17h
🗣️Domain-Specific Languages
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·17h
📏Code Metrics
Why Your Team Still Needs Go Training in the Age of AI
gopherguides.com·1h·
Discuss: Hacker News
💻Programming languages
HMQ: Principal Type Inference Under a Prefix
microsoft.com·3h·
Discuss: Hacker News
🔍Type Inference
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org·1d
🐛Fuzzing
An InfoSec Architect's First Taste of Temporal
supasaf.com·1d·
Discuss: Hacker News
⏰Temporal Logic
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org·1d
🧮Algebraic Archives
Recap of all types of LLM Agents
towardsdatascience.com·1h
⚡Proof Automation
**8 Python Metaprogramming Techniques for Dynamic Code Generation and Runtime Flexibility**
dev.to·3h·
Discuss: DEV
🦀Rust Macros
I still care about the code
martinfowler.com·6h·
Discuss: Hacker News
📏Code Metrics
AI Programming Paradigms: A Timeline
kau.sh·15h
⚡Proof Automation
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·2d·
Discuss: Hacker News
🔤Type Theory
Havoc – Heap Allocated Value Object Containers
github.com·2d·
Discuss: Hacker News
🔒Type Safety