Embedded records - extracting data from classes
blogger.com·7h
🌳Persistent Data
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·17h
🦀MIR Optimization
Flag this post
How to evaluate and benchmark Large Language Models (LLMs)
together.ai·1d
🏁Language Benchmarks
Flag this post
'No Free Lunch: Deconstruct Efficient Attention with MiniMax M2'
lmsys.org·1d
🗺️Region Inference
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
🎭Program Synthesis
Flag this post
Intentionality
lesswrong.com·9h
💫Effect Systems
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
🔍ML Language
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·1d
🗂️Term Indexing
Flag this post
DecompSR: A dataset for decomposed analyses of compositional multihop spatial reasoning
arxiv.org·8h
🔗Parser Combinators
Flag this post
AI Infrastructure as Code - Automating AI Model Deployment and Scaling in Cloud Environments
🎭Program Synthesis
Flag this post
Helios-Engine ,Why I Built Another LLM Agent Framework (And Why You Might Actually Care)
🪆Embedded DSLs
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·1d
🏭Functional Compilers
Flag this post
AI Workflow Integration: From Models to Methods, How Engineering Teams Will Change
🎮Language Ergonomics
Flag this post
EDL - a JIT-compiled scripting language for certain performance critical workloads with high compatibility with Rust; written in Rust
🪆Embedded DSLs
Flag this post
The Design Innovations of NopGraphQL: From API Protocol to a General-Purpose Information Operation Engine
📡Protocol Buffers
Flag this post
I'm a Confident Developer - Who Can't Code
⚡Live Coding
Flag this post
Loading...Loading more...