solomonb

12 ms·

181.
by solomonb 11mo ago
> No, no loss of safety. Was there something in particular you were thinking of? This is second hand information and may apply more so to effectful then bluefin. I have just done some pretty minimal test projects with bluefin and effectf
182.
by solomonb 11mo ago
Yes but from what I understand at a loss of safety. You can decide if that is worth it but you aren't getting a free lunch. that said, your library is really cool. : )
183.
by solomonb 11mo ago
`eff` is a research project that is no longer in active development and never made it to production in any sense. It would be AMAZING if `eff` were completed but I dont think that will happen at this point. `eff` is based on delimited conti
184.
by solomonb 11mo ago
I would like to expand and add a little nuance to my statement as apparently it was controversial. From wikipedia: > Business is the practice of making one's living or making money by producing or buying and selling products (such a
185.
by solomonb 11mo ago
The intuitionistic negation example is so mind blowing. I can only wrap my head around it when I think about it in terms of functions and types: not : Type -> Type not P = P -> ⊥ modus-ponens : P -> ((f : P ->
186.
by solomonb 11mo ago
They (and everyone else) should be paid the maximum amount the company can afford to pay while still being sustainable.
187.
by solomonb 11mo ago
This work predates agents as we know them now and was intended for building chat bots (as in irc chat bots) but when auto-gpt I realized I could formalize it super nicely with this library: https://blog.cofree.coffee/2025-03
188.
by solomonb 11mo ago
You didn't explicitly call your examples major milestones of human progress but you did use rather trite examples of consumer capitalism as a counter example to my disappointment at the lackluster end game of 20th century techno-futuri
189.
by solomonb 11mo ago
I love the Whole Earth Catalog. That era of techno-utopian optimism is so exciting. I'm too young to have experienced more then the tail end of it in the 90s going to computer camp as a kid, but it felt like anything was possible and e
190.
by solomonb 1y ago
Before I got my first full time software engineering gig (I had worked part time briefly years prior) I was working full time as a carpenter. We were paying for an expensive online work order system. Having some previous experience writing
191.
by solomonb 1y ago
What language do you use which does not have exceptions?
192.
by solomonb 1y ago
since were just making up functions.. myCoolSubroutine = do now <- getCurrentTime users <- getUsers forM users (sendEmail now) sendEmail now user = if user.expiry <= now then sendExpiryEma
193.
by solomonb 1y ago
Just postulate function extensionality and move on with life. :D
194.
by solomonb 1y ago
Given an algebraic data type such as: data List a = Nil | Cons a (List a) You can define its recursion principle by building a higher-order function that receives an element of your type and, for each constructor, receives a functi
195.
by solomonb 1y ago
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?
196.
by solomonb 1y ago
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 interne
197.
by solomonb 1y ago
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
198.
by solomonb 1y ago
> After all, it might just allow me to be more lazy, not more productive. Is this not the true promise of technology?
199.
by solomonb 1y ago
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
200.
by solomonb 1y ago
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
201.
by solomonb 1y ago
I disagree. I'm not autistic but pretty much everything in this simulator would stress me out to one degree or another.
202.
by solomonb 1y ago
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. H
203.
by solomonb 1y ago
In my free time I'm starting a new Low Power FM community radio station for the east San Fernando Valley. www.kpbj.fm
204.
by solomonb 1y ago
> 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 mig
205.
by solomonb 1y ago
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 qu
206.
by solomonb 1y ago
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
207.
by solomonb 1y ago
> - 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
208.
by solomonb 1y ago
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.
209.
by solomonb 1y ago
Cyberpunk in popular media tends to focus on and glamorize the aesthetic of early gibson novels without having anything interesting to say or explore.
210.
by solomonb 1y ago
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.

More ›