Show more
Jons Mostovojs boosted
David Thrane Christiansen  

_Functional Programming in Lean_ is now done and out the door!

It's a free online book that describes using the interactive theorem prover Lean 4 as a programming language, without assuming any background in functional programming. You don't need to already know Haskell, OCaml, Rust, Scala, or Racket to read this book.

You can read it at leanprover.github.io/functiona .

Thank you to everyone who's carefully read prereleases - it's much, much better than it otherwise would have been. The Lean Zulip is a great place to hang out.

Also, thanks to MSR for supporting this project, and to Leonardo de Moura for initiating it. It's been a lot of fun!

1+
Jons Mostovojs boosted
Eugene McParland 🇺🇦  

Kyiv and all our cities, the whole of Ukraine will put an end to the history of moscow's despotism – address by Volodymyr #Zelenskyy President of #Ukraine 28/05/23

Extract
Our Ukraine. Our faith that we will pass this extremely difficult stage of history... We will, and all our cities will be free, and our people will be protected from any evil that may threaten our country.

Full address🔗president.gov.ua/en/news/kiyiv

#SlavaUkraine #StandWithUkraine

0
Jons Mostovojs boosted
technomancy (turbonerd aspect)  

@m455 @SpindleyQ basically it's like this

0
Jons Mostovojs boosted
Eugene McParland 🇺🇦  

#Zelensky asks parliament to sanction Iran for 50 years

The draft includes a complete ban on trade with Iran, investments, and transferring technologies, as well as stopping Iranian transit across the Ukrainian territory, and preventing the withdrawal of Iranian assets from #Ukraine

#Iran has supplied russia with military hardware including the Shahed loitering munition that russia has launched at Ukraine by the hundreds

Read more here🔗 kyivindependent.com/zelensky-a

#SlavaUkraine #StandWithUkraine

1+
Jons Mostovojs  

Wowee.
The first medal for us in our history, right?

Feels surreally happy, even if not gold.

0
Jons Mostovojs boosted
Nick Tune 🇺🇦  

@jonn I sat in K6 for qualifying in 2019.

I loved the atmosphere coming from the people partying on the boats.

It's also a great spot to see the cars really pushing into Tabac on the final runs of Q3.

0
Jons Mostovojs boosted
Julien  

I am about to launch the last building session before completing my micro-datacenter and racking everything ! Super excited.

0
Jons Mostovojs boosted
Krisztina Hirth  

"As soon as people are forced to compete, they have to look after their own interests and so self interest comes to dominate in a DP1 [autocratic/ bureaucratic] structure. All the team-building in the world cannot change this dynamic.” Merrelyn Emery

@trondhjort #NewCrafts

0
Jons Mostovojs boosted
Björkus "No time_t to Die" Dorkus  

I deserve better than this opaque, institutional bickerings from a mature, open-source programming language.

The Pasture | I Am No Longer Speaking at RustConf 2023 | thephd.dev/i-am-no-longer-spea

0
Jons Mostovojs  

Final tip! For qualifying, sector may actually be the best because it's the only grand stand sector I'm aware of that is in shadow.

I had an absolute blast.

That was a heck of a birthday present.

As I'm going to sleep, I'm thinking about all the male friends who, for the time being, can't experience such moments in life.

Please donate to to end the war with the victory of good over evil.

Show thread
1
Jons Mostovojs  

That was a bit weird. 😃

Show thread
0
Jons Mostovojs  

Favorite part of the races in were safety car restarts. The qualy was a banger except for the bit where spoiled the fun for everyone. So many unexpected interim results! 's provisional pole was something.

engines are loud as fuck, both and pale in comparison. Which is great, I wouldn't want to sit through a full length race of that noise.

cars are huge. I wonder if they can make smaller hybrid cars since these sizes certainly require different circuits.

Show thread
1
Jons Mostovojs  

Organization is really stellar. It's really impressive how streets of a town seamlessly transform into a sports venue.

Show thread
0
Jons Mostovojs  
Show thread
0
Jons Mostovojs  

Based on intermediate results of , we will have a predictable fight between and for pole. I hope that the crowd will root for the right driver 🙂

Show thread
0
Jons Mostovojs  

Missing #5.

Show thread
0
Jons Mostovojs boosted
#DEVCommunity  

"I regret the word 'object'. It gets many people to focus on the lesser idea. The real issue is messaging." — Alan Kay in an interview with Peter Seibel for Dr. Dobb's Journal in 1997

#DEVCommunity
dev.to/jarrodhroberson/go-is-n

0
Jons Mostovojs  

race was really cool. I was rooting for #15 and missed the overtake for 4th.

In general, the race was rather eventful. Absolute nerd chills. Gonna pop in to look at the cars during and wait in an air conned room for the race.

I like K3 sector! Would rather watch the chicane but it is what it is.

Show thread
0
Jons Mostovojs  

impressions.
Random.
Thread?

1+
Jons Mostovojs  

Live timings is basically a libretto

0
Show more

doauth

53
Doma Social

Mastodon server of https://doma.dev.

Trending now

Resources

Developers

What is Mastodon?

social.doma.dev

More…