Show newer
robryk boosted

@grimalkina

Predictive value for what kinds of questions?

@whitequark

Do you also want not to get a stream of audience comments/responses/reactions? I'd guess so, and if so this is an additional important difference.

@ProfKinyon

Thanks, this is a proof of this fact I haven't seen.

(The way I've been thinking about this is that if \sqrt{N}=a/b, then \sqrt{Nb^2}=a and multiplying a perfect square with a nonperfect square yields a nonperfect square (which can be easily seen by looking at prime decomposition of both).)

@Michael

There are places that have smallish companies operating as a food delivery intermediary (e.g. mosi.ch claims to employ 100 deliverers -- likely many of them part time). I would expect such companies to be somewhat close to the range of models you are considering, so I expect them to have stumbled into many of the issues that I wouldn't even imagine that would arise.

I would be afraid of running into some unsolvable tradeoffs between privacy of customers and ability to detect some kinds of antisocial behaviour from various parties (e.g. how would we deal with areas that no deliverer wishes to serve for whatever reason? if we consider that fine (or consider much higher delivery prices there fine), this is IMO too close to extremely laissez faire capitalism to net the benefits I think you expect. the only ways to prevent that that I can see rely on social pressure, which requires some transparency into delivery orders accepted/rejects).

@textfiles

When I look at wiki page of VCF, I can't tell how related the different editions are (in particular, how related are the European ones to the USAian ones). How much are they all organized by the same organisation?

looking for work, boosts appreciated 

@timorl

Have you looked at fly.io? They're doing infra that others use, so it's kinda hard to estimate value to society. Everything else seems true of them.

robryk boosted

looking for work, boosts appreciated 

I’m a software developer with about 6 years of experience. My most recent work was in Rust, but I’m also comfortable with C++ and Go, and happy to work with any language. Most of my experience is with, broadly speaking, backend work. I also have SRE skills, a strong background in mathematics and CS, experience working with distributed systems and cryptography, and experience prioritizing and organizing work within a team.

I would prefer a job that:

Provides a non-negative value to society.
Preferably is remote, but I live in Switzerland and am willing to relocate to English or German speaking countries or Poland if the offer is interesting enough.
Works on something long-term, rather than chasing trends.

Any leads appreciated! #GetFediHired

@LukaszOlejnik is there a description of what direct means somewhere? I don't see a very clear line that makes this direct and e.g. ensuring delivery of tap water to a military base not direct.

@LukaszOlejnik

How should I interpret direct causation? If I use my intuitive understanding, I would conclude that setting up an automated observation post does not satisfy the wording, which would surprise me.

@christmastree @fasterthanlime what about the stations that are in the zone that doesn't support standard oyster because the zone number is too large?

@grimalkina

To me (with my worldview currently skewed by working in infosec bordering systems reliability) estimates by default mean probability estimates or frequency estimates.

@grimalkina @jenniferplusplus

Hm~ I'm not sure what exactly workplace caring about something means (majority of employees caring about it? employees being rewarded for it? something else?). Roughly which (nonacademic?) workplaces would you expect to care about learning true things in the way you mean?

Disclaimer: quarter-baked

Roughly half of primary school students have some experience with the concept of braids and maybe with the practice of making them. At the same time braids are nice objects to study, because they form a noncommutative group with infinite order elements.

So, would it be possible to pose some interesting-but-approachable problems about braids[1] to primary school kids? Obvious ideas for me are:
- how can we describe a braid?
- do two braid descriptions describe the same braid? what does this even mean? this can naturally introduce a concept of "invariants" (in the sense of a function from a braid representation that is equal for all representations of the same braid) and the concept of transformations of descriptions (and then maybe completeness of that)
- is every braid a commutator of two braids? (sadly this doesn't seem very natural here),
- what generator sets are there? is it sufficient to flip adjacent strands only?

[1] morally similar to "how many isometries does a cube have?"

@grimalkina @jenniferplusplus

I'm afraid of having single statisticians in random places in an organization due to incentives: I don't know how to prevent them from being pushed into finding arguments for a preselected conclusion.

@grimalkina

It's IMO even worse with logic ("these two things are similar enough so that we can call them equivalent, no?").

@thomas

oder "Unsere Infrastruktur ist teilweise Scheisse und zusätzlich mangeln wir am Personal."

Wisset ihr, wie Verspätungen aufgrund Suizidversuche erklärt werden? Ich würde überrascht sein, wenn diese auch so direkt beschrieben würden.

Silly me, obviously for any larger exponent the thing diverges and for any smaller it converges to constant 0 (at least pointwise). It's sufficient to look at stddev of position at some fixed time.

Show thread
Show older
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.