Jons Mostovojs @jonn@social.doma.dev

Is your team new-ish to Rust? Have you ever considered bringing in someone external for code reviews and advice? I'm available!

Stealing passwords and PINs entered by Apple Vision Pro users. As you can see, you never know when a lecture on double integrals over surfaces might come in handy. https://arxiv.org/abs/2409.08122

Hearing about a young hacker whose being extorted by the University of Washington, not cool UW.

The student claims they built an app to help kids get the course schedules they want, a hack as old as time, and the university decided to expel him until he ports his app to the university's internal systems.

This would be unpaid labor.

Until then his class registration is on hold and he can't register or attend his last few classes. 🥴

https://www.linkedin.com/posts/jdkaim_github-jdkaimhuskyswap-huskyswap-project-activity-7282891503142641664-nA8Y

#UW #Seattle #HuskySwap #CS

10yo and I were designing a moon base for a video game.

10yo: And what would the soldiers look like?

Me: They’d be wearing the classic NASA Moon suits.

10yo: So it would be like astronauts with guns?

Me: Always has been.

10yo: What?

Bad practices are annoying in nix code because i feel like i call them out 100 times. Now i'm just going to send this link to everyone

https://isabelroses.com/blog/im-not-mad-im-disapointed-10

🇵🇱 Poland is preparing a new package of military aid to Ukraine, — Polish Defense Minister

🇩🇪 Pistorius announced today that Germany will deliver nearly 50 additional missiles for the delivered IRIS-T systems to Ukraine.

🇪🇺 The EU is ready to take the lead in supporting Ukraine if the U.S. steps back, — Kaja Kallas

🇳🇴 Norway has allocated $61.6 million for drones for Ukraine. The country has contributed money to the International Drone Coalition Fund.

i hate git submodules with the fire of a thousand suns

Almost 40 years ago in 1985, Carl Sagan told Congress that continuing to burn fossil fuels will increase global temperature, cause climate change, melt glaciers and ice sheets, and cause sea level rise.

@jonn Canada would like a word...we are trapped between both!

Early today we launched the new Lean reference manual, our core documentation intended as a comprehensive, precise description of Lean! #leanlang #leanprover

Check out the manual: https://lean-lang.org/doc/reference/latest/

Read more about the release: https://lean-lang.org/blog/2024-12-16-introducing-the-lean-language-reference/

@jonn Right, but the frustrating thing is that there *is* a dichotomy. Types still only exist at compile time, and while types can depend on values, values can't depend on types. You're still running Program 1 first (the type/value program), THEN running Program 2 (the value program). Which means you still have to do indirection like Enum TBool | TInt | TBlah, etc. What I am more or less looking for is a type-safe version of reflection. So you could do something like fields(myType)

Garry Kasparov: 'You never hear Russian opposition actually say Ukraine must win'¹

In an interview with the Kyiv Independent, Russian chess grandmaster and political Garry Kasparov shared his thoughts on the current state of the Russian opposition, why they're looking for a "good tsar" to replace Putin, and why he'll push back at those who insist it's "Putin's war" rather than Russia's war.

Read the full interview here. ²

Photo: Saul Loeb/AFP via Getty Images

➖➖➖➖➖➖➖➖➖
¹ https://kyivindependent.com/garry-kasparov-without-decisive-military-defeat-there-wont-be-change-in-russia/
² https://kyivindependent.com/garry-kasparov-without-decisive-military-defeat-there-wont-be-change-in-russia/

Today on Threads: Endless questions like:

"Where to escape from this?"

WHERE, I WONDER, TELL ME I WANT TO KNOW

#Threads #SocialMedia