solomonb

7 ms·

61.
by solomonb 5mo ago
I think Hindley Milner (for decidability) + Linear Types (for resource management) + Refinement Types (for lightly asserting invariants) + Delimited Continuation based Effects (for tracking effectful code) + Unison style Content Addressabi
62.
by solomonb 5mo ago
You literally just have to search RF Engineering and the very first results will explain the term for you.
63.
by solomonb 5mo ago
> While we're at it, another major concern for me is the inscrutability of Agda's error messages. I've had one error message single-handedly overflow my tmux scrollback buffer. There's no way I'm going to be able
64.
by solomonb 5mo ago
Its also really slow and doesn't have a huge library ecosystem. The latter is fixable but not so much for the former.
65.
by solomonb 5mo ago
https://letmegooglethat.com/?q=what+is+rf+engineering%3F
66.
by solomonb 5mo ago
I prefer agda as proof checker but its not a practical choice for building software. Lean feels like it could legitimately become a successor to Haskell as the go to functional programming language for software development.
67.
by solomonb 6mo ago
I love diners but they aren't affordable anymore! I want a cheap simple meal and bad coffee. The diners that seem to survive in this market end up up-scaling their menus. : (
68.
by solomonb 6mo ago
Huh? Your examples are all people failing at something that merely resembles their job. For the analogy to work, Giovansanti would need to be failing at something in his personal life that resembles traffic enforcement. Instead he's do
69.
by solomonb 6mo ago
When I was a child my parents told me they would always buy me a book no matter what. They would take me to bookstores of all stripes and let me wander. I would spend hours walking the sections looking at whatever caught my eye. Then I woul
70.
by solomonb 6mo ago
Free Monads are also built on a tower of mathematical structures that come with laws and invariants. I have yet to see such formalization for transducers.
71.
by solomonb 6mo ago
Would love if we could get a tool that performed the same analysis on an arbitrary site as the author's playwright test setup.
72.
by solomonb 6mo ago
> If that's your experience, transducers are a pretty novel place in the trade-off space That is not my experience and TBH I don't know what a lot of your terminology specifically means.
73.
by solomonb 6mo ago
It seems like a messy abstraction whose results could be achieved through a variety of other tools. :/
74.
by solomonb 6mo ago
I never understood what was so special about Clojure's Transducers. Isn't it essentially just applying a transformation on the lambda applied to a fold?
75.
by solomonb 6mo ago
Does this mean you can use openclaw with a Claude Pro account? I'm curious try it but no way i'm going to pay API rates.
76.
by solomonb 6mo ago
I've been wanting to make my own fish sauce for years at this point. I even found a huge crock to do it in. I've just never gotten it together to go to the fish market super early and source fish. What species do you use?
77.
by solomonb 6mo ago
I think all you need is salt, fish, and a clay jar?
78.
by solomonb 6mo ago
I mean you are kinda right but kinda wrong. To get a proof checker you take a typed lambda calculus and extend it with Pi, Sigma, and Indexed Inductive types while maintaining soundness. Yes haskell's `bottom` breaks soundness, but tha
79.
by solomonb 6mo ago
These fall directly out of ML.
80.
Show HN: Single file Lambda Calculus' demonstrating various type system features(github.com)
1 points by solomonb 6mo ago|0 comments
81.
by solomonb 6mo ago
i love lean4, best in class functional programming language. but i think its "perfectability" is kinda hamstrung by baking non-constructive axioms into the standard library. the kernel has to treat these as opaque constants that c
82.
by solomonb 6mo ago
Still working on my LPFM radio station https://www.kpbj.fm/ We have over 60 shows now, rented a studio, and are in talks to security a site for our tower. I'm building out an online store but really need to focus on fu
83.
by solomonb 6mo ago
I actually find Gmail a better editor/grammar check then LLMs. It makes isolated simplifications/corrections that imo have minimal style impact and just focus on clarifying phrasing.
84.
by solomonb 6mo ago
I'm not saying we are in one, but isn't a RAM shortage like this is exactly what one would expect at the early stages of a take off scenario?
85.
by solomonb 7mo ago
Same. I've been using the same apple earbuds since like 2005(?). I still have the original plastic case for them and use it to store them in my backpack.
86.
by solomonb 7mo ago
Yes Person of Interest is great! It starts kinda slow as a fairly generic police procedural but gets really epic by the end.
87.
by solomonb 7mo ago
Does it change your perspective on agentic systems like Openclaw?
88.
Daemon (2006)(en.wikipedia.org)
53 points by solomonb 7mo ago|13 comments
89.
by solomonb 7mo ago
I keep coming back to Daniel Suarez' breakout novel. It feels so topical with the rise of agentic AI and I often wonder if when and when something like it could arise.
90.
by solomonb 7mo ago
> Haskell is great, for what it's worth, but as with any language you have to reign in the AI's use of excessive verbosity. It will stack abstractions to the moon even for simple projects, and haskell's strengths for human

More ›