Fuck, now I'm really tempted to check out what the experience is like with modern Java, I still have access to Jetbrains. Are there any cool new features / things I should check out - ThreadSky

About ThreadSky

texoport.in • 12 days ago

Fuck, now I'm really tempted to check out what the experience is like with modern Java, I still have access to Jetbrains. Are there any cool new features / things I should check out

Comments

lemna.bsky.social•12 days ago

I find the structured concurrency stuff they have pretty interesting, if you wanna play with stuff that is in preview value classes are pretty cool

texoport.in•12 days ago

Ty! I'd heard of Project Loom but didn't know they also had structured concurrency in the works.

lemna.bsky.social•12 days ago

Project loom has (more or less) landed, spring has already rebuilt its concurrency on top of it

programingisthefuture.com•12 days ago

Maybe you will find this interesting: https://github.com/JetBrains/Arend

texoport.in•12 days ago

ooh, i don't know much about HoTT but if i understand correctly, would this have a ... richer, or more powerful notion of equality than Lean4 does?

texoport.in•12 days ago

I think I have an ... intuitive understanding of what HoTT is but it's still several steps away from anything I ought to be rightfully digging into for now. I've started reading TAPL and have been working through Theorem Proving in Lean4, but ya, I'm definitely half a year away from HoTTness

Posting Rules

Be respectful to others
No spam or self-promotion
Stay on topic
Follow Bluesky's terms of service

Comments

Posting Rules

Reply