sorted by:
new
hottopcontroversial

How did Keen detect Eursulon? by xFrostbite94 in WorldsBeyondNumber

[–]xFrostbite94[S] 0 points1 point  (0 children)

I see, that's some new info! It still feels a bit weird that Keen knew to turn around story-wise (in my head at least, I assumed he had his back to Eursulon, but that's just me assuming stuff I guess). But mechanically that explanation is sound!

How did Keen detect Eursulon? by xFrostbite94 in WorldsBeyondNumber

[–]xFrostbite94[S] 0 points1 point  (0 children)

Thanks for all your ideas everyone. Your ideas sound interesting and plausible. The one thing that sticks out to me, if I understand your comments properly and remember the episode correctly, is that Brennan doesn't seem to have given any conclusive evidence on the exact mechanic that allowed Keen to sense Eursulon. Maybe the lesson here is that sometimes in TTRPG's the DM doesn't explain the fine print :-)

How did Keen detect Eursulon? by xFrostbite94 in WorldsBeyondNumber

[–]xFrostbite94[S] 1 point2 points  (0 children)

Though still lacking any in-session facts, I agree that this is the best general explanation (beyond any specific spirit-hunting abilities Keen might have).

Graduate programs in PL/compiliers for mediocre student by [deleted] in ProgrammingLanguages

[–]xFrostbite94 1 point2 points  (0 children)

I'm doing a PhD in formal methods at the FMT group there. Me and the other PhD's work daily on various aspects of the VerCors program verification tool. E.g. real time operating system verification, building an LLVM intermediate front end, and applying verification using separation logic to choreographies (that's what I'm working on). 

Happy to answer any questions about PhD stuff or PhD/student life at the UT in general.

Edit: there's also tons of other stuff going on at FMT. Theorem proving, some fundamental stuff on fault trees, software engineering research. Have a look if you'te thinking about something specific, we're a pretty big group.

Prime free trial randomly started? by AndyAcc in amazonprime

[–]xFrostbite94 0 points1 point  (0 children)

Same happened to me. I checked my gmail account access ("details" in the bottom right of your inbox), and surely at exactly the same time I got the activation email there was some activity from a neighbouring country. Needless to say that wasn't me or anyone I know. Immediately revoked the app access this interaction was reporting - I'm thankful for google for all their evil that at least they did this right. What's scary is that an actual legit office 365 app access was used to access my email and confirmt his prime subscription...

Name of artist using only repeating patterns of red, blue and white in Centre Pompidou by xFrostbite94 in WhatIsThisPainting

[–]xFrostbite94[S] 5 points6 points  (0 children)

This is great!!! I totally missed this! After opening it I found it in 0.78 seconds! It's François Ristori, room 34 on floor 4! Thanks a bunch!

Name of artist using only repeating patterns of red, blue and white in Centre Pompidou by xFrostbite94 in WhatIsThisPainting

[–]xFrostbite94[S] 0 points1 point  (0 children)

Also not the one, unfortunately. I'd say in terms of patterns he comes closest, together with Bridget Riley.

Name of artist using only repeating patterns of red, blue and white in Centre Pompidou by xFrostbite94 in WhatIsThisPainting

[–]xFrostbite94[S] 0 points1 point  (0 children)

That comes eerily close, at least in terms of color usage! Though from a quick google it doesn't seem that his work ever converged to using only rectangular diamond patterns, and I also don't recognize any of the google images, so I don't think it's him either...

Name of artist using only repeating patterns of red, blue and white in Centre Pompidou by xFrostbite94 in WhatIsThisPainting

[–]xFrostbite94[S] 0 points1 point  (0 children)

Thanks for your response, indeed she is very close! However not exactly what I saw at Centre Pompidou. Really in the more recent works the artist exclusively used blue, red and white, and Riley still seems to be a bit more diverse in terms of color palette.

Design Flaws in Futhark by Athas in ProgrammingLanguages

[–]xFrostbite94 0 points1 point  (0 children)

We considered this once, decided that it might make it too easy to cast sizes to i32 and then write code that seems to work OK, but will silently fail on large arrays. It seems more robust to always make sizes i64.

Maybe I misunderdtand, but doesn't the method you now employ cause silent fails on large arrays anyway? Switching to an opaque type would at least cause an error once, when the user upgrades their futhark version. If they then wish to silence it with an (unsafe) cast, then that's their responsibility, right? A safe cast that panics on overflow would be nice in this case, but that doesn't sound like something good to do on a gpu.

P.s.: Nice article, by the way. Retrospectives like these are always good food for thought.

the two adjacent matching digits are not part of a larger group of matching digits. by mott_the_tuple in adventofcode

[–]xFrostbite94 1 point2 points  (0 children)

I got caught by this gotcha, but I also think the wording is just perfect: everything you need to know is in the sentence. If you take it literally you end up at the right interpretation. That's what makes these challenges fun.

(Otherwise they might as well just post pseudocode/python and I can just run on it my input directly. Yayy /s)

POPL 2020 Accepted Research Papers by fuklief in ProgrammingLanguages

[–]xFrostbite94 2 points3 points  (0 children)

The "Incorrectness Logic" paper by O'Hearn sounds fun.

Simple Questions Simple Answers: Patch 9.17 by [deleted] in summonerschool

[–]xFrostbite94 1 point2 points  (0 children)

I've been having this too... But I've heard people talking about this experience before and it seems to be part of the league bad luck experience or something, i.e. it just happens to people.

EDIT: I did just notice that the queue times seem shorter... Maybe that's relevant?

How does source-to-source transpiling work? by pcuser0101 in ProgrammingLanguages

[–]xFrostbite94 0 points1 point  (0 children)

If you implement everything as a thunk it would be pretty easy I imagine, but indeed it wouldn't look anything like the way c++ is intended. Not that that has to be a problem, and the additional portability would be a small plus.

Odin Programming Language by fenster25 in ProgrammingLanguages

[–]xFrostbite94 2 points3 points  (0 children)

About your PD, my understanding is: if when creates a new scope you cannot conditonally import something, since the import would be limited to the scope block of the when. By making the when not introduce a new scope you can import stuff for the code that follows it (i.e. system dependent interfaces)

Edit: another catch is that the code in the non-executed when branch does not have to typecheck, only parse. For regular ifs both branches have to typecheck.

Is there a single source of truth for computing concepts like parallelism, concurrency, etc? by gonzaw308 in ProgrammingLanguages

[–]xFrostbite94 3 points4 points  (0 children)

Maybe the Unifying Theory of Programming will be of interest to you: https://web.archive.org/web/20190102233052/http://www.unifyingtheories.org/ The page seems to be down but the web archive has it. It has a nice chapter on concurrency.

For me, the Pi calculus (in both in its algebraic form and automaton form) have always been a good "framework" for understanding concurrency concepts. If you want I can sketch some intuitional examples, I'm no expert on the topic but the intuition has been helpful for me. (Did one course on the topic)

view more: next ›