[08:36] schestowitz[08:36] schestowitzI was lucky enough to attend to EuroBSDCon 2023 and offered the opportunity to talk about one of my favorite OpenBSD stock daemon: relayd(8).
[08:36] schestowitzThe talk was recorded and made available on the EuroBSDCon YouTube channel. . One may check the EuroBSDCon 2023 program for more material.
[08:36] schestowitzThis post attempts a reboot of the slides content in a more browser-friendly format.
[08:36] schestowitz
[08:37] schestowitz[08:37] schestowitzIn Ubuntu we have a third type of upgrades, handled by a separate tool: release upgrades. ubuntu-release-upgrader changes your sources.list, and applies various quirks to the upgrade.
[08:37] schestowitzIn this post, I want to look not at the quirk aspects but discuss how dependency solving should differ between intra-release and inter-release upgrades.
[08:37] schestowitz
[09:01] schestowitz[09:01] schestowitzLike with any discipline, using TLA+ (and formal methods more broadly) takes a lot of different skills. One of them is choosing good properties to verify. I want to explore what we mean by "good properties". Let's take a real simple model of wire transfers: [...]
[09:01] schestowitz
[09:13] schestowitz[09:13] schestowitzThe Taliban released four British nationals from captivity in Afghanistan, including edgelord shitposter Lord Miles Routledge. Routledge is infamous as a self-proclaimed war tourist who first gained notoriety when he barely escaped Afghanistan during the U.S. withdrawal in 2021.
[09:13] schestowitz
[09:23] schestowitz[09:23] schestowitzA typical solution for letting people with cerebral palsy drink without assistance is a giraffe bottle. That is a water bottle with a long gooseneck straw that extends in front of the users mouth. But while that does give them the ability to drink on their own, it is obtrusive and leaves a bulky straw in front of their face. RoboCup eliminates that issue by rotating the straw out of th [09:23] schestowitz e way when it isnt in use. To take a drink, the user just needs to push a button or move their finger over a sensor. The straw will then rotate back over to their mouth.
[09:23] schestowitz
[09:32] schestowitz[09:32] schestowitzIn this paper, we improve this attack by developing several new techniques that enable us to extract with arbitrarily high precision all the real-valued parameters of a ReLU-based DNN using a polynomial number of queries and a polynomial amount of time. We demonstrate its practical efficiency by applying it to a full-sized neural network for classifying the CIFAR10 dataset, which has 3072 inpu [09:32] schestowitz ts, 8 hidden layers with 256 neurons each, and about 1.2 million neuronal parameters. An attack following the approach by Carlini et al. requires an exhaustive search over 2256 possibilities. Our attack replaces this with our new techniques, which require only 30 minutes on a 256-core computer.
[09:32] schestowitz
[09:37] schestowitz[09:37] schestowitzWhat is especially depressing about this latest DDoS attack was how few machines were needed to create it. Like the February attack, it was abusing the same HTTP/2 protocol, and the botnet was about 20,000 individual endpoints.
[09:37] schestowitz