Submissions by harporoeder

Beating Roulette

Galactic rotation curve and dark matter according to gravitomagnetism

Suggestivity and Idioms in APL (2023)

Gustave (Crocodile)

Differentiable Abstract Interpretation for Provably Robust Neural Networks [pdf]

Introduction of std:hive to the standard library

Algorithmic ranking is unfairly maligned

Trump Pardons Creator of Silk Road Drug Marketplace

The Homa Network Protocol

Debuginfod, the Elfutils Debuginfo Server

Comparison of Anesthesia Times and Billing Patterns by Anesthesia Practitioners

Why is Source Address Validation still a problem?

Interventions Testing Program

Removing PGP from PyPI (2023)

IPv6 Secure Neighbor Discovery

Run_with_Wayland_security_context_v1

NixPak – Sandboxing for Nix

Kalshi market: Who will win the Presidency?

Reverse Engineering Whoop 4.0

Correlation between swearwords and code quality in open-source code? (2023) [pdf]

CPU usage even when idle (due to cursor rendering)

GPU Screen Recorder: A shadowplay-like screen recorder for Linux

Towards open-ended evolution in cellular automata

Kalshi Cleared to Offer Congressional Prediction Markets in Victory Against CFTC

Defect Report #260: indeterminate values and identical representations

Man versus Horse Marathon