HNHacker News
TopNewBestAskShowJobs

solomonb

1,307 karma · joined December 2, 2019

Software engineer with interests in programming language theory and type theory.

I also like compost.

and radio.

blog.cofree.coffee www.kpbj.fm www.kchungradio.org

ssbothwell_at_gmail_dot_com

submissionscomments
solomonb··on Ask HN: What are you working on? (October 2025)
Thanks! We are working on another event for december. Our goal is to do a show roughly every 3 months. Whats the best way to reach you?
solomonb··on Ask HN: What are you working on? (October 2025)
I have a lot of thoughts about this!

1. Radio is COOL. As a fellow ham I think you would agree with me on this one so I'll leave it at that.

2. Internet streaming gives you wider but far less localized audience. We will have an internet stream, but being radio first shifts the focus to local community and local content.

3. Internet streaming and radio have related but not entirely overlapping histories and contexts which impacts how people produce and consume their content. I love the traditional formats of radio and they are often completely missing in online radio which IMO models itself more often on mixtape and club DJ culture.

4. AI slop is ruining the world. I have this belief that as AI slop further conquers the internet we are going to get to a place where nobody trusts internet content. People will seek out novelty and authenticity (sort of how LLMs do lol) and I think there will be a return to local content and community.

5. Commercial radio sucks. The LPFM system is a wonderful opportunity to create a strong, community driven alternative to corporate media.

solomonb··on Ask HN: What are you working on? (October 2025)
Continuing to work on a Low Power FM community radio station for the East San Fernando Valley of Los Angeles. We have started promoting and putting on local events and are trying to fund raise to build out the station. Raising money is hard! We did a big show in Burbank where several hundred people showed up but we only netted $800 after expenses. :(

We were featured on our local NPR syndicate which is neat: https://laist.com/news/los-angeles-activities/new-grassroots...

https://kpbj.fm/

Since this is hackernews, i'll add that i'm building the website and archiving system using haskell and htmx, but what is currently live is a temp static html site. https://github.com/solomon-b/kpbj.fm

solomonb··on "Vibe code hell" has replaced "tutorial hell" in coding education
> After all, it might just allow me to be more lazy, not more productive.

Is this not the true promise of technology?

solomonb··on A built-in 'off switch' to stop persistent pain
I would be hesitant to turn off some physical pain like that of an injury I don't want to overextend, but for something like a chronic headache this would be a godsend.

My most effective treatment for headaches is imitrex but you have to time it correctly and I really hate how it makes my body feel.

solomonb··on The Mondrian introduction to functional optics
My grandfather was a painter. He had a friend who shared a studio with Mondrian at one point. His friend said that Mondrian would be very quiet then periodically would shout along the lines of "FUCK NOW I NEED TO MOVE THIS LINE HALF AN INCH TO THE LEFT."
solomonb··on Show HN: Autism Simulator
I disagree. I'm not autistic but pretty much everything in this simulator would stress me out to one degree or another.
solomonb··on Ask HN: What are you working on? (September 2025)
Thanks! We're hoping to get the online stream going by the end of the year. We have a _ton_ of programming submissions but its going to be a challenge to get it all scheduled.

I'm building out a new website for it right now too. Hoping to launch that soon.

solomonb··on Ask HN: What are you working on? (September 2025)
In my free time I'm starting a new Low Power FM community radio station for the east San Fernando Valley.

www.kpbj.fm

solomonb··on Death to type classes
> The audience is going to meet the article where they're at.

I hear you on this point but anyone can post anything on this forum. The burden should not be on the author to write a post that aligns with whatever forum their blog might get posted onto.

solomonb··on Death to type classes
I see a lot of critical comments on here.

The blog post is an exploration of an alternative way to structure code in Haskell.

Why is the bar such that Haskell blog posts have to either demonstrate something clearly better then the status quo or that they need to explain the fundamentals of the language?

solomonb··on The Storm Hits the Art Market
Sadly I don't think this perspective will ever be accepted on HN.

Commercial galleries and the art school pipeline are awful in so many ways, but one thing that many people fail to understand is that art in its best light is an ongoing conversation.

Yes you can be incredibly skilled and build an aesthetically beautiful hand made work of art without ever being part of the larger art world. And as a viewer, you can appreciate that art and buy it and cherish it. This is good, great in fact.

But to say that is all that art should be is sort of missing the forest for the trees or whatever. We have this thousands of years old conversation going about form, color, concept, story, material, humanity, etc and when its working correctly the art world cultivates and encourages that conversation.

We can absolutely have this conversation without financializing art to the extreme as has been done the past 10 years, but lets not throw the baby out with the bathwater.

solomonb··on The Storm Hits the Art Market
> - it’s way easier and cheaper to launder money through cryptocurrency casinos than art auctions

Sure art sales can be used to launder money, but that can't be the majority of sales. Doesn't laundering rely on being masked by a larger legitimate cash flow?

I think a much more significant portion of the art market is people speculating on prices and people collecting to look cool. Both of which are highly sensitive to changes in mood and sentiment as described in the section of the article talking about Beth Rudin DeWoody .

solomonb··on Anthropic raises $13B Series F
They are only getting deprecated this fast because the cost of training is in some sense sustainable. Once it is not, then they will no longer be deprecated so fast.
solomonb··on Mirrorshades: The Cyberpunk Anthology (1986)
Cyberpunk in popular media tends to focus on and glamorize the aesthetic of early gibson novels without having anything interesting to say or explore.
solomonb··on Mirrorshades: The Cyberpunk Anthology (1986)
I just checked for my copy of this and its missing. : (

Great book. I like seeing how expansive the original cyberpunk was. I love William Gibson (and Bladerunner) but modern cyberpunk is but a hollow shell of Gibson's aesthetic.

solomonb··on The Math Is Haunted
yeah i didn't mean to imply you cannot do that, but tactics seem to be highly encouraged.

I'm actually a big fan of Lean, I just like it more as a programming language for writing programs with dependent types then as a proof checker.

solomonb··on The Math Is Haunted
This is why I prefer Agda, where everything comes down to pattern matching.
solomonb··on A list is a monad
Well, I can't speak to your experience but in the case of liftM2 vs liftA2 I have never even seen liftM2 get used. Its more of a historical oddity that it is available.
solomonb··on A list is a monad
Yes you're absolutely right. I had a bit of a brain fart moment here. If they were Applicative operations then you would not be able to use `liftM2`, not the other way around.
solomonb··on A list is a monad
Not if you need to perform two /Monadic/ operations as the commenter stated explicitly.
solomonb··on I'm dialing back my LLM usage
I use it the same way but cursor is constantly insisting on making code changes. Is there a trick to get it to introspect on the codebase without wanting to modify it?
solomonb··on Building a Personal AI Factory
> When something goes wrong, I don’t hand-patch the generated code. I don’t argue with claude. Instead, I adjust the plan, the prompts, or the agent mix so the next run is correct by construction.

I don't think "correct by construction" means what OP thinks it means.

solomonb··on Polystate: Composable Finite State Machines
Right on, I'll take a look at your haskell code this week.
solomonb··on Polystate: Composable Finite State Machines
I'm having trouble reading zig code, so I'm not sure how much overlap there is but I have done some work with mealy and moore encoded as co-algebras in haskell:

https://blog.cofree.coffee/2025-03-05-chat-bots-revisited/ https://github.com/cofree-coffee/cofree-bot

Also using the lens library to encode moore machines as polynomial functors: https://blog.cofree.coffee/2024-07-02-lensy-moore/

solomonb··on Darklang Goes Open Source
What are the pros and cons of Dark Lang vs Unison?
solomonb··on It’s nearly impossible to buy an original Bob Ross painting (2021)
In the contemporary art market the stated prices are actually really low. Painters fresh out of art school at a good gallery focused on emerging artists will sell paintings for 10-20k these days.
solomonb··on How I Program with Agents
A state machine, or more specifically a Moore Machine.
solomonb··on Ask HN: What are you working on? (May 2025)
I'm starting a Low Power FM radio station for my local area.
solomonb··on Itter.sh – Micro-Blogging via Terminal
Its neat but isn't it basically just `wall`?
← PreviousPage 8 of 16Next →