Y
HN HRCB new | past | comments | ask | show | jobs | articles | domains | dashboard | seldon | network | factions | velocity | about hrcb
home / user / matt_d
5 stories
matt_d HN profile →
Stories 5 (4 evaluated) Avg HRCB +0.25
Avg SETL +0.13 Avg Conf 5%
Avg Editorial +0.30 Avg Structural +0.19
1.
HRCB +0.29
SETL +0.08
Argus: Automated Discovery of Test Oracles for DBMSs Using LLMs (joyemang33.github.io)
1 points by matt_d 15 hours ago | 0 comments | hrcb
2.
HRCB +0.09
SETL +0.13
A Decade of Docker Containers (cacm.acm.org)
2 points by matt_d 15 hours ago | 0 comments | hrcb
3.
HRCB +0.32
SETL +0.19
In Pursuit of High-Fidelity GPU Kernel Benchmarking (standardkernel.com)
1 points by matt_d 16 hours ago | 0 comments | hrcb
4. SE Radio 708: Jens Gustedt on C in 2026 (se-radio.net)
16 points by matt_d 5 days ago | 1 comments | queued
5.
HRCB +0.32 21%
SETL +0.10
How to train your program verifier (risemsr.github.io)
79 points by matt_d 6 days ago | 16 comments | hrcb
About HRCB | By Right | HN Guidelines | HN FAQ | Source | UDHR | RSS
build 359ddd7+1rs2 · 2026-02-25 03:53 UTC