> I doubt that it's common for anyone to read a research paper and then question whether the researcher's calculator was working reliably
Reproducibility and repeatability in the sciences?
Replication crisis > Causes > Problems with the publication system in science > Mathematical errors; Causes > Questionable research practices > In AI research, Remedies > [..., open science, reproducible workflows, disclosure, ]
https://en.wikipedia.org/wiki/Replication_crisis#Mathematica...
Already verifiable proofs are too impossibly many pages for human review
There are "verify each Premise" and "verify the logical form of the Argument" (P therefore Q) steps that still the model doesn't do for the user.
For your domain, how insufficient is the output given process as a prompt like:
Identify hallucinations from models prior to (date in the future)
Check each sentence of this: ```{...}```
Research ScholarlyArticles (and then their Datasets) which support and which reject your conclusions. Critically review findings and controls.
Suggest code to write to apply data science principles to proving correlative and causative relations given already-collected observations.
Design experiment(s) given the scientific method to statistically prove causative (and also correlative) relations
Identify a meta-analytic workflow (process, tools, schema, and maybe code) for proving what is suggested by this chat
> desbma/shh generates SyscallFilter and other systemd unit rules from straces similar to how audit2allow generates SELinux policies by grepping for AVC denials in permissive mode
Good blog post re: this essential Python component and CVEs this past year.
urllib3 got started in 2007 IIRC when we moved an internal package index to HTTPS and realized that Python did not have HTTPS handling, and then we realized that Python did not have HTTP redirect handing. And so urllib3!
linux-wasm is an awesome project, but relies on compiling the kernel itself into WASM. This seems to work in principle, but is still a bit unstable. But I do hope that eventually one can get rid of the emulator in the middle as is done in c2w.
Milk-V Titan is a Mini-ITX RISC-V board that has support for UEFI with ACPI and SMBIOS, 1x M key PCIe Gen4 x16 slot with GPU support, 2x USB Type-C (though unfortunately not USB-C PD), and a 12V DC barrel jack.
To add a 2x20 pin (IDE ribbon cable) interface like a Pi: add a USB-to-2x20 pin board, use an RP2040/RP2350 (Pi Pico (uf2 bootloader) over serial over USB or Bluetooth or WiFi; https://news.ycombinator.com/item?id=38007967
From "Open Hardware Ethernet Switch project, part 1" https://news.ycombinator.com/item?id=43969857 :
> There are 48+2 port switches with OpenWRT support
Are there 48 port switches with 8 or more cores?
Edit:
From "Show HN: Spliff – Correlating XDP and TLS via eBPF (Building a Linux EDR)" (2026) https://news.ycombinator.com/item?id=46663446 :
> the current "Golden Thread" correlation architecture fundamentally requires userspace + kernel cooperation that can't be fully offloaded.
reply