The Same Feature That Makes a Component Powerful Can Also Make It Dangerous
🛡️Security Type Systems
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·15h
🦀MIR Optimization
Flag this post
How to evaluate and benchmark Large Language Models (LLMs)
together.ai·1d
🏁Language Benchmarks
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
Practical Steps Towards Vibe Writing with AI Positron
blog.oxygenxml.com·2d
🎮Language Ergonomics
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
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·6h
🔗Parser Combinators
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
I'm a Confident Developer - Who Can't Code
⚡Live Coding
Flag this post
Loading...Loading more...