reuben364

16 ms·

121.
by reuben364 6y ago
One thing one my wish list of things that will probably never happen is an extensible EMACs, Jupyter hybrid with a full on highly extensible dependently typed programming language. By keeping the specification of the components as abstract
122.
by reuben364 6y ago
One thing I realized that seq'ing too many things might be bad for performance. As I understand it, foldr1 (\x y -> ((x `par` delay 1) `seq` y)) $ map pure [1..] Would require more and more comparisons over time. Is there so
123.
by reuben364 6y ago
Replying to your edit: As I was writing it my headspace was that the duration was for seq to know when to switch. I wasn't really thinking about stopping the animation too. (I also notices that my seq is wrong. The subsequent animation
124.
by reuben364 6y ago
Thanks. I should have just clarified that I wanted to communicate the idea. I didn't expect to get it right first try. Maybe I'll try and make a small library of it if there isn't already. I've never posted something on
125.
by reuben364 6y ago
Basically auto playing anything for me is bad UX.
126.
by reuben364 6y ago
In Haskell, one can make more general combinators in the following way: type Anim a = (Duration -> a, Maybe Duration) -- Linear interpolation linear :: Anim Duration linear = (id, Nothing) -- Sequencing seq :: Anim
127.
by reuben364 7y ago
I'm no expert, but is there not cause for it being a language feature rather than a library? When you use a library you effectively have a DSL to construct your differentiable program, and lose the facilities of the host language. It&#
128.
by reuben364 7y ago
I'm learning lean with that intent (to self learn mathematics). I get distracted trying to learn how to do better proof automation and tactic golf. Also, since I don't see anyone mentioning so it far: there is a currently fairly a
129.
by reuben364 7y ago
Adga does mixfix pretty well. A variable in scope can indicate the places for arguments with underscores (e.g. _+_ or _=<_>_). The tradeoff for being able to use pretty much any symbol in identifiers along with mixfix is that you have
130.
by reuben364 7y ago
I far I am concerned, the most crucial aspect is my mind. I think, but wouldn't know how to prove, that the information needed to satisfactorily copy a human mind is finite. You may not be able to replicate quantum states, but can defi
131.
by reuben364 7y ago
Unordered would be if cons(a, b) == cons(b, a) which is not the case
132.
by reuben364 7y ago
Well, a binary tree with unordered children.
133.
by reuben364 7y ago
I found the OPLSS lectures on parallel cost semantics using lambda calculus quite enjoyable, but I don't really know much about it. https://www.youtube.com/watch?v=lSc0EtF6_Zk
134.
by reuben364 7y ago
I agree with the premise, not the argument We can arrive at truth through dialogue, but dialog can also lead to propagation and affirmation of misinformation. One does not necessarily converge on truth. Though, to entrust any government to
135.
by reuben364 8y ago
The point isn't that the deformed "cup" is the same as the original cup. It's that in the process of deformation the number of holes remains the same.
136.
by reuben364 8y ago
That's kind of a truism though. There will always be a non-zero entropy for the distinct kind of systems you want to build. Unless there is one system to rule them all, configured exactly the way it is needed out the box.
137.
by reuben364 8y ago
That's a strawman. No one has stated that the success of AirBnB is easy to replicate, nor that a system of equal functionality is easy to create.
138.
by reuben364 9y ago
Lambas? That sounds amazing. :-)
139.
by reuben364 9y ago
Feels like a garden path sentence [1] targeted at developers [1] https://en.wikipedia.org/wiki/Garden_path_sentence
140.
by reuben364 9y ago
Coq isn't very good for developing with properties encoded in the types. Such properties are defined seperately from the data structures involved.
141.
by reuben364 10y ago
The dependently-typed-ish features of haskell can provide a sweet spot of both untagged data along with the flexibility of heterogeneous lists.
142.
by reuben364 10y ago
That is the dependent typed aspect mentioned. This is actually done in Idris with VerifiedSemigroup and other verified instances.
143.
by reuben364 11y ago
Working my way through Software Foundations. Though that might not be considered programming.
144.
by reuben364 11y ago
My point stands. A non-endangered species is equally likely to yield useful insight as an endangered one. Though I realise that I have made a weak argument and that I do have a, perhaps unreasonable, bias towards not expending effort to pre
145.
by reuben364 11y ago
There are different types of value you can derive from these stories. There is the practical: crops that defend themselves from predators. Then there is entertainment value. Arguing that practical value to be found in species past and prese
146.
by reuben364 11y ago
If you are saying print is gone, it isn't. It became a function in python 3. print "hello world" became print("hello world") If you are complaining about the format, then that really is a dumb reason.