enugu

10 ms·

91.
by enugu 2y ago
This is a very cool video. I am interested in making a dynamic notes app with user defined types and cutomizable flows. This is partly done already in Roam, AnyType... if you include the plugin system. But it seems like there is a lot of hi
92.
by enugu 2y ago
This is something I think about, and there are some underlying technical issues as well, in coordinating all the plugins with common interfaces. We do not have workflow centric software even in the open source world which has managed to bui
93.
by enugu 2y ago
This post doesn't seem like a criticism of FP so much as the module system in Haskell, ML has a more powerful module system. On r/haskell, user mutantmell gave a implementation of the code (assuming such a module system) closely f
94.
by enugu 2y ago
Somtime ago, there was a debate on the ability of a static type system to model an 'open-world situation' where fields are added to records as model changes. (based on a post[1] which responded to a Rich Hickey talk). The crucial
95.
by enugu 2y ago
It's not just that the social media is filled with low on substance posts with excess anger and snark, but this incentivizes everyone to be more forceful - as otherwise the louder voices can dominate the discussion. So, it's not j
96.
by enugu 2y ago
The analogy is more like an easier to implement version of a system(Custom Frontend Data Store) is worse than the standardized system (Database) rather than one system(database) being implemented on top of another system(filesystem). The d
97.
by enugu 2y ago
Ironically, the main feature that separates LISP from other modern languages is homoiconicity/macros(now that features like garbage collection are mainstream). And this leads to an easier implementation - parsing is easier(which is wh
98.
by enugu 2y ago
Your point on unnesting is apt but don't you mean functor instead of monoid?
99.
by enugu 2y ago
This is a good insight. > To me, the essence of deep learning has nothing to do with trying to mimick biological systems or something in that sense; it’s the observation that if your circuits are continuous, there’s a clear algorithmic w
100.
by enugu 2y ago
Many solutions involving posting data in repositories or audits are being discussed in the comments. But given that many people are saying that they noticed and quit academia, how about also creating a more direct 'whistleblower'
101.
by enugu 2y ago
Legalized gambling with big enterprises running it and ads visible to most people, many of whom wouldn't usually gamble, should be orders of magnitude worse than informal networks. One may not get rid of the latter, but stopping the f
102.
by enugu 2y ago
Why is it bad form to expose a record type only via custom functions and not its field accessors? Isn't this just like exposing a more usual object with its public functions and private functions remain inaccessible?
103.
by enugu 2y ago
Funny reply. But consider that making twitter posts audible and experiencing the full rage is fundamentally different from starting with audio first. The reason I say that is because I have frequently seen the same people who rage in text b
104.
by enugu 2y ago
Yes, correction of a detail is good and not a problem. But using that to mock the central point is a popular strategy in discourse. In the disagreement hierarchy( https://paulgraham.com/disagree.html ) this is level 4 or 5, b
105.
by enugu 2y ago
Yes, we misrepresent others constantly. A more basic point is that we are misrepresenting ourselves - Without a clear, detailed vision of thought/emotion flow, statements like 'I did this' are reifying this flow into an agen
106.
by enugu 2y ago
There is an important issue with reducing this problem to linguistic conventions of how we use words. 'This block of ice is actually made up of lot of atoms and will melt away soon, but meanwhile it is a useful abstraction to treat it
107.
by enugu 2y ago
Discreteness doesn't imply there is no relation in the sequence. For instance, consider a processor in a robot processing sensations at clock cycle speed. The memory chip or processor cores or software cant be used as a basis for unity
108.
by enugu 2y ago
Haskell doesn't stop you from mutation, it just makes you explicitly mark it, like types of inputs/output are explicit in statically typed languages instead of being implicit or borrowing is explicit in Rust. Mutations becomes fi
109.
by enugu 2y ago
There is a lot of individual creative energy in Japan, both in art and engineering. A great deal of care is taken to ensure the quality of products.
110.
by enugu 2y ago
There is a lot of individual creativity in Japan. How much you care for the interest of group (family/company/nation) is different from how much expressiveness there is at a personal level. The fomer being higher doesn't mean
111.
by enugu 2y ago
This is an interesting point. But the spikes in revenue when tax policy changes indicates sensitivity. Further, that there are other countries with wildly different tax revenues as of GDP implies that there is lot of scope for change. ht
112.
by enugu 2y ago
US did X is different from saying US defeated communism by doing X. I am not disputing the former and indeed there were terrible actions including bombing of civilians, and the removal of elected governments. But that is not to say that X w
113.
by enugu 2y ago
It is not clear that the wars you cited, especially Vietnam, were necessary to fight and defeat communism, anymore than the Iraq was needed to reduce WMDs. This might be the reason for the wars given by the government, even a sincerely held
114.
by enugu 2y ago
A tensor field is a finite dimensional object varying over space. The space of all tensor fields is infinite dimensional. An operator in QM is infinite dimensional at a single point itself, and in QFT we have fields of such operators.
115.
by enugu 2y ago
There is a nice topological proof which gives a more direct and visual understanding what solving by radicals means. It is quite short but might take some time to absorb the concepts. https://jfeldbrugge.github.io/Galois-The
116.
by enugu 2y ago
The prime importance of solving by radicals is actually, that it led to the theory of groups! Groups are used in all sorts of places. (One nice pictorial example is fundamental group of a topological space). Just like Complex numbers arose
117.
by enugu 2y ago
Finite dimension tensors is interesting both in physics(ex: mechanics, electromagnetism, general relativity) and mathematics(ex: representation theory, differential geometry). Infinite dimensions is also used in physics(quantum theory) and
118.
by enugu 2y ago
There is a way of defining a vector space without an explicit basis(just as a set with an addition and a scalar multiplication). Similarly, there is a way of defining a vector bundle without choosing an explicit coordinates (as an abstract
119.
by enugu 2y ago
Any given tensor has a type (p,q). Say d=p+q. Then d is the 'dimension' of the tensor in the sense that you would need nxnx...n=n^d numbers (think of an nxnx...n array) to describe the tensor where n is the dimension of the under
120.
by enugu 2y ago
Regarding Asian cultures and memorization, there is a recent change that has to be pointed out. The role of memorization classically was to aid manana/contemplation after shravana/hearing-the-teaching. The stage of manana is a kin

More ›