staunton

35 ms·

511.
by staunton 3y ago
Has anyone here ever used category theory in a business (or any purpose other than publishing papers)? (Don't give me "I used a monad once while programming", I mean the kind of stuff that book is about)
512.
by staunton 3y ago
In this context, the implied reason is that your still have a bank account if one of the banks decides to close or freeze your account. If you can do without an account altogether (how??), good for you, I guess.
513.
by staunton 3y ago
Shh, Elon might get some ideas...
514.
by staunton 3y ago
Kant famously "derived from basic moral principles" that it's acceptable to kill unwanted newborns provided they are born out of wedlock. Make of that what you will... Edit: Polemics aside, I looked it up and of course people
515.
by staunton 3y ago
It has lots of comments inside the regexes. How would this better comment support look like?
516.
by staunton 3y ago
Wow, that file must be paradise for regex nerds, assuming there are any such...
517.
by staunton 3y ago
I think people disagree and argue about this so much because each preference is true in that developer's context and environment. Everyone who voices a general opinion should indicate what kind of development they do. How could it poss
518.
by staunton 3y ago
It's a regex? Is it even guaranteed to work then? I would think you have to parse non-regular languages to always find the end of a function in a some languages? Indeed, it does not always work correctly for Julia, as an arbitrary ex
519.
by staunton 3y ago
It's a lot less obvious how to pitch AI that will "make you rich". With crypto, you just "buy it, it appreciates, you're rich". The only possible discussion (besides sensible investment strategy, which the pump
520.
by staunton 3y ago
The problem in that case is how it's possible "not to track" somebody who pays for the service and accesses content via a paid account, and how it's possible to demonstrate to users how their data is handled. I guess onl
521.
by staunton 3y ago
Why exactly do you think it's absurd? Can you give some arguments or explain how you model what a corporation will or won't do? My original post also didn't give argumens. To explain my model: a large corporation will act in
522.
by staunton 3y ago
We live in an age where the idea of large corporations is still fairly young (much younger than governments) and where governments are much stronger than corporations. However, if Google could get away with running a police, I think it&#x
523.
by staunton 3y ago
> they are also doing it to protect our tech industry Indeed. And due to the fact that such an industry basically doesn't exist, they are able to introduce such regulation.
524.
by staunton 3y ago
Your point being?
525.
by staunton 3y ago
So why does that mean Rust will be abandoned in a few decades? Do you think there will be a trend "back" to using C or C++ for systems programming? I would bet against it. I do believe, by the way, that C has stopped evolving (whi
526.
by staunton 3y ago
Why do you think it will be abandoned? Programming languages past a certain point don't die easily, especially when used for low-level system programming (otherwise C and C++ would be long dead).
527.
by staunton 3y ago
Both can be true at the same time. Big AI companies can be trying for regulatory capture while there may be real dangers, both short-term as well as long term, perhaps even existential dangers. Why do people seem to think evidence for one o
528.
by staunton 3y ago
That "pattern" actually indicates that something is true most of the time (after all, a lot of dangerous things really exist). So "noticing" this pattern seems to rely on being all-knowing?
529.
by staunton 3y ago
Arduino is "just" C++, it uses gcc to compile after all. There's minimal amounts of text-level meddling in the toolchain that e.g. includes some headers, declares your methods and defines an entry point for you.
530.
by staunton 3y ago
> the entire Arduino ecosystem is, to put it bluntly, a huge mess due to its scrappy nature It's less scrappy in my experience that a lot of the tools "aimed at professionals". (I guess "aimed at professionals" i
531.
by staunton 3y ago
> or eventually become irrelevant That's exactly what it should do. Stop adding features, keep the standard stable, let new languages slowly take over. The C committee's approach is quite close to what I would like to see.
532.
by staunton 3y ago
Does anyone know vision models that detect ads? I wasn't able to find any, which is kind of surprising... That sounds like an armsrace that would exist.
533.
by staunton 3y ago
> Unfortunately universities are not immune to the realities of living in a capitalistic society This is of course true (trivially and of absolutely anything in a capitalist society). However, it's somewhat ironic in that academia a
534.
by staunton 3y ago
That seems consistent with my claim. Teaching experience is a "plus", no attempt is made to evaluate the quality of someone's teaching. A few CVs I've seen don't even mention teaching experience despite people hav
535.
by staunton 3y ago
Why do you suspect that? (Or was it ironic?)
536.
by staunton 3y ago
Given a billion dollars or so, I guess one moght get pretty far. The roadblock might be more that nobody is seeing a lot of market potential.
537.
by staunton 3y ago
The question was about getting such a position. Do you know any case where a hiring decision was decided by somebody being thought to be bad at teaching? Or somebody being significantly better at teaching than somebody else? How does a hi
538.
by staunton 3y ago
Maybe that should play a role for getting university "teaching" positions but it doesn't. Neither did it play a role for Einstein.
539.
by staunton 3y ago
> the developers do not seem to consider it a core goal of Lean I guess it depends on who you ask. The original devs of Lean wanted to do "everything" (because that's how you start projects, I guess). Since then it has att
540.
by staunton 3y ago
There are people doing this already. For Lean, an example is https://morph.so/blog/the-personal-ai-proof-engineer/

More ›