solomonb

no profile record

comments

13 gün öncediscuss

To be fair the original commenter was incredibly snarky.

13 gün öncediscuss

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 around an `Integer` where you declare the scale in the type. So if you use `Fixed E2` as your type then `MkFixed 1` is 1 cent. If you did `Fixed E3` as your type then `MkFixed 1` is 0.1 cent. In both cases it is entirely an integer encoding.

15 gün öncediscuss

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/

17 gün öncediscuss

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. Similar pre-internet outsider art vibe.

18 gün öncediscuss

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

23 gün öncediscuss

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

24 gün öncediscuss

You're absolutely right!

26 gün öncediscuss

They don't make them like they used to

26 gün öncediscuss

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

geçen aydiscuss

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 from as your antenna could be quite large.

geçen aydiscuss

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 FM it is based on field strength readings, the exact values of which escape me, but yielding roughly the range you describe.

For AM the rules are more interesting. You can have up to a 3m antenna length and 100mW of DC power input to the final stage of amplification. The optimal setup is a class E amplifier with ~95-99% efficiency into a properly grounded 3m base loaded vertical antenna. The antenna will be grossly undersized but you try to compensate with a huge loading coil. In ideal conditions this setup can get you about 0.5km range.

LPFM is a much more significant undertaking and it is not trivial to get an LPFM license. I know because I have one :)

geçen aydiscuss

I run a LPFM radio station here in Los Angeles.

https://www.kpbj.fm/

There are many more LFPMs out there too!

geçen aydiscuss

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

geçen aydiscuss

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

geçen aydiscuss

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 consuming another human's time under those constraints.

geçen aydiscuss

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 into an ai slop blender, imo, is actually incredibly disrespectful to those who have worked so hard.

Imagine someone honestly interested in learning about category theory but not yet knowing where to start. Projects like this only serve to muddy the waters obscuring paths to actual learning and giving the impression that the subject is a joke.

geçen aydiscuss

How does `refl` work if its not even dependently typed?

geçen aydiscuss

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 exercise. Setting that aside, I still think the analogy is flawed.

The student is mid learning process and its entirely reasonable for them one to be relying on pattern recognition until they have fully internalized the subject. The model is fully trained and should thus have internalized their understanding of the subject.

Additionally the student can update their understanding when pattern recognition fails. The model is fully cooked and will never do more then pattern recognition.

geçen aydiscuss

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 asked with a fresh context like:

    newtype Foo z e g = Bar { blob :: (z, e) -> (z, g) }

It got completely confused and generated a bunch of non-sense. It was at that moment I realized that LLMs don't really understand anything.

And yes I understand that a newer model would not get confused by this.

geçen aydiscuss

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.