Gisteren heeft het Europees Parlement de verordening over #chatcontrol aangenomen: een trieste dag voor iedereen die vertrouwt op vrije en vertrouwelijke communicatie en advies, waaronder slachtoffers van misbruik en journalistieke bronnen. #surveillance
Zo hebben de fracties in het Parlement gestemd:
"From 2015 to 2019, #Iceland ran the world's largest trial of a shorter working week. An analysis of the results was finally published this week, and surprise! Everyone was happier, healthier, and more productive. Please pretend to be surprised."
https://mashable.com/article/iceland-four-day-work-week-trial
🇮🇸
@urusan I would say likely the second law of thermodynamics, eventually.
@dzwiedziu I had no idea, absolutely glorious.
Happy I took time to study some topology this summer. Algebraic topology is all the things I hoped for.
I am not sure I quite get it yet, but a topology of something seems to be usable as a definition to a lot of geometric notions. All of analysis work seems to just be applied topology. And with homotopy type theory, all sorts of data science, machine learning, and statistics work could be made easier and more precise.
Cubical type theory, (a computation friendly HOTT) is not even 2 years old. It is going to be big.
@kuba SECONDARY raz mi się zdażyło użyć bo jakiś program z zupełnie niezrozumiałych powodów tam wsadzał rzeczy po kliknięciu przycisku "kopiuj" przy jakimś IDku (to chyba był uTox?). Dwa pozostałe są istotnie różnie, bo CLIPBOARD to jest ten od ^C/^V, a PRIMARY od zaznaczenie/środkowy przycisk myszy lub Shift+Insert.^C oczywiście służy do czegoś innego w terminalu, więc tam się go nie bardzo da używać, a Shift+Insert czasem nie lubi działać z programami innymi niż terminal (a nikt rozsądny nie używa przecież myszki).
No i oczywiście w vimie jest też różnica między `"+` a `"*`.
Co mi przypomina, powinienem se w końcu zrobić skrót klawiszowy na `xclip -o| xclip -selection clipboard`, bo odpalanie tego w losowo wybranym terminalu za każdym razem jak potrzebuję to trochę hańba...
@kmic
@arkadiusz_wieczorek Jak chcę być "zabawny" to mówię kaczkaczkiść / kaczkaczidący, ale to niestety zbyt nieporęczne do powszechnego użytku. :/
@arkadiusz_wieczorek Zawsze tak tego używałem. "Pokaczkujesz mi?" @mkljczk@mstdn.io
@pre Somewhat related story. In my highschool days, when I was just learning programming, I ended a comment with ":(". Since this was before the days of compilers actually attempting user-friendliness, it took me ages to figure out the compiler was freaking out about an unclosed parenthesis...
@pre Pff, you are missing "🤩 = ...". Languages without unicode support for variable names are weak.
@freemo Have you seen https://researchers.one/ ?
@urusan I'm not sure about the rest, but the last point is clearly just your sense of fashion developing healthily.
Programmer and researcher,. Ended up working with all the current buzzwords: #ai #aisafety #ml #deeplearning #cryptocurrency
Other interests include #sewing, being #lesswrong, reading #hardsf, playing #boardgames and omitting stuff on lists.
Oh, and trans rights, duh.
Header image by @WhiteShield@livellosegreto.it .
Heheh, gentoo, heh, nonbinary, heheheh... I'm so easily amused sometimes.