PostgreSQL 18 โ Virtual Generated Columns
๐ฏGADT
Flag this post
Roadmap for Improving the Type Checker
๐Type Inference
Flag this post
A security model for systemd
๐ฌUnikernels
Flag this post
Fragments Nov 3
martinfowler.comยท2d
๐ฌStatic Analysis
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
๐คProgram Synthesis
Flag this post
Why stop at 1 million tokens when you can have 10? My journey to extreme context on a gaming GPU. [P]
๐พRetro Computing
Flag this post
AI Workflow Integration: From Models to Methods, How Engineering Teams Will Change
๐งDevOps
Flag this post
Principal Dev's Take On Vibe-Coding
๐งDevOps
Flag this post
VISTA Score: Verification In Sequential Turn-based Assessment
arxiv.orgยท2d
๐ฎVerification Games
Flag this post
Phased DMD: Few-step Distribution Matching Distillation via Score Matching within Subintervals
arxiv.orgยท2d
๐Linear Algebra
Flag this post
Deep Value Benchmark: Measuring Whether Models Generalize Deep values or Shallow Preferences
arxiv.orgยท23h
โฑ๏ธComputational Complexity
Flag this post
Model Predictive Control with Multiple Constraint Horizons
arxiv.orgยท23h
๐CBMC
Flag this post
Loading...Loading more...