Got myself a v60 switch - because I do like an immersion brew, but I want to learn percolation.
So far, my verdict is that it's a much nicer device to look at than the clever dripper, but that I might need a blooming phase even for immersion: when I don't, there's eventually a large bubble from the depths of the brewer that carries a bunch of dryish ground coffee to the surface of the slurry. It's not very nice.
=> More informations about this toot | View the thread
Soo... did I get that right? in the end, after all the shit he's been up to, killing giants and bulls from the heavens, rejecting a Goddess hard enough that his best friend / lover dies, Gilgamesh sleeps through his chance at immortality, finds the flower of eternal youth but gives it to a snake by mistake, and then promptly forgets where he found it?
=> More informations about this toot | View the thread
Oh look, a return to the office mandate, and my office is... in a different country.
This feels like I might be on the market for a job soon.
=> More informations about this toot | View the thread
I suspect we all have that reel of embarrassing moments that starts playing in our head just as we're about to fall asleep.
Mine includes that time I was moving flats and decided to get rid of an unreasonable amount of books I was never going to re-read anyway, and the look of judgement on the face of the man when he found my copy of Atlas Shrugged. It was a present, but who's going to believe that! Who thinks that's an ok book to offer? (a family member that's also a trader, that's who)
=> More informations about this toot | View the thread
I'm looking for a good class on the various ways of making filtered coffees - an actual hands on thing where you get to use different tools with the same coffee to compare the results, a knowledgeable teacher to explain the various parameters and allow us to play with them... in Paris. Does anyone know of such a thing?
I don't want to become a barrista (although that'd be well fun), but I do want to get good at making something I enjoy, and I have so much fun with the various brewers...
=> More informations about this toot | View the thread
I find it really cool how the compiler manages to work out all these type equalities: https://scastie.scala-lang.org/nrinaudo/KDOCMT3ETrKcQGq14hZCJw
I initially wrote this by hand and it was painful. But no, with Eq, just throw all the things in a pattern match and let the compiler sort them out.
=> More informations about this toot | View the thread
So... am I missing something, or am I breaking the compiler a little by overriding the equals method of a sum type?
https://scastie.scala-lang.org/nrinaudo/axeL5xlATteCz977XHh2lw/1
=> More informations about this toot | View the thread
Went to the gym today for the first time in forever (literal years), and really enjoyed myself. Hopefully the enthusiasm can last!
=> More informations about this toot | View the thread
I've been having so much fun working with Scala 3's (almost) working GADTs that going back to Scala 2, I'm in such pain... asInstanceOf galore :(
=> More informations about this toot | View the thread
I rewrote all my articles on writing a programing language, because I had a good long time to think about them and have come up with clearer, better explanations: https://nrinaudo.github.io/articles/pl.html
I also finally managed to write a typed AST that also encodes its environment, so I can now get started on the articles about that.
=> More informations about this toot | View the thread
Can anyone think of a way, in the following code, to make get a (non-extension) method on Env rather than a function that takes an Env? I'm a bit stumped.
https://scastie.scala-lang.org/nrinaudo/befhWq7YTCCGD7QENwpdAA
=> More informations about this toot | View the thread
Finally used union types in anger, in order to allow a match type to be null when needed, and it's working like a charm!
Yes, I am using null in actual code. And you don't even know the worse bit. That nullable value is also mutable!
(couldn't figure out how to implement recursive functions without creating an environment with a null reference that is then mutated to the actual value).
=> More informations about this toot | View the thread
A feature I've never really thought about too much but am coming to dislike: in most languages I use regularly, things are public by default, which often leads me to exposing things I didn't intend to - and then getting stuck, because if it's public, people will use it.
=> More informations about this toot | View the thread
And that's why it was useful: we can use it to produce a typed AST, parameterised by its environment, so that bindings are guaranteed to be present and of the right type.
https://scastie.scala-lang.org/nrinaudo/Sy4OTDgPRCuAoVJLHMliZw
=> More informations about this toot | View the thread
This was so much fun (and struggle) to write: a type-checked proof that tuple XS contains element X
https://scastie.scala-lang.org/I56upRxyRtyZGeEOVP64dg
And yes, I wish I could use the enum syntax, but that makes writing get really, really unpleasant...
=> More informations about this toot | View the thread
I’m on a mythology kick these days, and while i grew up on and love greek mythology, i’m also a little… bored of it. At least in France, it feels like that and modern religions are the only available options.
Can anyone suggest good books for other mythologies? Norse would be lovely (i’ve read Gaiman’s stuff, obviously) but am also keen on asian things - Korean myths seem very interesting, for example!
=> More informations about this toot | View the thread
Headed for Japan tomorrow, cannot wait to enjoy all the things that are to be enjoyed there, including the odd looks because very few westerners go to the place my familly stays at.
Need to figure out a good coffee place too, because apparently japan’s filter coffee culture is very strong and i had no idea.
=> More informations about this toot | View the thread
Huh.
A friend offered me some coffee beans I really didn't like when brewed with the only thing I had at hand, a mocca pot. Struggle to finish my cup levels of didn't like.
The same beans with an aeropress though? Perfectly pleasant.
I suspect this tells me that I'm bad at mocca pots more than anything though.
=> More informations about this toot | View the thread
Got myself an aeropress. Found it very boring to use, which is why i’m a little upset that it makes such good coffee…
=> More informations about this toot | View the thread
It also took me a shamefully long time to realise you could use non-parametric sum types with a single, parametric variant to have convenient type equalities in pattern matches
=> More informations about this toot | View the thread
=> This profile with reblog | Go to NicolasRinaudo@functional.cafe account This content has been proxied by September (3851b).Proxy Information
text/gemini