robryk @robryk@social.cleverlibre.org
I enjoy things around information theory (and data compression), complexity theory (and cryptography), read hard scifi, currently work in infosec, 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 if my grammar or style is corrected (in any of the languages I use here).
Joined Nov 2020
Does #Mastodon implement #ActivityPub client-server API?
I do what https://www.w3.org/TR/activitypub/#client-to-server-interactions tells me to:
- I look up my own Actor object and look up its outbox (qoto.org/users/robryk/outbox in my case),
- I send a POST with appropriate 'Authorization: Bearer ...' header,
and then I get 404 (GETs on that URL do succeed and show a collection).
Is client-server activitypub something that is ~ever implemented?
Outer Wilds spoilers
Heh, if you fly away far enough, the sun goes supernova significantly later (at least a minute after it eats the Interloper). I guess (based on the map being screwy: e.g. Interloper appears well off its indicated orbit) that there's a floating point accuracy problem there.
TIL what's the point of oil in oil paints: https://en.wikipedia.org/wiki/Drying_oil
#OuterWilds is awesome.
(Please be sure to CW spoilers, and be aware I won't read them for at least a longish while.)
robryk
boosted
@robryk@qoto.org Yes. You can measure temperature by observing a crystal oscillator's frequency drift (with a known reference clock). Hewlett-Packard made this lab instrument in the 1960s, with a resolution of .0001”C. AFAIK it's still a really precise method by today's standard, but it went out of favor as the crystal needs to have a special cut with linear temperature coefficient. See HP Journal Vol. 16, No.7, 1965. http://hparchive.com/Journals/HPJ-1965-03.pdf Linear Technology App Note 61 shows how to build your own, see page 13: https://www.analog.com/media/en/technical-documentation/application-notes/an61fa.pdf
Fun fact: This phenomenon has been used as a deanonymization attack against Tor. By observing the 24-hour drift of the system clock, one can determine the longitude of the target server, latitude can further be determined by the change in day length. https://www.freehaven.net/anonbib/cache/HotOrNot.pdf
robryk
boosted
#TIL Möbius resistor. Take a double-sided copper tape (with its top insulated from the bottom), and join the tape onto itself as a Möbius strip. Now you get an ideal current-sensing resistor with almost no parasitic inductance. The resistor behaves like two short-circuited microstrip transmission lines with continuous ground planes, with an input port always at the center. An extreme form of the "folding back the wire" technique for making non-inductive wire-wound resistors... Cool idea, but practically it probably isn't too useful... https://en.wikipedia.org/wiki/M%C3%B6bius_resistor #electronics
robryk
boosted
Foxes in Love 11/14/2022
homepage: https://foxesinlove.net
source: https://foxes-in-love.tumblr.com/post/700889032447705088
@freemo Our math rendering continues to do very weird things (the quoted post gets some expressions rendered into very tall boxes with superscripts at the top and with some white rectangles overlaid on top of everything).
Let \[ G = \left\langle a,b,c \mid a^2, b^2, c^2 \right\rangle \] and let H be the index 2 subgroup consisting of (reduced) words in a, b, c of eve...
robryk
boosted
the thing that i'm still most pleased with:
LEXY'S LABYRINTH, a puzzle game that happens to 99% emulate CHIP'S CHALLENGE 1 and 2! a trademark of bridgestone media group
- more than 800 community levels
- can load stock CC1 or CC2 levels too (and CC1 is free on steam!)
- rewind and undo!
- works on a phone!
- built-in editor; share levels with just a link
- new art and soundtrack
- fixes for some glitchy behavior, but compat settings if you'd rather not
- dev tools with demo playback and more
robryk
boosted
Lojban thread!!!
Okay let's talk about Lojban! No, this first post won't be in Lojban itself (but you gain enormous bonus points if you translate it).
Lojban is a natural, spoken language (like English, French, Swahili, Toki Pona, or Esperanto). It's also a constructed language or "conlang" (like Toki Pona or Esperanto). It's very easy to learn!
- la karda: a great tutorial: https://mw.lojban.org/papri/la_karda
- a lojban dictionary: https://la-lojban.github.io/sutysisku/en/index.html
Toki Pona is fairly popular on the fediverse because it's such a cute language, and is in many ways the polar opposite of Lojban. Where Toki Pona is a fuzzy conlang, Lojban is a very crisp one. While spoken, it's also:
- Syntactically unambiguous! The "roles" in a sentence are always clear and parse cleanly. There's no such thing as "Time flies like an arrow" where you aren't sure if it's about the movement of time resembling a fired arrow or these creatures called time flies, who really love arrows.
- A predicate language. You can translate it into something like a problem solver and easily do analysis on statements, Good Ol' Fashioned Artificial Intelligence style
What it *DOESN'T* give you, and this is frequently misunderstood by various community members, is meaning disambiguity. The language tries fairly hard to reduce confusion there, but there are certain problems in language which are *inescapable*... the world changes, vocabulary drifts, two agents have different conceptions of things based on their experiences.
I AM NOT GOOD AT LOJBAN! But I really like it. It takes me a long time to interact via Lojban.
@cadey is probably one of our more prolific Lojban speakers. Who else speaks it? Let's use Lojban as much as possible in this thread!
How popular is https://en.m.wikipedia.org/wiki/Cynefin_framework?
I've learned about it a few days ago and I realized that the boundaries it describes are very often by people without explicit references to it, and the correlations it implies (e.g. that need for reasoning from first principles is strongly correlated with problems that are not precisely specified). Now I wonder if everyone learnt about it and uses it (and I just didn't get the memo) or if there's a different source for these ideas.
The reason I noticed that is that I find some of the consequences of that view of the world weird and/or suboptimal for good modeling of the world. In particular, I like well-specified problems where you need to reason from first principles. Also, I see a tendency in the environments that deal with things that Cynefin marks as "complicated" to _not_ make it easy to reason from first principles (by not caring about making the relevant first principles easy to specify).
#cynefin #crypto (-adjacent, because cryptography is the area that seems to straddle complicated and complex) #ethics (well, if not that then what is the branch of philosophy that does the same to motivation that epistemology does to knowledge?)
robryk
boosted
--, mention of suicide
@ariadne Answering own question: https://www.zigg.com/2018/natalie-nguyen.html
@ariadne Who is Natalie Nguyen? A quick Google search yields a French TV presenter, a history professor, and a few other people that I don't think treehouse.systems is referring to.
robryk
boosted
So turns out setting up a self-hosted Mastodon instance on NixOS is fairly painless.
https://github.com/delroth/infra.delroth.net/commit/bd9c974fc16e9ad7472c55ec1e0fb51dd4728eb9#diff-ff6d5a50f733070479c3cfba2339e86ed2666ba81a5cc48bb42cc03f5590dcf1R1 is basically all that was involved, and the only reason why I even have to setup the nginx config myself is because I do the weird split-domain thing where mastodon-web runs on mastodon.delroth.net (but I want to be ).
Of course I'm sure the pain will be in the long run... hopefully not :)
@delroth While experimenting with self-hosting be aware that the state machine for following has no support for reconciliation (so if you mess up the state on your side, it might stay inconsistent forever without anyone noticing).
Things that are very weirdly broken in a nearly-necessary way: https://bugs.busybox.net/show_bug.cgi?id=15101
I enjoy things around information theory (and data compression), complexity theory (and cryptography), read hard scifi, currently work in infosec, 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 if my grammar or style is corrected (in any of the languages I use here).
Joined Nov 2020
