Phylogenetically informative proteins from an Early Miocene rhinocerotid
nature.com·7h
🦴Database Paleontology
#0181: Why Elixir?
matthewsinclair.medium.com·1d
🌊Apache Kafka
Microbeam Decision Pathways for Goal-Aligned Autonomous Agents
news.ycombinator.com·3h·
Discuss: Hacker News
⚡Incremental Computation
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·1h·
Discuss: Hacker News
🔬Binary Analysis
Coding Triangle: How Does Large Language Model Understand Code?
arxiv.org·19h
💻Programming languages
LLM Failures
funcall.blogspot.com·1d·
Discuss: Hacker News
💻Programming languages
On the UI of Coding Assistants And Agents
lmika.org·12h
✨Effect Handlers
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·19h
📏Code Metrics
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.org·19h
🗣️Domain-Specific Languages
Why Your Team Still Needs Go Training in the Age of AI
gopherguides.com·3h·
Discuss: Hacker News
💻Programming languages
HMQ: Principal Type Inference Under a Prefix
microsoft.com·5h·
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
**8 Python Metaprogramming Techniques for Dynamic Code Generation and Runtime Flexibility**
dev.to·5h·
Discuss: DEV
🦀Rust Macros
Recap of all types of LLM Agents
towardsdatascience.com·4h
⚡Proof Automation
Kioshun - in-memory cache that's actually pretty fast
reddit.com·2h·
Discuss: r/golang
💨Cache Analysis
AI Programming Paradigms: A Timeline
kau.sh·17h
⚡Proof Automation
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·2d·
Discuss: Hacker News
🔤Type Theory