Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·20h·
Discuss: Hacker News
✨Effect Handlers
Flag this post
Hierarchical Physics-Embedded Learning for Spatiotemporal Dynamical Systems
arxiv.org·5h
✨Effect Handlers
Flag this post
Introducing SWE-1.5: Our Fast Agent Model
simonwillison.net·9h
🔒WASM Capabilities
Flag this post
Vectorizing for Fun and Performance
ibm.com·15h·
Discuss: Hacker News
⚡SIMD Vectorization
Flag this post
A Short Introduction to Categorical Logic
youtube.com·5h
🔀Category Theory
Flag this post
Coding Scalable UIs In Cursor With Kombai
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Flag this post
Antonio Cuni: Inside SPy, part 1: Motivations and Goals
antocuni.eu·16h·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
Vibe Coding vs. Context-Aware Coding: Why Your AI Keeps Forgetting Your Codebase
artiforge.ai·13h·
Discuss: Hacker News
🌳Incremental Parsing
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·8h·
Discuss: Hacker News
📊Static Analysis
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·22h·
Discuss: r/javascript, r/programming
λLambda Encodings
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·18h·
Discuss: Substack
💻Programming languages
Flag this post
Decentralized Causal Discovery using Judo Calculus
arxiv.org·1d
⚔️Lean Tactics
Flag this post
Automated Defect Cascade Prediction and Mitigation in Automotive Embedded Systems
dev.to·22h·
Discuss: DEV
🔧Hardware Verification
Flag this post
Opportunistic Mutation in Roc
roc-lang.org·1d·
Discuss: Hacker News
📏Code Metrics
Flag this post
Show HN: Everything it took to run an LLM at 10k tok/s on H200s
relace.ai·16h·
Discuss: Hacker News
📏Code Metrics
Flag this post
word2vec-style vector arithmetic on docs embeddings
technicalwriting.dev·4h·
Discuss: Lobsters, Hacker News
⚡Proof Automation
Flag this post
Claude Agent Skills: A First Principles Deep Dive
leehanchung.github.io·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·3h·
Discuss: Hacker News, r/rust
🦀Rust Borrowing
Flag this post
The Future of Coding – From Syntax to Intention
future.forem.com·2d·
Discuss: DEV
🛠Language Design
Flag this post
4 Techniques to Optimize Your LLM Prompts for Cost, Latency and Performance
towardsdatascience.com·13h
📊Feed Optimization
Flag this post