solomonb

6 ms·

1.
by solomonb 1mo ago
Did you have previous experience with formal verification and/or dependent types?
2.
by solomonb 1mo ago
But CNC machining still requires a ton of physical skills. Its true that you maybe aren't planning out and executing every single tool pass by hand but there is still a tremendous amount of knowledge and physical skill that goes into s
3.
by solomonb 1mo ago
okay maybe i was wrong about them being technically endangered, i misread that somewhere. Still doesn't change the fact that we shouldn't be abusing animals to have pseudo-intellectual psychedelic experiences.
4.
by solomonb 1mo ago
Can we please leave the fucking toads alone? This is an endangered species getting massively abused by the wellness "shaman" industry. It fucking sucks. Just use synthetic 5me0-dmt if you really must do a goofy vision quest larp.
5.
by solomonb 1mo ago
I am responding to a comment that is framing the reduced size as a good thing from an obesity perspective...
6.
by solomonb 1mo ago
Is obesity more or less prevalent now versus 1991?
7.
by solomonb 1mo ago
The churn in this space puts javascript to shame. As an example, its only been a few months and AFAICT no one is even talking about openclaw anymore.
8.
by solomonb 1mo ago
Waiting for the remaining broadcast equipment for my LPFM (www.kpbj.fm) to arrive! Then we finally get on the broadcast band. We have over 80 shows at this point. We still need fundraising support. If you are in Los Angeles and want to supp
9.
by solomonb 1mo ago
Now I want a hat with the Agnostic Front logo but that says Pareto Front.
10.
by solomonb 2mo ago
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 explicitly wanted a theorem prover.
11.
by solomonb 2mo ago
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 then Haskell where the best you can do is hacky bullshit with s
12.
by solomonb 2mo ago
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 proof checker (as bad as the UX is on those!). That sai
13.
by solomonb 2mo ago
I find that claude rarely uses its memories.
14.
by solomonb 2mo ago
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 to match their audience.
15.
Type Safe Servant Auth Roles(blog.cofree.coffee)
2 points by solomonb 2mo ago|0 comments
16.
by solomonb 2mo ago
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.
17.
by solomonb 2mo ago
They offer recruiting services.
18.
by solomonb 2mo ago
I'm reading The Drowned World right now. Incredible book, highly recommended.
19.
by solomonb 3mo ago
To be fair the original commenter was incredibly snarky.
20.
by solomonb 3mo ago
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.0/do... Its a wrapper a
21.
by solomonb 3mo ago
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://okmij.org/ftp/
22.
by solomonb 3mo ago
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 and paper and used complex rule system he had devised. S
23.
by solomonb 3mo ago
The modern equivalant is the all-in-one karaoke machine :)
24.
by solomonb 3mo ago
The current tenants will see the listing for the vacant unit.
25.
by solomonb 3mo ago
You're absolutely right!
26.
by solomonb 3mo ago
They don't make them like they used to
27.
by solomonb 3mo ago
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
28.
by solomonb 3mo ago
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. There is probably a bunch of subtlety about where you measure f
29.
by solomonb 3mo ago
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 and FM are more subtle then what you present here. On
30.
by solomonb 3mo ago
I run a LPFM radio station here in Los Angeles. https://www.kpbj.fm/ There are many more LFPMs out there too!

More ›