philzook

19 ms·

1. 181.▲
   Show HN: RaaS, an open hosted robotics platform(raas.perciplex.com)

   1 points by philzook 6y ago|0 comments
2. 182.▲
   by philzook 6y ago

   S expressions are one of the most used serialization formats in OCaml. You can get pretty far relying on the standard parsers and printers. It's what I would do for a lisp in OCaml. Maybe you wanted to DIY as a learning thing? There a
3. 183.▲
   by philzook 6y ago

   Fun fact: The Boehm of this paper is the same Boehm as the garbage collector Exact Reals are an interesting topic. They go beyond fractions and and algebraic numbers by representing numbers as some kind of object that supports querying an a
4. 184.▲
   by philzook 6y ago

   This is really interesting and compelling to me. I tried FreeCAD recently and couldn't get into it, and went back to onshape. I notice that it doesn't appear to have constraints in it, which is usually a significant part of the CA
5. 185.▲
   by philzook 6y ago

   I'm not sure I've seen this one before. Are you thinking of Tedrake's other course and textbook on underactuated robotics here http://underactuated.csail.mit.edu/ ? I loved that one. Taught me a ton.
6. 186.▲
   by philzook 6y ago

   I use OCaml at work. We work with the Binary Analysis Platform https://github.com/BinaryAnalysisPlatform/bap which is a pretty essential part of what we do. In general, OCaml seems somewhat popular in the area of compi
7. 187.▲
   by philzook 6y ago

   I have also bounced off of LiSP a couple times
8. 188.▲
   by philzook 6y ago

   That's an interesting suggestion I've never heard before, but your link appears to be down. I'm getting a 404. Is it possible this passage is referring to the reciprocal Pythagorean theorem? https://en.wikipedia.or
9. 189.▲
   by philzook 6y ago

   I too felt touched by this. It's sound advice for a sadness I feel sometimes.
10. 190.▲
    by philzook 6y ago

    I think the discussion is a bit more nuanced than that. They do not appear to be recording IPs. They directly reference carefully complying to GDPR.
11. 191.▲
    by philzook 6y ago

    Really interesting article! Some other resources you may find interesting https://fpbench.org/index.html - I think I saw a talk at FPTalks that felt related to your topic "Creating correctly rounded math libraries for
12. 192.▲
    by philzook 6y ago

    Those are interesting approaches. I'm pretty pumped about Lean. It may just not have fit into his narrative and he can't talk about everything. Fstar and Lean are more children of Coq and ML (at least syntactically) to my understa
13. 193.▲
    by philzook 6y ago

    Very Stoic.
14. 194.▲
    by philzook 6y ago

    "The class used a draft textbook that Chris Hanson and I have written. The book is entitled “Software Design for Flexibility (how to avoid programming yourself into a corner)”; it will be published by MIT Press soon, with a Creative Co
15. 195.▲
    by philzook 6y ago

    For what it's worth, my first impulse when I saw your blog was "Hey that's a neat styling. I like it."
16. 196.▲
    by philzook 6y ago

    Author here. I don't recommend category theory. There are lower hanging more mind blowing fruit. I'm having a hard time thinking about a blog posts worth of content that is mind blowing. Mind blows tend to take more investment tha
17. 197.▲
    by philzook 6y ago

    Thanks! I haven't seen this one before. I'll check it out!
18. 198.▲
    by philzook 6y ago

    A good point. If my goal is educational (and it 2/3 is), these stupid short names are a huge oversight. I honestly didn't think about it much. I think I started from known Haskell names, some conventions that I may have absorbed
19. 199.▲
    by philzook 6y ago

    From a programming perspective I think there are a couple contributions: - Category theory has a number of very intuitive looking graphical notations which nevertheless translate to very exact algebraic expressions. This is pretty dang nice
20. 200.▲
    by philzook 6y ago

    Hey, author here! Neato! I'm on HN!
21. 201.▲
    by philzook 6y ago

    From a programming persepctive, I could recommend Bartosz Milewski's series https://bartoszmilewski.com/2014/10/28/category-theory-for-p... RydeHeard and Burstall - http://www.cs.man.ac.uk&#x
22. 202.▲
    by philzook 6y ago

    Sorry, this is the third part of a series. I think I said what those were in the first part but I'm not sure dom and cod are the domain and codomain of a morphism. They are functions that given a morphism will return the object at the
23. 203.▲
    by philzook 6y ago

    Interesting point, that hadn't occurred to me. Luckily that won't be a problem for the other parts. I updated it to III which hopefully should make it a little more clear. The title is so long already!
24. 204.▲
    by philzook 6y ago

    It seems superfluous when we already have the greatest game ever made available right in your package manager: TuxRacer.
25. 205.▲
    Computational Category Theory in Python II: Numpy for FinVect (2020)(philipzucker.com)

    2 points by philzook 7y ago|0 comments
26. 206.▲
    by philzook 7y ago

    It's true.
27. 207.▲
    by philzook 7y ago

    Very cool.
28. 208.▲
    by philzook 7y ago

    Oh yeah, follow me on the twitter for updates https://twitter.com/SandMouth Got a fun series on category theory for python in the pipe.
29. 209.▲
    by philzook 7y ago

    Very Cool.
30. 210.▲
    by philzook 7y ago

    I like it. Nice post on the S-procedure. Get those drafts out there!