Viewing profile — solomonb

Now I want a hat with the Agnostic Front logo but that says Pareto Front.

I agree that Lean or any of the other languages I listed would be a better choice then Idris and despite how I wrote my original post I wouldn't recommend Idris to someone who expl…

Idris has pi and sigma types, dependent pattern matching, view patterns, totality checking, proof search, interactive case splitting, etc, etc. It is orders of magnitude better the…

Correct. There are awful tricks to write [1] dependent Haskell but even then it isn't powerful enough and has a significantly worse user experience then a proper dependently typed …

I find that claude rarely uses its memories.

My experience talking with high level mathematicians is that they tend to know their subjects so well and are so excited to share it that they can and will scale their explanation …

Thank you for creating Recurse! I had an incredible experience at RC in 2019. I still have friends from my batch. I deeply wish I had time to do it again.

They offer recruiting services.

I'm reading The Drowned World right now. Incredible book, highly recommended.

To be fair the original commenter was incredibly snarky.

The integer `1` can mean whatever you want, it doesn't need to be a cent. Haskell's `Fixed` type is a good example of this: https://hackage-content.haskell.org/package/base-4.22.0.…

Getting to discover Oleg Kiselyov's work for the first time is such a treat. His web archive is incredible! I'm envious of the author and anyone else discovering it today. https://…

There was another project I saw years ago that this reminds me of. It was a guy who had been running a simulated city/community for like 20 years. The whole thing was done on pen a…

The modern equivalant is the all-in-one karaoke machine :)

The current tenants will see the listing for the vacant unit.

You're absolutely right!

They don't make them like they used to

Messing around with my Lambda Calculus tutorial repo. I just did a total rewrite of Nominal Inductive Types. https://github.com/solomon-b/lambda-calculus-hs

Interesting! The rules for AM carrier current appear to be more similar to the FM rules, that is they are based on field strength readings that result in a roughly 200ft range. The…

To my knowledge there is no legal way to do unlicensed carrier current transmission. Do you have information otherwise? I've always wanted to try it.. The Part15 regulations for AM…

I run a LPFM radio station here in Los Angeles. https://www.kpbj.fm/ There are many more LFPMs out there too!

You could take it to the next level and build a part 15 compliant FM transmitter kit.

I respect you for taking the time to review this codebase. Personally I don't want to do that. It sounds like a mess.

Personally I don't want to read the codebase AND book of someone 3 weeks into a mania focused on a subject it is unclear they have any prior experience with. Its disrespectful for …