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
robryk
boosted
So… I'm writing another piece of CAD software 🤓
Say hi to Dune 3D, a parametric 3D CAD that supports STEP import, chamfers and fillets!
It's the result of gluing together the UI from Horizon EDA with the solver from solvespace and Open CASCADE for a geometry kernel.
After about 3 months of off-and-on development, it's finally ready for prime time, go check it out on https://github.com/dune3d/dune3d#readme
Don't be surprised if it's a bit janky or lacks some features, there's still a lot left to be done…
Today I learned that when you edit a Mastodon post:
- the web UI allows you to look at previous versions,
- ActivityPub API doesn't seem to mention their existence.
This makes me sad, because it means that (a) there's no uniform version identifier preserved across instances that have the same post (which could help detect malfeasance) (b) custom Fedi clients are denied access to something that is exposed via the Web UI, which forces people to use the web ui (or another instance's web ui, if that instance received all the versions) instead of an APub client.
(Aside, I've also found a server that 403s on attempts to use curl's User-Agent to fetch posts from it. I'm not sure how I feel about that.)
robryk
boosted
I just realized that `let _ = ...` and `let _foo = ...` behave differently in #rust.
The former drops the value immediately while the latter drops it at the end of the scope. This almost never matters due to the borrow checker but this was resulting in my tracing context being broken because I was calling `let _ = span.enter()` and the guard was being dropped right away.
robryk
boosted
Wie hoch ist das Unfallrisiko auf Deiner bevorzugten Veloroute in der Stadt #Zürich?
Checke den Velounfallrisiko-Rechner dazu unter 👉 https://www.nzz.ch/zuerich/so-gefaehrlich-ist-ihre-zuercher-veloroute-ld.1749405
Chapeau @nzz -Visuals (!) Einmal mehr eine sehr gelungene #OpenData-Anwendung 👏
#ddj #velo #unfall
plpol
W międzyczasie mój znajomy zrobił ~taką symulację:
https://github.com/OnufryW/Dhondt
(Nie bierze ona pod uwagę szansy na bycie języczkiem u wagi w kontekście przekraczania progu wyborczego, bo jej głównym celem jest pokazanie różnic między okręgami.)
robryk
boosted
IFComp 2023 begins now! https://youtu.be/bd1X9GrkCcs
robryk
boosted
Related to the latest round of everyone finding out what happens when you write image decoders in C++ now known as CVE-2023-5129: you may want to update every electron app on your machine as much as possible. Electron is built on the foundation of Google Chrome and it turns out that the webp vulnerability is also present in Electron. Annoyingly, this is going to require you to figure out which vendors have patched their apps for the vulnerability. Good luck.
You probably should update Discord immediately.
Hm~ on the off chance it's obvious to someone: I'm trying to use the built-in I2C hardware in STM32Lsomething. I use RIOT-OS's library for interacting with that I2C hardware, and what happens is that as soon as the pins are switched to the alternate function of I2C they get pulled down (afterwards it seems that no I2C operations ever complete, but that's not that weird considering this messed up initial state). Is there something obvious I could be doing wrong, or something I ought to check?
plpol
Mam wrażenie, że bezrefleksyjna powszechność zwrotu "głosowanie za kimś" powoduje podobnie dużo szkód jak "aresztowanie za coś".
Powszechny jest pogląd, że głosowanie polega na wybraniu kandydata, którego najbardziej chcielibyśmy widzieć wybranego. Nawet w przypadku wybierania jednoosobowego organu nie jest to sposób, w który najlepiej możemy realizować nasze preferencje (nawet nie może, bo nie zależy od tego, których z pozostałych kandydatów wolimy bardziej). W przypadku organów wieloosobowych sytuacja jest jeszcze bardziej skomplikowana, bo przestrzeń możliwych preferencji jest większa.
IMO warto myśleć o głosowaniu nie jak o wyrażaniu poparcia dla konkretnego kandydata, ale jak o wyborze, który ma skutki. Jeśli mamy do dyspozycji rozsądnie dobre przewidywania wyników wyborów, możemy poszacować jak każdy możliwy wybór może wpłynąć na wyniki.
Eh, chyba powinienem po prostu napisać taką symulację i ją udostępnić.
robryk
boosted
Today was ... interesting. If you followed me for the past months over on the shitbird site, you might have seen a bunch of angry German words, lots of graphs, and the occassional news paper, radio, or TV snippet with yours truely. Let me explain.
In Austria, inflation is way above the EU average. There's no end in sight. This is especially true for basic needs like energy and food.
Our government stated in May that they'd build a food price database together with the big grocery chains. But..
robryk
boosted
robryk
boosted
@samwho Rust is even more aggressive about some of this. You'd have to Pin<> things at a minimum, and that may not be enough. And any code that involves Pin<>s is usually a pain.
Put your secrets in a different address space, ideally in a different processor entirely.
robryk
boosted
The physics of why the first clock in America failed
The first clock in the Americas was an abject failure.
Little did everyone know that gravitation was to blame.
https://bigthink.com/starts-with-a-bang/physics-first-clock-america-failed/
Serwujecie na pol.social media z niewłaściwym Content-Type. Np takie https://pol.social/system/media_attachments/files/110/935/884/311/554/703/original/be66df9224d6be69.webp ma `Content-Type: text/plain`, a jest obrazkiem. To powoduje, że linki do nich (np. te w klientach innych instancji) otwierają stronę robaczków miast obrazek.
robryk
boosted
@msuriar tbf HAVING and WHERE being two different language elements is absurd.
Consider trying out https://prql-lang.org/ which compiles to readable standard SQL and doesn't have such issues :)
robryk
boosted
We have a wonderful Slack channel called #why which is filled with questions like "why do we do <thing>" or "does anyone remember why we do <thing>"
1. It's kinda helpful when you scale up staff by 100% in approximately one year
2. Even the CEO asks why questions!
3. At year 6 or so of a startup there are lots of decisions to be reconsidered
robryk
boosted
Some people, when confronted with a key management problem, think “I know, I'll use a Public Key Infrastructure.” Now they have a Problem Authority.
robryk
boosted
🇭🇰🇯🇵🇵🇱🇪🇺
In what world is walking on a bike lane (instead of a pedestrian lane immediately to its side) a reasonable way to minimize the chance of collision with a bicycle?
robryk
boosted
speaking of πλανητες watch the anime planetes now if you haven't already
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
