orangea

10 ms·

61.
by orangea 4y ago
The "selectopia" example is kind of how it already does work, or at least how it used to, in computer programming, where having an impressive Github account can help one get hired. But it has downsides: - People who want to get hi
62.
by orangea 4y ago
This is a popular opinion and there are tons of implementations of WYSIWYG text editors such as Typora and Obsidian that attempt to make their data model simple like Markdown. But they all kind of suck, which shows that making that kind of
63.
by orangea 4y ago
Ruby used to have the $SAFE feature for sandboxing, but it was removed because it was buggy, added a lot of complexity, and wasn't actually that useful. Linux has all the various isolation features that make Docker work, but people sti
64.
by orangea 4y ago
Why are you capitalizing "category theory" and not "topology", "algebra", or "math"?
65.
by orangea 4y ago
It is used in some formalizations of quantum field theory. Quantum field theory is used to make testable predictions about physics, and historically, giving scientific theories a rigorous mathematical backing has been useful. So that could
66.
by orangea 4y ago
I meant why not make a project like this that emulates the FUSE API, but use the file provider API to present the file system to the OS instead of NFS. It would have the advantage that it would be better integrated with the OS, for example
67.
by orangea 4y ago
Why not use the file provider API? https://developer.apple.com/documentation/fileprovider
68.
by orangea 4y ago
What is this "shove" operation and how is it different than moving a file the normal way?
69.
by orangea 4y ago
society had those values, it doesn't mean that society embodied those values.
70.
by orangea 4y ago
The only way to understand math like that is to do the hard work of learning by reading textbooks and other learning materials and doing exercises. Comments sections won't help you for learning this kind of advanced math. If HoTT is wh
71.
by orangea 4y ago
It is my understanding that HITs are just as easy to integrate into non-homotopy type theories as they are to HoTTs.
72.
by orangea 4y ago
Which has nothing substantial to do with category theory.
73.
by orangea 4y ago
How can homotopy type theory, as opposed to non-homotopy type theory, help us with "verification of systems/hardware and formalization of math" outside of homotopy theory itself? My perspective has always been that it can&#x2
74.
by orangea 4y ago
I don't mean any offense to you personally, but this kind of comment is why I hate internet discussions. You just said the opposite of what I said without adding anything new.
75.
by orangea 4y ago
That's not a reason, that's a definition.
76.
by orangea 4y ago
Why more useful than non-homotopy type theory?
77.
by orangea 4y ago
One thing that has always bothered me is how people say that ideas from category theory can be useful while writing Haskell code. It's technically true, but really only the most basic ideas — things which would be in the first chapter
78.
by orangea 4y ago
Why does HN seem to be so much more interested in homotopy theory and related fields than other fields of math? I'm not a mathematician, and my understanding is that this "area" (including algebraic geometry, algebraic topolo
79.
by orangea 5y ago
Everything after the first 1-2 paragraphs in the readme is in English.
80.
by orangea 5y ago
There are a lot of features which a markdown editor can have which are somewhat difficult to implement and get right, such as WYSIWYG with css theming, support for latex equations, support for nonstandard features like Pandoc markdown, plug
81.
by orangea 5y ago
Is it still in beta?
82.
by orangea 5y ago
I wonder if services like gitpod/github codespaces/repl.it would be a good solution for allowing people to use an agda environment without installing it.
83.
by orangea 5y ago
Does the "fundamental group of the circle" part use anything specifically from homotopy type theory as opposed to any other type theory?
84.
by orangea 5y ago
Unfortunately this doesn't seem to be actively being worked on and isn't complete enough for me to use personally (custom themes aren't implemented, for example). These are the WYSIWYG Markdown editors that I am aware of: - T
85.
by orangea 5y ago
Why are flakes included in the release notes if they are still "experimental"? Has there been a change in the status of flakes between 2.3 and 2.4?
86.
by orangea 5y ago
Does it use the file provider api or something similar? Or does it just download everything whenever it changes?
87.
by orangea 5y ago
I think if you don't have the time to learn enough about a language like Haskell to understand how monads work in that language then you are probably better off just not trying to understand them. It is impossible to understand them wi
88.
by orangea 5y ago
Personally I'm not convinced by those arguments, because - I think it should be my right to share the details of my work with anyone. - It's already illegal to discriminate against people because they have cancer, and I don't
89.
by orangea 5y ago
Yes I am for real and I genuinely don't see why either of those things are bad.
90.
by orangea 5y ago
Honest question, why do you care if it isn't secure? What would be the downside of one's internet activity being public?

More ›