Garlef

22 ms·

361.
by Garlef 4y ago
> Did Germany change over the last 20 years, or were my perceptions off from the get-go? There has always been corruption. Germany under Kohl was also called Bimbesrepublik at times. "bimbes" being a cutesy/deragatory term
362.
by Garlef 4y ago
The previous version of this post received some downvotes. Could you give me two examples of a more balanced view? Here's the original post: """ > Tired of Hearing about ChatGPT No. But tired of all the complaints. He
363.
by Garlef 4y ago
> every user has their own server I think we're on the same page. The only difference is that I think that the OS/Server/Filesystem is a big hinderance for many applications. I just want an environment where I can to execu
364.
by Garlef 4y ago
Ach. I don't know. I think that general purpose computing is simply changing. It's not going to be "A man and his Linux in a basement" anymore but rather "Let's run some code in a remote distributed serverless
365.
by Garlef 4y ago
WASM is not low level JS There was a "predecessor" project (Asm.js) that would output low level JS, though. https://stackoverflow.com/questions/31502563/what-is-the-dif...
366.
by Garlef 4y ago
Maybe make it an NFT based CCG and hardcode a transaction fee of 5% to make money on the secondary market.
367.
by Garlef 4y ago
What's the difference between Imba and JS/TS? Is it anything other than alternative sytax for JS? The webpage is not very conclusive on this.
368.
by Garlef 4y ago
> I don't think we have any non-recursive code abstraction tool. Mircoservices, Projects in a monorepo, Infrastructure as code, ... Sometimes they don't even have abstractions at all. And there are whole companies being built t
369.
by Garlef 4y ago
Who are "they"? Microsoft? The issue is not a technological one but a matter of legislation.
370.
by Garlef 4y ago
Hm... That central element on the main page looks like it's an iframe displaying an error message.
371.
by Garlef 4y ago
These instructional videos seem very "academic". Why not just show the move at full speed and then slow it down for explanations. From what I know, the human brain in very good at visually understanding motion. Also: As long as i
372.
by Garlef 4y ago
What would be a reasonable way to bring the diagrams to a frontend and make them interactive? Not in the sense of editing the diagrams but rather attaching onClick handlers to nodes, or displaying metadata when hovering over a node or edge?
373.
by Garlef 4y ago
Out of curiosity since I'm not that familiar with OCaml: How would you make this extensible? It seems that adding new functions besides add and mult would require modifications to `run`, right?
374.
by Garlef 4y ago
There could also be a bias here. Maybe cognition that develops in a cosmos and is able to reason about cosmoi is more likely to develop models of cosmoi that make their/its own cosmos very typical.
375.
by Garlef 4y ago
This is a great example of precisely what I find problematic about applying logic in a simplified way. In itself the argument seems valid. But it relies on assumptions that are (at best) highly debatable: First, the author of the post assum
376.
by Garlef 4y ago
Something being terrifying does not make it true.
377.
by Garlef 4y ago
Yes and no - The underlying issue that prompted me to bring up the lack of adequate mathematical tools to discuss sociological notions is the following: Mathematical truth and logic is often used as a gold standard for universal truth. And
378.
by Garlef 4y ago
With "mathemathical technology" I'm not taking about software but actual mathematics. And no one is blaming maths. If physicists realize there's something missing, they develop the maths they require. Or they ask their m
379.
by Garlef 4y ago
Mediocre/bad article. It's mostly a rant against decolonisation in general. The actual treatment of why this mostly does not apply to maths is very thin. And there actually is a problem with the notion of mathematical truth: Not w
380.
by Garlef 4y ago
So? It's not like there's to few people. Population growth can't be exponential forever.
381.
by Garlef 4y ago
> Today we’ll talk about a real crisis. The decrease of testosterone levels. Why is it a crisis? What's the problem? Things change. But why is it a bad change? (Assuming it's possible to even say what a "normal" testo
382.
by Garlef 4y ago
Lovely perspective. Esp. the first point.
383.
by Garlef 4y ago
Could you not argue that most automations do not compensate those who developed that what is being automated?
384.
by Garlef 4y ago
Also not to be confused with "<mark>" to indicate relevance. A use case might be if the respective part of the text is of strong relevance and you want to bring attention to it by emphasizing it. But now I'm unsure if I
385.
by Garlef 4y ago
I don't find this surprising at all and blaming this on big platforms like AirBnN seems to fall a bit short. It's simple: The more global communication gets, the more global the styles and patterns become. Avocado and salmon on so
386.
by Garlef 4y ago
Most people are already aware that these two are fictional.
387.
by Garlef 4y ago
Also https://gingkowriter.com/
388.
by Garlef 4y ago
tl,dr: * Partitioning files into folders is most likely wrong: Most things need to be in multiple folders. * (Sidenote: Symlinks are not a good solution) * Tagging would be best but no good support from the OS for metadata * We're work
389.
by Garlef 4y ago
Merci. Thets also the explanation I came up with for myself. And I guess it allows for some trickery with unquoting.
390.
by Garlef 4y ago
Another question about the syntax: Why are the curly braces also part of the syntax for operators? They are delimiters for the operands but also play some part in the definition of operators? Is this solving some problem or did the author j

More ›