Limitations of a two-pass assembler
boston.conman.orgยท2d
๐Ÿ”งRISC-V Assembler
Flag this post
Your AI-driven threat hunting is only as good as your data platform and pipeline
cybersecuritydive.comยท19m
๐Ÿ”—Data Provenance
Flag this post
A Security Model for Systemd
lwn.netยท1hยท
๐Ÿ›ก๏ธeBPF Security
Flag this post
A Decade of AI Platform at Pinterest
medium.comยท1dยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Flag this post
You may not need pg_vector, sqlite-vss, etc.
dev.toยท8hยท
Discuss: DEV
๐Ÿ—‚๏ธVector Databases
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.comยท3dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Flag this post
AI Uses Functions to Fetch Real Data (Not Just Chat)
farukalpay.substack.comยท1dยท
Discuss: Substack
๐ŸŽ™๏ธWhisper
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.orgยท2d
โšกCompression Hardware
Flag this post
Recording My Experiments in Spec-Driven Development
dev.toยท2dยท
Discuss: DEV
๐Ÿ”„Reproducible Builds
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
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
Flag this post
This is one way I use AI for coding
dev.toยท2dยท
Discuss: DEV
โšกProof Automation
Flag this post
TypeScript Rewrote Itself in Go?! What That โ€œ10x Fasterโ€ Hype Really Means
dev.toยท1dยท
Discuss: DEV
โฌ†๏ธLambda Lifting
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.orgยท2d
๐ŸŽฏGradual Typing
Flag this post
A Deep Dive into Multi-Transport Protocol Abstraction in Python
dev.toยท1dยท
Discuss: DEV
๐ŸŒNetworkProtocols
Flag this post
Shape-Shifting AI: Making Models That Adapt to Data
dev.toยท4dยท
Discuss: DEV
๐Ÿ“ŠQuantization
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