Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Daniel Spiewak

@djspiewak@fosstodon.org
mastodon 4.7.3
  • Open on fosstodon.org

It's been done before. The mathematicians complain.

0 Followers
0 Following
8 Posts
Joined November 18, 2022
github:
https://github.com/djspiewak
Open post
Daniel Spiewak @djspiewak@fosstodon.org
· 7mo ago

After a long and winding waiting room… Cats Effect 3.7.0 has finally been tagged! https://github.com/typelevel/cats-effect/releases/tag/v3.7.0 This is a big one because it represents the culmination of all the planning and scheming and hard work to make truly native multithreaded execution functional on Scala Native 0.5.

github.com
18
0
16
0
Open post
Daniel Spiewak @djspiewak@fosstodon.org
· 6mo ago
Replying to
@matejcerny@witter.cz I believe the technical term for this is “bootstrapping”, a reference to Chuck Norris landing a roundhouse kick squarely in the AST.
3
0
1
0
Open post
Daniel Spiewak @djspiewak@fosstodon.org
· 6mo ago
Replying to
@dpiponi Have you read the book? Weir goes to some lengths to create a plausible mcguffin to explain the astrophage’s insane energy storage density. Just trying to gauge if that got lost in movie making.
2
2
0
0
Open post
Daniel Spiewak @djspiewak@fosstodon.org
· 6mo ago
Replying to
@dpiponi Genuinely one of the better books I've read in the past few years. The movie annoys me all the more since it spoils many (though not all) of the greatest notes in the book without presenting them in the same comprehensive intellectual and emotional light.
1
0
0
0
Open post
Daniel Spiewak @djspiewak@fosstodon.org
· 6mo ago
Replying to
@dpiponi Update: saw the film. Amazingly bad adaptation. Literally all the science is stripped as you said, and it’s effevtively impossible to follow without knowing the book. Which you should read btw because it’s very good. The answer to conservation of energy btw is the astrophage does direct mass energy conversion. So a small amount converts an absurd amount of energy. That’s also why the distinctive IR emission spectrum.
1
2
0
0
Open post
Daniel Spiewak @djspiewak@fosstodon.org
· 7mo ago

@alexelcu@mastodon.social This is very cool and I started something similar on the cats-effect-direct project. I think the main thing it's missing is the ability to do it on the JVM across arbitrary threads. I know that needs a startup flag to enable but it's the difference between it being game-changing for libraries like CE vs being something that we can't relaly use.

0
0
0
0
Open post
Daniel Spiewak @djspiewak@fosstodon.org
· 6mo ago
Replying to
@dpiponi That's pretty annoying tbh. In the book science is definitely a major focus, though less so than in The Martian. Weir's style in general is to be pretty grounded in facts and only cheat once or at most twice in some way that generates the plot. Like in The Martian where the dust storm winds are enough to cause their launch vehicle to tip (the air pressure is too low for that to ever happen), but then everything after that is pretty rigorous. Similar with astrophage energy density here.
0
0
0
0
Open post
Daniel Spiewak @djspiewak@fosstodon.org
· 6mo ago
Replying to
@jonafato@mastodon.social @ross@social.rossabaker.com I mean I agree with what you're saying, but maybe I'm missing something, because it feels like this type of tooling is almost trivial to implement yourself if you're willing to inline the locking and add some ignored YAML.
0
2
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 12:13:10 UTC