Embedded records - extracting data from classes
blogger.com·1d
🔧KAITAI
Flag this post
TLA+ Modeling of AWS outage DNS race condition
⚙️TLA+
Flag this post
Limitations of a two-pass assembler
boston.conman.org·2d
🔧RISC-V Assembler
Flag this post
A Decade of AI Platform at Pinterest
🌀Brotli Internals
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·2d
⚡Compression Hardware
Flag this post
Hybrid Quantum-Classical Optimization of the Resource Scheduling Problem
arxiv.org·2d
⚛️Quantum Algorithms
Flag this post
Prompting for Policy: Forecasting Macroeconomic Scenarios with Synthetic LLM Personas
arxiv.org·1d
🌳Context free grammars
Flag this post
GAFD-CC: Global-Aware Feature Decoupling with Confidence Calibration for OOD Detection
arxiv.org·1d
🧠Machine Learning
Flag this post
Prog8
🔩Systems Programming
Flag this post
This is one way I use AI for coding
⚡Proof Automation
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.org·2d
🎯Gradual Typing
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.org·3d
🚀Query Optimization
Flag this post
Generalizing Test-time Compute-optimal Scaling as an Optimizable Graph
arxiv.org·2d
🔨Compilers
Flag this post
Don't Just Search, Understand: Semantic Path Planning Agent for Spherical Tensegrity Robots in Unknown Environments
arxiv.org·2d
📊Computational Geometry
Flag this post
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack
arxiv.org·2d
📋Document Grammar
Flag this post
Loading...Loading more...