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
How to evaluate and benchmark Large Language Models (LLMs)
together.ai·1d
🏁Language Benchmarks
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·10h
🦀MIR Optimization
Flag this post
Building Data Tools That Work
🗄️Database Engines
Flag this post
Continuous Autoregressive Language Models
🌱Minimal ML
Flag this post
C++ move semantics from scratch (2022)
⚡Copy Elision
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
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 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
Non-unitary Quantum Physical Unclonable Functions: Modelling, Simulation, and Evaluation under Open Quantum Dynamics
arxiv.org·1d
📡Binary Protocols
Flag this post
DecompSR: A dataset for decomposed analyses of compositional multihop spatial reasoning
arxiv.org·1h
🔗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
Loading...Loading more...