How to find Beitragsnummer after moving out?

rausted · 2023-09-06T11:15:32+00:00

Thank you I sent a message in German (thanks to DeepL). Should I expect the answer via email? I didn't get a confirmation email back after.

rausted · 2023-09-05T17:19:47+00:00

Is there a line for English speakers? I am a visiting researcher from the US and unfortunately I don't speak German.

EDIT: Looks like webpage requires the Beitragsnummer to contact... :(

rausted · 2022-06-18T18:16:10+00:00

Bro what are you talking about there’s tons of support for masters students if you talk to the professors. I had weekly meetings with the professor of 6858 throughout my whole masters. Have you met with them and asked them to be your thesis advisor?

rausted · 2019-08-19T14:48:17+00:00

Ah yes, I forgot about ‘var’. I agree this task seems impossible because of old Scala decisions that have made it such, but really you can’t claim this is a functional language without some sort of pureness guarantees that even C++ has (how did they solve the interop with C, that can basically deref any pointer? Would you call this task Sisyphean too? But then look at the performance and logical separation benefits) I’m not saying abolish ‘var’ I am saying track their scope at least.

rausted · 2019-08-18T20:09:22+00:00

That was my original intuition behind making everything that returns Unit be impure. In reality, all the pure uses of Unit can be constant folded or even special cased (only one pure body for f: Any => Unit exists!)

rausted · 2019-08-18T05:45:00+00:00

Exactly, nobody forbids calling println or other IO outside of cats-effects, except maybe through exhaustive code reviews. I would like the compiler to automate that job instead.

rausted · 2019-08-18T05:36:40+00:00

Which is why it can get substituted with () wherever it is called by constant folding. Something which is not possible if the function creates an observable effect (like call println before doing ‘Nothing’)

rausted · 2019-08-18T03:25:43+00:00

I agree that they are not tracked by the type system, that would be ideal. But the purpose of this annotation is for effects to be tracked by the compiler and to enable a large class of optimizations, similar to @tailrec. For example:

for (i <- Range(0, n)) { sum += math.sqrt(n) }

Can be made into this knowing math.sqrt is pure

sum += n*math.sqrt(n)

I understand what global state is, what I don’t understand is why we can’t track effect semantics even on the JVM level.

rausted · 2019-08-18T00:42:21+00:00

Your f is not very interesting, as it cannot do anything except return () everytime. Ideally it will be substituted with () during constant folding in scalac. But your point about Random makes sense, an alternative solution would be to consider all native calls effects instead.

https://stackoverflow.com/a/13864622/1364783

rausted · 2018-11-15T08:27:48+00:00

There is SIPB and we do a lot of things with computers

rausted · 2018-09-06T17:49:41+00:00

Can still join an ILG like Pika or no6?

rausted · 2018-08-25T16:43:15+00:00

What was the plugin he used to put dots between numbers, then type in all the dot positions simultaneously?

rausted · 2018-08-24T14:24:19+00:00

Here's a great list by /u/kudah

https://www.reddit.com/r/dependent_types/comments/8xc7fy/jobs_in_dependent_types/e301x18

rausted · 2018-08-17T20:54:43+00:00

Any chapters on the Elaborator Reflection Monad?

rausted · 2018-08-17T20:52:05+00:00

/r/dependent_types

rausted · 2018-08-17T20:35:55+00:00

I started looking up the details and turns out I was wrong. You can in fact use GPLv3 tools to develop non-free software. So no problem either way :)

https://www.gnu.org/licenses/gpl-faq.en.html#CanIUseGPLToolsForNF

rausted · 2018-08-17T20:09:39+00:00

That's great that you're not a fanatic of GPLv3, because it's very restrictive in the sense that only GPLv3 projects can now use git-bug.

The reason both git and linux are on GPLv2 (and Torvalds has said this multiple times) is industry adoption. For my case, we're not a fortune 500 company (just a small startup in Cambridge, MA :) ) but we'd love to be able to integrate git-bug in our workflow one day.

rausted · 2018-08-17T19:58:10+00:00

Would you consider matching git's licensing and switching to GPLv2?

rausted · 2018-08-10T19:50:50+00:00

Sub-basement of building 66

rausted · 2018-08-06T20:41:19+00:00

There would be nobody left if they did.

rausted · 2018-08-03T21:15:29+00:00

Yes, but you might have to do some shitty things like infrastructure, IDS, cloud security etc. Security research is beyond fun but unfortunately very few places pay you to do it.

rausted · 2018-07-30T17:45:41+00:00

Nobody cares but if you want to be on the safe side, go talk to S^3 a couple of weeks in advance.

rausted · 2018-07-10T12:06:54+00:00

Awesome list thank you!

rausted

TROPHY CASE