solomonb

31 ms·

31.
by solomonb 4mo 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
32.
by solomonb 4mo ago
I run a LPFM radio station here in Los Angeles. https://www.kpbj.fm/ There are many more LFPMs out there too!
33.
by solomonb 4mo ago
You could take it to the next level and build a part 15 compliant FM transmitter kit.
34.
by solomonb 4mo ago
I respect you for taking the time to review this codebase. Personally I don't want to do that. It sounds like a mess.
35.
by solomonb 4mo ago
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 someone to think they can produce something worthy of c
36.
by solomonb 4mo ago
As someone genuinely interested in programming language design, type theory, and category theory this sort of thing really saddens me. There is so much passion and rigor that has gone into developing these fields. Chucking all their jargon
37.
by solomonb 4mo ago
How does `refl` work if its not even dependently typed?
38.
by solomonb 4mo ago
Well first of all I think there is more implicit data encoded in the symbols of the epsilon delta definition of limits. In the Mealy example they really just labels for arbitrary sets. The LLM actually failed a much simpler relabeling exerc
39.
by solomonb 4mo ago
I gave chatgpt 3.5 the type signature for a co-algebraic encoding of a mealy machine: newtype Mealy s i o = Mealy { runMealy :: (s, i) -> (s, o) } And it gave a really impressive analysis. Then I scrambled all the names and aske
40.
by solomonb 4mo ago
Its amazing that after years of advocating for a materialist view of the mind, the tech bros are flipping to mind-body dualism now that they need to believe a concious mind can exist no body at all.
41.
by solomonb 4mo ago
I haven't used CQL but this is how the advantages have been described to me as well.
42.
by solomonb 4mo ago
I would be interested in hearing from framework users who have gone through upgrade cycles on their laptops. General experiences with the process but also the costs. I had the first gen framework but had to return it to my old employer so I
43.
by solomonb 4mo ago
I love learning about computers, programming, and math so much. I actually got into tech as a career pretty late. For many years I worked as a art fabricator/carpenter in the art world. I only got good enough at programming to get a jo
44.
by solomonb 4mo ago
This literally involves the CEO.
45.
by solomonb 4mo ago
I think you're right. I can't think of any reason an entire organization would act this way unless it had been repeatedly successful for them in the past.
46.
by solomonb 4mo ago
I'm not doubting the claims at all. I simply don't understand why a massive company would shoot themselves in the foot over something relatively small.
47.
by solomonb 4mo ago
This isn't an individual franchise. The franchise was already taken over by corporate!
48.
by solomonb 4mo ago
Can anyone explain WHY a 400M company would do this? This is just bonkers. They are destroying their reputation for $200k of legos???
49.
by solomonb 4mo ago
> If we had all the time and computing power in the universe to do so, we could trace through it bit by bit and eventually answer that question. Then we could also solve BB(6), but that doesn't mean we know BB(6) now or ever will.
50.
by solomonb 5mo ago
Shen is one of those projects i've always wanted to dig into a bit but have never found the time sadly.
51.
by solomonb 5mo ago
This is really cool, but why wouldn't you just use a more richly typed target language and skip this process? You could use Liquid Haskell (for refinement types) or Lean (for full dependent types) and be able to put these invariants di
52.
by solomonb 5mo ago
Dena is a great writer and was part of the trend spotting group K-Hole that put "normcore" on the map.
53.
by solomonb 5mo ago
I remember in elementary school a friend had a book of these. The one I remember best was a dust mask that had been modified to receive something like 50 cigs so you could smoke them all at once.
54.
by solomonb 5mo ago
I agree! I get much better results when I give LLMs some light architectural constraints such as to use tailwind and alpine.
55.
by solomonb 5mo ago
A while back I figured out this trick and used it to crank out a bunch of calculators for analog electronics: https://cofree.coffee/~solomon/calculators/ its super convenient to be able to throw tools like this to
56.
by solomonb 5mo ago
I agree and I think a really wonderful way to encode agentic control flow would be with Polynomial Functors. https://arxiv.org/abs/2312.00990
57.
by solomonb 5mo ago
From the podcast episode they talk about the idea of using an LLM for training by disallowing the model to write code. I've been experimenting with exactly that in conjunction with a proof checker (Agda) to help me learn some cubical t
58.
by solomonb 5mo ago
I have a pitch to buy American Spirits and American airlines to bring back smoking on airplanes. I would be happy to pivot to purchasing Spirit Air. https://cofree.coffee/~solomon/InhaleLabs_PitchDeck.pdf
59.
by solomonb 5mo ago
Man as a teenager I was in a Day of Defeat clan with a couple of the Ask Jeeves engineers. They were really cool.
60.
by solomonb 5mo ago
AFAIK Scala's type system is not decidable. The point of Hindley Milner (and I really should have said System F without impredicative or higher rank types) was to get decidable polymorphism not type inference.

More ›