Kristin Rutenkolk

635 posts

Kristin Rutenkolk

Kristin Rutenkolk

@Wire_Daemon

Formal Methods, Programming languages, Specifications. she/her 🏳️‍⚧️

Tham gia Ağustos 2013
190 Đang theo dõi214 Người theo dõi
Kristin Rutenkolk
Kristin Rutenkolk@Wire_Daemon·
@vzarytovskii it really has. and it's amazing how much library code can be stable (and the standard library is). i love the language for this aspect in particular.
English
0
0
2
45
Vlæd Zá 🤡
Vlæd Zá 🤡@vzarytovskii·
Clojure is still one of the best languages I have ever worked with, with one of the best (if not the best) standard libraries.
Tim Pote@potetm

lol

English
4
0
4
831
Kristin Rutenkolk
Kristin Rutenkolk@Wire_Daemon·
i first though it was the bytecode that was generated by hand, but no, it was the bytecode generated by clojure. lesson learned: don't def with const unless you *absolutely have to*
English
0
0
0
117
Kristin Rutenkolk
Kristin Rutenkolk@Wire_Daemon·
Current Frame: bci: @175 flags: { } locals: { } stack: { uninitialized 165, uninitialized 165, 'java/lang/Object' } Bytecode: 0000000: 12d5 12d7 b800 dbc0 0011 b300 0f12 dd12 0000010: dfb8 00db c000 11b3 0019 12d5 12e1 b800 0000020: dbc0 0011 b300 3112 e312 e5b8 00db c000
English
1
0
0
147
Kristin Rutenkolk
Kristin Rutenkolk@Wire_Daemon·
clojure def with the ^:const metadata is extremely evil. if you use it on non-primitive datatypes or strings, etc, it *can* work ... to a degree. but it then might blow up spectacularly once the type of the value is being inspected. And the error is some nondescript stuff
English
1
1
3
231
Kristin Rutenkolk
Kristin Rutenkolk@Wire_Daemon·
@Aron_Adler @eternalism_4eva @psychiel it doesn't? you always weigh the chance that your initial guess was right vs that it was wrong, which is the more likely event. But in the 1000 doors case it's easy to intuit why. this doesn't change if you remove a door from the system. Repeat until only 3 doors.
English
0
0
2
34
aron
aron@Aron_Adler·
@eternalism_4eva @psychiel yes i agree that that helps, but all that does is make a stronger "the probabilities of all these doors have been funnelled into this one door" in other words, it quantitatively strengthens the intuition, but it doesn't qualitatively raise it to a more intuitive level
English
2
0
0
95
aron
aron@Aron_Adler·
there has to be a better way of explaining the monty hall problem that doesn't require you to imagine abstract probabilities shifting around from one door to another
Julian@julianboolean_

@fchollet ie in classic Monty, my initial door stays at 1/3 , because I always knew Monty would pick a goat door, so him eliminating one of the remaining doors is not evidence to update my door. So the last remaining door has all the remaining 2/3rds probability

English
6
0
6
1.3K
Kristin Rutenkolk
Kristin Rutenkolk@Wire_Daemon·
@Keleesssss @Aron_Adler Well, for the case of 3 doors the showmaster does open all remaining doors except one. it just looks weird because it's the smallest possible variation. Like in every case, you hedge the chance that your initials guess wqs right vs that it was wrong (which is more likely)
English
1
0
1
70
Alperen Keleş
Alperen Keleş@Keleesssss·
@Wire_Daemon @Aron_Adler The thing is, they only open 1 door in the original, and your analogy makes it “opens all remaining doors”. If there’s 10000 doors, I pick one, the showmaster opens another one, should I switch?
English
1
0
0
57
Kristin Rutenkolk
Kristin Rutenkolk@Wire_Daemon·
@ampdotprivate I don't think so. It's more that when it happens I am suffering and am vulnerable to the point where suggestions and advice can inadvertently cause people-pleasing or demand-avoidance in me. I think the cause isn't *actually* important, only the impact (at least for me).
English
0
0
0
12
Kristin Rutenkolk
Kristin Rutenkolk@Wire_Daemon·
@ampdotprivate for me there is a threshold where if i'm feeling badly enough i really don't want to interact with a lot of people when it happens it's like realizing "something fundamental isn't working and i am not open to most people's advice or opinion"
English
1
0
0
11
chreke
chreke@therealchreke·
An ORM is just a compiler with a SQL target send tweet
English
2
0
4
101
Kristin Rutenkolk
Kristin Rutenkolk@Wire_Daemon·
@vzarytovskii as strange as it sounds, javafx is still surprisingly solid. it's its own open source library openjfx now and there is a gui scene builder tool. it has it's own declarative format thing going on if you want that. it feels quite oldschool but it's robust and i still quite like it.
English
1
0
2
155
Vlæd Zá 🤡
Vlæd Zá 🤡@vzarytovskii·
I would like to build a cross-platform desktop app. Any suggestions for libraries/sdks? So far I’ve considered React(Native/Electron), Flutter, ImGui. TS has the biggest amount of ready to use components. Flutter/Dart look really good though.
English
14
0
5
2.7K
Kristin Rutenkolk
Kristin Rutenkolk@Wire_Daemon·
@foremostarchwiz maybe something like agency denier not taking responsibility for their (lack of) actions, insinsting on their victim role, engaging in learned helplessness... maybe voluntary victim could also work
English
1
0
9
257
Megumin
Megumin@foremostarchwiz·
Is there a term for people consistently and repeatedly refusing to take mitigations against adverse events, and then complaining when said events inevitably affect them?
English
18
25
271
5.4K
aron
aron@Aron_Adler·
@Wire_Daemon YES YES YES I'm literally always saying this 💯
English
1
0
4
49
Kristin Rutenkolk
Kristin Rutenkolk@Wire_Daemon·
there's lots of productivity advice that just doesn't work if you're some flavor of adhd and/or autism e.g. eating the frog (doing the ugliest task first) is a surefire way to procrastinate for me. for me it's all about momentum and this is like starting the car in 6th gear
English
1
0
6
197
aron
aron@Aron_Adler·
was every poaster born from Unemployment?
English
4
0
19
920
Kristin Rutenkolk
Kristin Rutenkolk@Wire_Daemon·
i found a dev diary from 2017. it has this comment: "In the long run a vulkan backend seems like the way to go, but with vulkan the bootstrap IS the project " it's sad that in 8 years, things have improved (1.3 whoo), but not to the point where this statement is now incorrect
English
0
0
2
111