robryk @robryk@qoto.org
I enjoy things around information theory (and data compression), complexity theory (and cryptography), read hard scifi, currently work on weird ML (we'll see how it goes), am somewhat literal minded and have approximate knowledge of random things. I like when statements have truth values, and when things can be described simply (which is not exactly the same as shortly) and yet have interesting properties.
I live in the largest city of Switzerland (and yet have cow and sheep pastures and a swimmable lake within a few hundred meters of my place :)). I speak Polish, English, German, and can understand simple Swiss German and French.
If in doubt, please err on the side of being direct with me. I very much appreciate when people tell me that I'm being inaccurate. I think that satisfying people's curiosity is the most important thing I could be doing (and usually enjoy doing it). I am normally terse in my writing and would appreciate requests to verbosify.
I appreciate it if my grammar or style is corrected (in any of the languages I use here).
Joined Nov 2020
This can quickly lead to questions about how many different ones are there (infinitely many) and which infinity is that (mu; larger than any), which sadly is a hard-to-resolve confusion.
Aren't derivatives and notion of continuity earlier? (For momentary speeds and related concepts.)
@etchedpixels @alessandro @cstross
Or Switzerland. :)
Recongizers are often used only on inputs from some nontrivial distribution (e.g. image models on actual images and not white noise). You need a model for that distribution to use a discriminator as a generator.
Compression is ~equivalent to a model of the thing being compressed in a closer sense than that for recognizers. It's just often not that good of a model, because, among others, runtime performance of decompression is a consideration that at some point overrides optimizing for smallest (expected) compressed size.
Mein Stromzähler wurde diese Woche mit einem "Smart Meter" ersetzt. Bezüglich Datenschutz gibt ewz an:
> Die Datenübertragung ist zwar eine wichtige Funktion, die der intelligente Stromzähler mit sich bringt. Gesendet wird aber nur einmal täglich und zwar in verschlüsselter pseudonymisierter Form. Das heisst: Übermittelt werden lediglich die Nummer Ihres intelligenten Zählers und die aktuellen Verbrauchswerte. (...) So kann aufgrund der Verbrauchsdaten nicht darauf geschlossen werden, welche Tätigkeiten die Bewohner*innen ausüben.
-- https://www.ewz.ch/de/private/strom/anschluesse/smart-meter.html#faq
Das ist schon ein bisschen überverspechend: tagliche Stromverbrauchwerte lassen jemand feststellen, ob ich weg (im Urlaub) sind, oder ob ich an diesem Tag gekocht habe (und vielleicht ob für mehrere Personen gekocht wurde).
Danach habe ich aus Neugiere auf mein ewz geguckt und hat da Stromverbrauch separat für jede 15 Minuten gefunden. Das ist sicherlich genug um viel mehr über meine Tätigkeiten festzustellen: wenn ich komme nach Hause, wenn ich Tee am Morgen mache, vlt. wenn ich koche, usw.
Ich bin ein bisschen enttäuscht mit dem Kleinmachen und irreführenden Erklärungen (wie beim Datenschutz vom Swisspass, der "nur" ein Kennnummer ablesen lässt). Ich bin auch neugierig, ob Angriffversuche auf den System von den Einbrechern finanziert werden.
@kuba Inna interpretacja: po południu stojaki będą przesuwane/remontowane i trzeba żeby były puste.
@8petros Clockwork Rocket Grega Egana ma szansę pasować do opisu.
robryk
boosted
Baba Is You is now 6 years old! Thank you for all these years of support and kindness!
#babaisyou
This also looks like the hinges used in folding tables in trains (such as https://img.chmedia.ch/2019/1/31/3781ec25-d1b6-4e51-914b-a81dcd0cb2ed.jpeg?width=1080&height=720&fit=bounds&quality=75&auto=webp&crop=5246,3497,x0,y0).
robryk
boosted
I’m looking for a job, so…
I’ll be living in Gliwice (Poland), so I’m preferably looking for a remote job that can be done vaguely within the EU timezone, but local in office is fine too. I’m a (mostly backend) software developer with ~10 year of experience. Currently most fluent in Rust, but no language should be a barrier. I also have experience as an SRE and maintaining servers, plus lots of maths knowledge. I’m happy to do any of the above and more, as long as the result has a non-negative impact on society. I believe all my past employers have been very happy with my performance, and I can definitely promise you’ll be too!
@mcc https://blog.m-ou.se/super-let/ might be relevant
robryk
boosted
Made by Zach, but not Zachtronics: Kaizen is the just-announced Japanese-factory automation game from Coincidence that'll have you managing and optimizing an assembly line making all sorts of stuff
https://thinkygames.com/news/kaizen-a-factory-story-is-a-new-automation-game-from-the-developers-behind-beloved-zachtronics-titles/
https://atomic-spectra.net/ shows emission spectra of various atoms _with intensities_ and with pictures acquired experimentally.
@mcc it's iirc the only voting system that's an exception in the Arrow's theorem
@koakuma You can reduce problems that are NPC to that. E.g. for 3SAT consider a string that is equal to "01" repeated 2*num_var or so times, "#", "%001%010%011%100%101%110%111" repeated n_clauses times and a regex that goes "(.)(.).*" repeated n_vars times, "#", ".*%\a\b\c.*" repeated for each clause, with a, b, c replaced with 2* identifiers of variables in that clause, incremented by 1 if the variables appears negated.
Or shit with appropriate level of break ability: Ikea shipped me a glass teapot and mug in a 1m^3 box once.
I enjoy things around information theory (and data compression), complexity theory (and cryptography), read hard scifi, currently work on weird ML (we'll see how it goes), am somewhat literal minded and have approximate knowledge of random things. I like when statements have truth values, and when things can be described simply (which is not exactly the same as shortly) and yet have interesting properties.
I live in the largest city of Switzerland (and yet have cow and sheep pastures and a swimmable lake within a few hundred meters of my place :)). I speak Polish, English, German, and can understand simple Swiss German and French.
If in doubt, please err on the side of being direct with me. I very much appreciate when people tell me that I'm being inaccurate. I think that satisfying people's curiosity is the most important thing I could be doing (and usually enjoy doing it). I am normally terse in my writing and would appreciate requests to verbosify.
I appreciate it if my grammar or style is corrected (in any of the languages I use here).
Joined Nov 2020
