Joined 8/17/2018, 1:23:17 AM has 6328 karma
Website: https://harporoeder.com
Twitter: https://twitter.com/harporoeder
GitHub: https://github.com/harporoeder/
Against Unnecessary Databases
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