tihal | 2 years ago | on: Lessons I wish I had learned before teaching differential equations [pdf] (1997)
tihal's comments
tihal | 2 years ago | on: Lowering the Cost of Anonymization (2020)
tihal | 2 years ago | on: Rust, RR, Neovim: A perfect debug combination
tihal | 2 years ago | on: Rust, RR, Neovim: A perfect debug combination
tihal | 2 years ago | on: Rust, RR, Neovim: A perfect debug combination
tihal | 2 years ago | on: Rust, RR, Neovim: A perfect debug combination
- follow local health guidelines
- may attract people wearing fireguns
These breaches of our big CoC are not appreciated and we will spend all of our sparse funding now to drag you to court.
tihal | 2 years ago | on: Rust Foundation restricts usage of word “Rust” and logos
- They try to trademark the words "Rust" and "Cargo" which are common words in the English language
- You can not use "rust" in your domain name(?!), course name, video name, whatever, unless approved by the foundation
- Trying to impose a "Rust Foundation" approved CoC to all on- and off-line communities or events revolving around the language (the language, not foundation!)
- All off-line events about Rust need to ban their participants from carrying firearms
- Overrule any existing fair-use rights by prohibiting any modification (other than scaling) to the logo
- You need to constantly state that you are not affiliated or endorsed by the Rust Foundation when talking about the language (e.g. you want to write a tutorial, book or even answer on Stack Overflow?)
Needless to say that most, if not all, of those rules will be impossible to enforce. The foundation can try by spending all their funds and energy to fight lawsuits because some kid in India used "Rust" in their domain name or a bunch of rednecks hold a conference with guns in their pockets, but that time and energy could be better used elsewhere.This proposal shows perfectly everything that is wrong with Rust: The "Foundation" and language need to be separated completely. This board consists of some self-proclaimed experts with questionable backgrounds who are hindering adaption and alienate the community by living out yet another ideology-driven power trip. At this point it does not matter if the proposal gets passed, which I doubt, or undergoes a complete rewrite as the damage is already done and the foundation has shown their ugly face to the community. This is their third strike in a row and I doubt that the important steps towards industry adoption (like integration to the Linux kernel) will be unaffected - all thrown out of the window because someone on this board could not endure the idea of people hosting independent events about the language.
tihal | 3 years ago | on: Show HN: Jailbroken ChatGPT
tihal | 3 years ago | on: Ask HN: Is a back end worth $35/mo?
tihal | 3 years ago | on: Ask HN: Is a back end worth $35/mo?
There are two important concepts that can be generalized: - Substitution, the method of renaming and replacing variables - Abstraction, replacing a variable with another term (function) that can also serve as output
This should give you a more natural feel to concepts like parametrization or what it means that the solution to one function may be another function. Perhaps you might even look a bit into the simply typed lambda calculus which has given me yet more perspectives on the fundamentals of mathematics.