harporoeder

7 ms·

31.
Suggestivity and Idioms in APL (2023)(sacrideo.us)
3 points by harporoeder 2y ago|0 comments
32.
Gustave (Crocodile)(en.wikipedia.org)
2 points by harporoeder 2y ago|0 comments
33.
Differentiable Abstract Interpretation for Provably Robust Neural Networks [pdf](files.sri.inf.ethz.ch)
1 points by harporoeder 2y ago|0 comments
34.
Introduction of std:hive to the standard library(open-std.org)
2 points by harporoeder 2y ago|0 comments
35.
Algorithmic ranking is unfairly maligned(dynomight.net)
1 points by harporoeder 2y ago|0 comments
36.
Trump Pardons Creator of Silk Road Drug Marketplace(nytimes.com)
49 points by harporoeder 2y ago|3 comments
37.
The Homa Network Protocol(lwn.net)
115 points by harporoeder 2y ago|16 comments
38.
Debuginfod, the Elfutils Debuginfo Server(developers.redhat.com)
1 points by harporoeder 2y ago|0 comments
39.
Comparison of Anesthesia Times and Billing Patterns by Anesthesia Practitioners(pmc.ncbi.nlm.nih.gov)
1 points by harporoeder 2y ago|0 comments
40.
Why is Source Address Validation still a problem?(blog.apnic.net)
3 points by harporoeder 2y ago|0 comments
41.
Interventions Testing Program(nia.nih.gov)
2 points by harporoeder 2y ago|0 comments
42.
by harporoeder 2y ago
I have had pretty good success with steam inside docker. Things like playing counter strike have been pretty seamless. It's cool to see others doing the same. I'm waiting for wayland isolation stuff to actually be integrated into
43.
Removing PGP from PyPI (2023)(blog.pypi.org)
72 points by harporoeder 2y ago|71 comments
44.
IPv6 Secure Neighbor Discovery(en.wikipedia.org)
4 points by harporoeder 2y ago|0 comments
45.
Run_with_Wayland_security_context_v1(github.com)
2 points by harporoeder 2y ago|0 comments
46.
NixPak – Sandboxing for Nix(github.com)
1 points by harporoeder 2y ago|0 comments
47.
Kalshi market: Who will win the Presidency?(kalshi.com)
2 points by harporoeder 2y ago|0 comments
48.
Reverse Engineering Whoop 4.0(github.com)
2 points by harporoeder 2y ago|0 comments
49.
Correlation between swearwords and code quality in open-source code? (2023) [pdf](cme.h-its.org)
45 points by harporoeder 2y ago|20 comments
50.
CPU usage even when idle (due to cursor rendering)(github.com)
4 points by harporoeder 2y ago|0 comments
51.
GPU Screen Recorder: A shadowplay-like screen recorder for Linux(git.dec05eba.com)
3 points by harporoeder 2y ago|0 comments
52.
Towards open-ended evolution in cellular automata(sites.google.com)
3 points by harporoeder 2y ago|0 comments
53.
Kalshi Cleared to Offer Congressional Prediction Markets in Victory Against CFTC(coindesk.com)
2 points by harporoeder 2y ago|0 comments
54.
Defect Report #260: indeterminate values and identical representations(open-std.org)
1 points by harporoeder 2y ago|0 comments
55.
Man versus Horse Marathon(en.wikipedia.org)
25 points by harporoeder 2y ago|6 comments
56.
by harporoeder 2y ago
With dependent types you still end up having to do dynamic checking of invariants for a substantial portion of real world code to construct the value with the properties you want. Anything coming from disk or network or a database etc. In p
57.
Label Errors in ML Test Sets(labelerrors.com)
1 points by harporoeder 2y ago|0 comments
58.
Chicago Mercantile Exchange Hurricane Index(en.wikipedia.org)
2 points by harporoeder 2y ago|0 comments
59.
End of Support for Mozilla Hubs(support.mozilla.org)
1 points by harporoeder 2y ago|0 comments
60.
Rust for Linux(rust-for-linux.com)
3 points by harporoeder 2y ago|0 comments

More ›