philzook

43 ms·

241.
Linear Relation Algebra of Circuits with HMatrix (2019)(philipzucker.com)
2 points by philzook 7y ago|0 comments
242.
Notes on Optimal Transport(michielstock.github.io)
1 points by philzook 7y ago|0 comments
243.
by philzook 7y ago
This is really cool. It reminds me of a friend of mine measured the rotation rate of the earth using in a way that I thought was pretty neat. https://nickdrachman.wordpress.com/2019/07/31/measuring-the-...
244.
by philzook 7y ago
Really interesting. Rust is on my radar. You might be interested in a post in Haskell that I made that has a similar feel. http://www.philipzucker.com/functors-and-vectors/
245.
Gröbner Bases and Optics (2019)(philipzucker.com)
1 points by philzook 7y ago|0 comments
246.
by philzook 7y ago
Huge Haskell fanboy here. True high performance, fair enough that's hard everywhere. I think it is unlikely a novice C programmer would accidentally balloon their memory like this. The simplest Haskell program that a novice might write
247.
Functors, Vectors, and Quantum Circuits (2019)(philipzucker.com)
1 points by philzook 7y ago|0 comments
248.
by philzook 7y ago
Interesting, I was recently looking into doing this after seeing a similar request on discourse (not that I am a coq expert by any means). https://github.com/philzook58/learnxinyminutes-docs/blob/mas... I was
249.
Flappy Bird as a Mixed Integer Program (2019)(philipzucker.com)
5 points by philzook 7y ago|0 comments
250.
Linear Algebra of Types (2019)(philipzucker.com)
2 points by philzook 7y ago|0 comments
251.
by philzook 7y ago
I think many of these comments are asking too much of a single short article. Or they want the article to be addressing the questions that they have rather than the question it was written to address. The author is stating very high level r
252.
Relational Algebra with Fancy Types (2019)(philipzucker.com)
1 points by philzook 7y ago|0 comments
253.
by philzook 7y ago
Oh my god. Your article is incredible.
254.
by philzook 7y ago
That's an interesting way to jump.
255.
Annihilating My Friend Will with a Python Fluid Simulation, Like the Cur He Is(philipzucker.com)
3 points by philzook 7y ago|0 comments
256.
by philzook 7y ago
Hoo boy. I dunno. Of course I have never come close to meeting the man, but the stories make him seem incredibly cocky and willing to verbally slam people just for fun.
257.
Proving some Inductive Facts about Lists using Z3 Python (2019)(philipzucker.com)
4 points by philzook 7y ago|0 comments
258.
by philzook 7y ago
This is also intimately connected with Ed Kmett's Guanxi project https://www.youtube.com/watch?v=D7rlJWc3474 https://github.com/ekmett/guanxi My understanding is he is using ideas from propagator
259.
Relations and the Algebra of Programming (2019)(philipzucker.com)
2 points by philzook 7y ago|0 comments
260.
by philzook 7y ago
That is an excellent article. String vs ByteString is a beginner footgun in Haskell. It won't make incorrect or crashing code, but it will show up as poor performance on text heavy processing.
261.
by philzook 7y ago
The start up times really bug me too. I think the solution might be sticking to a Jupyter/Juno session or keeping a repl open and reloading. https://github.com/timholy/Revise.jl It is incredible the degree with wh
262.
by philzook 7y ago
I am personally very intrigued by ATS, I think it is striving for a truly unique and powerful point in the programming language space, but have extreme reservations about it being ready for general use. Do you consider it ready for adoption
263.
by philzook 7y ago
A short list off the top of my head: It is very easy to get over eager and use more abstraction than you need or can handle. This is perhaps the worst of them. Strings shouldn't be [Char]. OverloadedStrings should be the default. There
264.
by philzook 7y ago
I agree.
265.
by philzook 7y ago
I think you bring up very valid points.
266.
by philzook 7y ago
It is very, very, very difficult to be in love with a language and compare it honestly. I don't think I've ever seen anyone successfully do so. I don't agree that Haskell has as many footguns or as much legacy cruft, but if y
267.
by philzook 7y ago
But to be fair, they should be positively correlated. Unless the world has beaten us down into nihilism and we think merit doesn't even tend to be rewarded.
268.
by philzook 7y ago
They are similar in that they are both kind of big languages with many features, and a reputation for difficulty. However, Haskell's reputation is one for difficulty on how to do anything at all but once you do the angels sing, while
269.
by philzook 7y ago
I do not have a satisfactory answer for this. But, nevertheless I want to use it. Why can't I use it? I can't get my friends on board. Have they tried Haskell and seen that it doesn't work? No. Have I had success with it? Yes
270.
by philzook 7y ago
I think this is the most honest statement in the post.

More ›