HNHacker News
TopNewBestAskShowJobs

invisiblerobot

142 karma · joined July 16, 2019

Senior Engineer with Invisible Robot
submissionscomments
invisiblerobot··on Ask HN: AI “white mirror” – what are some inspiring future visions you've seen?
Agree except for the cooking. Like gardening, its a very rewarding privilege if you don't have to do the other shit
invisiblerobot··on Ask HN: AI “white mirror” – what are some inspiring future visions you've seen?
Agree except for the cooking. Like gardening, its a very rewarding privilege if you don't have to so the other shit
invisiblerobot··on Ask HN: How do you plan on making money with Open AI API?
Yup. In a gold rush, sell shovels.
invisiblerobot··on Ask HN: What'd be possible with 1000x faster CPUs?
Java runs at 90% the speed of C for most common benchmarks.

It uses 50x the RAM to do so. But you're dead wrong to think java is slow.

The only reason physics game engines are written in C++ is because physics game engines are written in C++.

invisiblerobot··on Ask HN: What'd be possible with 1000x faster CPUs?
Consider you can easily emulate Vim inside Emacs but NOT the inverse and you'll understand what those extra cycles do.
invisiblerobot··on Yet another online UUID generator
I can't understand why shit like this exists.

Anybody who needs a UUID can surely generate their own with one line in any language they choose.

It's not like tinyurl where non tech users run into a Twitter limit.

invisiblerobot··on Show HN: LambdaLisp – A Lisp interpreter that runs on lambda calculus
Oh I see, you were asking rhetorically :)
invisiblerobot··on Show HN: LambdaLisp – A Lisp interpreter that runs on lambda calculus
polymorphic typed lambda calculus.

it's the theoretical basis for ML and Haskell.

https://en.wikipedia.org/wiki/System_F

invisiblerobot··on Chess is just poker now
If poker was "about" chance you wouldn't see the same top players every year in the finals of every major competition. The chance aspect is why poker is so interesting. But in the long run (ie, 100 games played with the same players), a great poker player will beat an average one 95% of the time.
invisiblerobot··on Why Racket? Why Lisp? (2014)
Well both. Also in Clojurescript.

Clojure's nil punning and Java's Null Pointers are an unholy alliance here.

But a type system like Elm solves the problem before it ever gets to JavaScript for example.

invisiblerobot··on Why Racket? Why Lisp? (2014)
In my experience most dsls are not of the quality of Typed Racket or Scribble. And many of the good languages designed in Racket could be just as well designed if they targeted LLVM. And for 99% of the programmers I've hired they'd be better spending their time further understanding the existing abstractions and research in the many great languages that already exist rather than halfbaking their own because it's so easy and tempting.

As I said, I like Racket. And I agree with you it's a nice environment for playing with new language ideas. But most of those ideas are bad and are just incidental complexity. And the 1 of 100 languages that are great ideas and needed by the world are better off spun out with their own parser and toolchain without being so tied to Dr Racket and Chez Scheme.

invisiblerobot··on Why Racket? Why Lisp? (2014)
In my experience it's the exact opposite. Good design is precisely about constraints.

A good type system like Haskell's gains you much more than it costs. Sure Json and Clojure are open and flexible, but this is not what you want when you understand your problem and can specify the types are Ohms -> Volts -> Amps etc, instead of just Number Number Number.

Specifying them after in spec or typed racket was just not the same and always rang similiar to unit tests after the fact.

Haskell types is like having a pair programmer sitting beside me. For systems that I have in production that have been ported from Clojure to Purescript the reduction in bugs, refactorability and overall confidence is something I didn't know I was missing until I did.

I understand Hickey's point in his Maybe Not talk, either you have the data or you don't. But at the end of the day, Clojurescript apps subject my users to blank screens and subtle "undefined is not a function" bugs, whereas the Purescript compiler forces ME to diligently deal with those unexpected possible scenarios before I ever ship.

invisiblerobot··on Why Racket? Why Lisp? (2014)
I was in the process of creating my own language in racket. It was going to codify everything I had learned over the years into powerful abstractions and target JavaScript.

Halfway though I realized I was inventing a shittier Purescript.

Dsls are mostly masturbation. Custom syntax? Custom evaluation semantics? I always regret it after like cocaine.

The only thing macros are reasonable for is custom bindings.

Most people are not qualified to invent dsls. Myself included. And the people who are qualified don't need "language oriented programming" ala racket. They can spin up a lexer which is the least complicated part of the task anyway.

As for types, they have a HUGE power to weight ratio. All of my efficiency gains in Clojure due to macros were forfeited 10x over hunting down null pointer exceptions at runtime.

I still love Racket. And I still prototype in Clojure. But Haskell brings you closer to math. Closer to category theory.

Most programmers don't need new symbols and semantics. They need a deeper understanding of combinatorial logic.

invisiblerobot··on Why Racket? Why Lisp? (2014)
Don't stop there.

I thought racket was the holy grail due to the macro system but my real metamorphosis came after learning Haskell. I realize now that my previous preference for Clojure was because I was stuck in prototyping mode.

Once you truly understand your problem domain then types trump macros.

So while I owe a huge debt to Clojure/Racket for rescuing me from my java nightmare, and introducing me to other approaches like Erlang, it was Haskell/Purescript that matured me the most as a programmer.

It was so worth the (considerable) effort, because it has generalized the very nature of computation in a way that just never happened for me in all my years with lisp.

invisiblerobot··on Common Lisp vs Racket
https://youtu.be/sl2zo7tzrO8

HAXL

invisiblerobot··on Ask HN: How do you deal with existential crisis?
https://youtu.be/S3pIuy69UE8
invisiblerobot··on Mark Zuckerberg on the Lex Fridman Podcast [video]
It's not surprising once you watch
invisiblerobot··on Entropy isn't sufficient to measure password strength
It doesn't need to be complicated. Just long.

ie

theuniverseis99%emptyspaceatleastthatswhatiwastaughtbymr.cattoningrade6

easy to remember without paper and uncrackable. Pair it with a yubikey and that's your bitwarden master

invisiblerobot··on Ask HN: How would a programming language look if designed by non-programmer
Do you have a link for the pacman behaviours? Can't find it
invisiblerobot··on The Great Bifurcation
Also it implies you may be recording me without my permission...drunk...in a bar...with my mistress.
invisiblerobot··on Giant tsunami from dino-killing asteroid impact revealed in fossilized ripples
Hilarious. Had I known that I wouldn't have commented like the puppet I am.

I remember when the Killers song Somebody Told Me was all over the radio. I HATED that f'ing song. But I came to love the killers as a side note. When I found out later that was their song I couldnt help liking it more and myself less.

invisiblerobot··on Giant tsunami from dino-killing asteroid impact revealed in fossilized ripples
At least the asteroid destroyed that horrible song
invisiblerobot··on The unreasonable effectiveness of just showing up everyday
It isn't pedantic if torrents turn out to be an equally effective means of creating change.
invisiblerobot··on Supplements are a $30B racket–what experts recommend (2018)
Magnesium Bi-glycynate reduced my depression tremendously.

Magnesium is required for serotonin production. And modern farming practices virtually eliminate it from our diet.

invisiblerobot··on A curated list of FOSS tools to improve the Hacker News experience
That's not what I'm saying. I'm saying an article that is positive sentiment OR negative sentiment is INTERESTING enough to click on. An article with luke warm sentiment either way is less interesting.
invisiblerobot··on A curated list of FOSS tools to improve the Hacker News experience
I would like a sentiment analysis of the comments posted beside each article link. A kind of temperature reading. So you can guage if the comments are generally positive or negative and use that as a proxy for whether the article is considered valuable enough to click on.

It's not perfect as conversations evolve away from the articles. But it would be useful I think.

invisiblerobot··on An Object-Oriented Language for the '20s
Exactly. Polymorphism is the killer feature and it's expressed more simply in functional languages like Clojure.
invisiblerobot··on New study finds psilocybin greatly and quickly relieves depression
Doesn't last? 3 months is about as good as it gets. Excercise doesn't last either by that logic but it still is a side effect free cure to the problem.
invisiblerobot··on New study finds psilocybin greatly and quickly relieves depression
Works for mine. I need to take a heroic dose (5 gr) and then it lasts about 3 months before I need to again.
invisiblerobot··on The rate of obsolescence of knowledge in software engineering
See above
Page 1 of 3Next →