mattrusselluk.bsky.social
27 posts
18 followers
28 following
Regular Contributor
Conversation Starter
comment in response to
post
Not explicity, but I was trying out the imperative-ish do syntax, and I believe that uses partial functions when desugared. For example:
private def infiniteLoop: Nat := Id.run do
let mut n: Nat := 0
while true do
n := n + 1
n
comment in response to
post
I would love a chiller version of AOC where all the problems are first-week level of difficulty.
comment in response to
post
Nice! I'm really thrown by Lean's imperative syntax in do blocks - for loops, while loops, mutation. I need to read up on what's going on!
comment in response to
post
"Falling in love" and "thinking it sucks" are both limiting perspectives on TypeScript. It's a remarkable piece of pragmatic programming language tech that bolts some sanity on top of JS and its ecosystem - but all the warts of JS are all still there. The Web should aspire to better.
comment in response to
post
What does a partial def do?
comment in response to
post
github.com/mdr/aoc-2024...
I stole and ported this "diagonals" function for today's puzzle. It might be interesting to prove some properties about it, e.g. that the elements of `join (diagonals grid)` are the same (ignoring order) as the elements of `join grid`.
comment in response to
post
It would work, but the extra wrappers would make me sad:
[ShapeCircle (Circle 3.0), ShapeSquare (Square 4.0)]
comment in response to
post
How do you find it compared to the proprietary models?
comment in response to
post
Are you thinking along the lines of:
data Circle = Circle { radius :: Double }
data Square = Square { side :: Double }
data Shape where
CircleShape :: Circle -> Shape
SquareShape :: Square -> Shape
filterCircles :: [Shape] -> [Circle]
comment in response to
post
PostHog is a top tier name for (amongst other things) a session replay tool!
comment in response to
post
I hadn't come across Dave Farley before, but he talks a lot of sense!
comment in response to
post
Me too! I did Unison last year, and Idris the year before. I suspect I might only get through a dozen puzzles or so, but I like the excuse to tinker with something new.
comment in response to
post
Thanks! Where does the Discord server live?
comment in response to
post
I did look at the Lean Zulip, it does feel a bit intimidating though!
comment in response to
post
🎄I'm really hyped to learn some Lean this year! Where might be a good place to ask beginner questions / get some review on a puzzle solution?
comment in response to
post
I've been getting into fungi a teeny bit - Fly Agaric I came across last month