Embedded records - extracting data from classes
blogger.com·2h
🌳Persistent Data
Flag this post
The Same Feature That Makes a Component Powerful Can Also Make It Dangerous
🛡️Security Type Systems
Flag this post
Inside Pinecone: Slab Architecture
🗄️Database Engines
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·12h
🦀MIR Optimization
Flag this post
Continuous Autoregressive Language Models
🌱Minimal ML
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
🎭Program Synthesis
Flag this post
Practical Steps Towards Vibe Writing with AI Positron
blog.oxygenxml.com·2d
🎮Language Ergonomics
Flag this post
Intentionality
lesswrong.com·4h
💫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
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
Loading...Loading more...