Top all-time · #10807
Jspha
Personal blog · jspha.com · on HN as telprogrammingphilosophy
Jspha is a personal blog at jspha.com about programming and philosophy. Since 2014, 7 different Hacker News readers have linked it 16 times, most often “There is no royal road to mathematics”. It has a working feed you can follow.
Too few sampled comments (3) to say how often HN recommends it.?
Why HN links it
Linked in HN threads on Haskell, including one post on what 'type safety' means in Haskell. Other comments discuss Haskell fusion and learning Haskell, without judging the posts themselves.
Summarised by Claude from a sample of 3 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
I'm taking time these days learning how to do useless things, to do dumb things, to move without purpose. It feels weird and dangerous. When I try, I am little bit afraid. But I like that. In the pas…
Most-linked posts?
- /posts/typing-transducers/2 people · 2 mentions · first linked 2014-09-20
- There is no royal road to mathematics2 people · 2 mentions · first linked 2015-01-17
- There is no functional programming, only culture2 people · 2 mentions · first linked 2017-04-18
What Hacker News says?
>I believe one of the arguments was also that these couldn't be written in statically typed languages. Although, I do not know if this turned out to be true. It's not true, they were just abstrusely defined and there's some weirdness around the implicit effects that you can choose to either ignore or incorporate into the equivalent. Fusion is one of the main things Haskell is known for and an API that gets close eno…
Comment linking /posts/typing-transducers/
on “Clojure 1.7 is now available”Submitted There is no royal road to mathematics as a story · 7 points
HN discussionFirst, to be clear, I really liked this presentation. The criticism below is both technical and small---all in all I greatly enjoy Rich Hickey's work and generally admire his ability to talk compellingly about complex technical topics. That said. I somewhat disliked Hickey's presentation of typing transducers here. I feel as though he builds a number of strawmen toward typing and then tries to knock them down and su…
Comment linking /posts/typing-transducers/
on ““Transducers” by Rich Hickey at Strange Loop [video]”Submitted There is no functional programming, only culture as a story · 1 points
HN discussionSafety as you're using is not the concept that Haskeller's refer to when they talk about the language. "Type safety" is a very precise term that refers to several proofs about the semantics of the language. See: http://jspha.com/posts/all_you_wanted_to_know_about_types_bu...
Comment linking /posts/all_you_wanted_to_know_about_types_but_were_afraid_to_ask/
on “Haskell, Monads and Purity”Submitted There Is No Functional Programming, Only Culture as a story · 1 points
HN discussionType safety also trivially holds in any dynamically typed language. You just call all values the same type---suddenly "preservation" and "progress" hold without actually meaning anything. That's why its "type safety of a system which captures interesting invariants" which is actually interesting. http://jspha.com/posts/six_points_about_type_safety/
Comment linking /posts/six_points_about_type_safety/
on “Seven deadly sins of talking about “types” (2014)”I wrote a number of posts pertaining to that log n trick: http://jspha.com/posts/mutable_algorithms_in_immutable_langu...
Comment linking /posts/mutable_algorithms_in_immutable_languges_part_1/
on “Write Yourself a Scheme in 48 Hours”Using mutability. It's not a sin, just something to avoid when not strictly necessary. http://jspha.com/posts/mutable_algorithms_in_immutable_langu... http://jspha.com/posts/mutable_algorithms_in_immutable_langu... http://jspha.com/posts/mutable_algorithms_in_immutable_langu...
Comment linking /posts/mutable_algorithms_in_immutable_languages_part_3/
on “Fast Nearest Neighbor Queries in Haskell”If you can find a way to get a hold of it, Saunders MacLane's Mathematics: Form and Function is a tremendous book for understanding how math arises from the world and reflects it. What's written here is a lot more specific than that, of course, but if this illustration interests you then it might be a good book to try digging into a little bit. On the other hand, while I am always cognizant and amazed by the POV of…
Comment linking /posts/there_is_no_royal_road_to_mathematics/
on “Striking parallels between mathematics and software engineering”It would lead to less safety but more type safety, actually. http://jspha.com/posts/six_points_about_type_safety/
Comment linking /posts/six_points_about_type_safety/
on “Summary of Go Generics Discussions”I've been learning Haskell for the last year and a half, though I've been working with functionally inspired languages for 8 years. Haskell is wonderful, easily the most fun I've had learning a language in 20 years. I'd advise not getting distracted by monads and other glamorous parts of the language. Monads are pretty abstract, and they won't likely make much sense until you've written enough Haskell to feel the pa…
Comment linking /
on “Ask HN: What new skills are you learning?”I wrote something to a similar effect in an earlier version of Swift. It might be of interest to readers http://jspha.com/posts/immutable_enumeration_in_swift/ http://jspha.com/posts/calkin-wilf-in-swift/
Comment linking /posts/calkin-wilf-in-swift/
on “Sequences and Generators in Swift”
