vpatryshev.bsky.social - Profile | ThreadSky | a Reddit-style client for Bluesky

A keen introduction to Scala 3's context functions. Can they replace traditional monadic error handling? #scala youtu.be/yJrVmrXpQ0E

submitted 5 days ago • 0 comments

softwaremill.com/a-beginners-...

submitted 4 days ago • 0 comments

ghuntley.com/mirrors/?utm...

submitted 5 days ago • 0 comments

Just read this: en.wikipedia.org/wiki/G%C3%B6... The article states that what is not provable in natural numbers are still "truths" - because, I guess, they are true in other axiomatic systems. I'm pretty much tired of these XIX-century style beliefs, like Euclides' Fifth, etc. What do you think?

submitted 13 days ago • 0 comments

Something almost incredible regarding time and memory size www.quantamagazine.org/for-algorith... arxiv.org/abs/2502.17779

submitted 19 days ago • 1 comment

sttp client 4 - the #Scala HTTP client you always wanted: streaming bodies using fs2

submitted 20 days ago • 1 comment

www.understandingai.org/p/i-got-fool...

submitted 22 days ago • 0 comments

410 GB of heap dumps from Signal published micahflee.com/ddosecrets-p...

submitted 22 days ago • 0 comments

I love the way things are explained here: en.wikipedia.org/wiki/Inner_m...

submitted 34 days ago • 0 comments

the list of prime numbers on Wikipedia en.wikipedia.org/wiki/List_of...

submitted 35 days ago • 0 comments

www.n2yo.com?s=6073&live=1

submitted 35 days ago • 0 comments

// minimal cache class Cache[K,V](isFinite: Boolean, build: K => V): private val cache: mutable.Map[K, V] = mutable.Map[K, V]() private val app: K => V = if (isFinite) (k: K) => cache.getOrElseUpdate(k, build(k)) else (k: K) => build(k) inline def apply(k: K): V = app(k)

submitted 38 days ago • 0 comments

sttp client 4 - the #Scala HTTP client you always wanted: integration with ZIO

submitted 41 days ago • 1 comment

seems like a useful tool: notebooklm.google.com?original_ref...

submitted 40 days ago • 0 comments

www.lepoint.fr/economie/on-...

submitted 44 days ago • 0 comments

submitted 49 days ago • 11 comments

submitted 49 days ago • 25 comments

Vibe coding at its finest

submitted 52 days ago • 1 comment

I've been in El Salvador all day fighting for the return of Mr. Abrego Garcia. The Trump Administration can lie all they want, but the Court said they failed to show he was part of MS-13. This is about bringing home a man they ADMIT should never have been abducted. I won't rest until then.

submitted 55 days ago • 569 comments

Good reads www.iamcharliegraham.com/ai-coding-an...

submitted 58 days ago • 0 comments

Omg, I love this 😍 I think this convinced me to try it! Really amazing showcase of alternative use-cases for Compose and #Kotlin power assert at the same time 😄👏👏 If you don’t know about power assert check it out here, kotlinlang.org/docs/power-a...

submitted 59 days ago • 0 comments

www.youtube.com/watch?v=Qeav...

submitted 59 days ago • 0 comments

(from work slack) me: MCP server question. I'm trying Augment Agent, which does not yet support "env" in the configuration. Our README says that's the only way to do it. me, 10m later: ok I used the agent to modify the code to give it a workaround austin: now you’re thinking with ai

submitted 59 days ago • 1 comment

How come I did not notice it, while in Warsaw? Named tuples. type Person = (name: String, age: Int) That's already in Scala 3.6.3. It will change my code (I hope)

submitted 59 days ago • 0 comments

If you don’t know the difference between merge, fast-forward and rebase, here’s a good introduction. youtu.be/viAZQjs5lHk?...

submitted 60 days ago • 0 comments

Some personal news: the Department of Homeland Security has given me, an immigration lawyer born in Newton, Massachusetts, seven days to leave the U.S. Does anyone know if you can get Italian citizenship through great-grandparents?

submitted 60 days ago • 2318 comments

I clicked TAB. And copilot wrote this: "We have just proved that a category is, up to an isomorphism, just epimorphism, and that isomorphic objects are always isomorphic. We also have just proved that a cartesian product is a binary operation and a \emph{product} of objects---objects themselves."

submitted 60 days ago • 0 comments

The company aims to eventually solve all diseases through AI-powered drug discovery. tracking.tldrnewsletter.com/CL0/https:%2...

submitted 61 days ago • 0 comments

Anybody knows how to show history from a script in zsh on a mac? `history` does not do it, `fc -l -100` does not do it... dumping `~/.zsh-history` makes no sense if I have multiple tabs.

submitted 64 days ago • 0 comments

Scala3, Map vs MapView. I've just replaced all `MapView` instances with `Map`. Basically, caching the values I need. My tests now pass within 40 minutes; before they needed about 4 hours. (These are not unit tests, but heavy calculations in categories).

submitted 68 days ago • 0 comments

We're listening to your feedback and updating the character count for posts on Bluesky. Posts can now be 299 characters long!

submitted 71 days ago • 2738 comments

STP: Self-play LLM theorem provers with iterative conjecturing and proving. ~ Kefan Dong, Tengyu Ma. arxiv.org/abs/2502.00212 #AI #LLMs #ITP #LeanProver

A keen introduction to Scala 3's context functions. Can they replace traditional monadic error handling? #scala youtu.be/yJrVmrXpQ0E

softwaremill.com/a-beginners-...

ghuntley.com/mirrors/?utm...

Just read this: en.wikipedia.org/wiki/G%C3%B6... The article states that what is not provable in natural numbers are still "truths" - because, I guess, they are true in other axiomatic systems. I'm pretty much tired of these XIX-century style beliefs, like Euclides' Fifth, etc. What do you think?

Something almost incredible regarding time and memory size www.quantamagazine.org/for-algorith... arxiv.org/abs/2502.17779

sttp client 4 - the #Scala HTTP client you always wanted: streaming bodies using fs2

www.understandingai.org/p/i-got-fool...

410 GB of heap dumps from Signal published micahflee.com/ddosecrets-p...

I love the way things are explained here: en.wikipedia.org/wiki/Inner_m...

the list of prime numbers on Wikipedia en.wikipedia.org/wiki/List_of...

www.n2yo.com?s=6073&live=1

// minimal cache class Cache[K,V](isFinite: Boolean, build: K => V): private val cache: mutable.Map[K, V] = mutable.Map[K, V]() private val app: K => V = if (isFinite) (k: K) => cache.getOrElseUpdate(k, build(k)) else (k: K) => build(k) inline def apply(k: K): V = app(k)

sttp client 4 - the #Scala HTTP client you always wanted: integration with ZIO

seems like a useful tool: notebooklm.google.com?original_ref...

www.lepoint.fr/economie/on-...

Vibe coding at its finest

I've been in El Salvador all day fighting for the return of Mr. Abrego Garcia. The Trump Administration can lie all they want, but the Court said they failed to show he was part of MS-13. This is about bringing home a man they ADMIT should never have been abducted. I won't rest until then.

Good reads www.iamcharliegraham.com/ai-coding-an...

Omg, I love this 😍 I think this convinced me to try it! Really amazing showcase of alternative use-cases for Compose and #Kotlin power assert at the same time 😄👏👏 If you don’t know about power assert check it out here, kotlinlang.org/docs/power-a...

www.youtube.com/watch?v=Qeav...

(from work slack) me: MCP server question. I'm trying Augment Agent, which does not yet support "env" in the configuration. Our README says that's the only way to do it. me, 10m later: ok I used the agent to modify the code to give it a workaround austin: now you’re thinking with ai

How come I did not notice it, while in Warsaw? Named tuples. type Person = (name: String, age: Int) That's already in Scala 3.6.3. It will change my code (I hope)

If you don’t know the difference between merge, fast-forward and rebase, here’s a good introduction. youtu.be/viAZQjs5lHk?...

Some personal news: the Department of Homeland Security has given me, an immigration lawyer born in Newton, Massachusetts, seven days to leave the U.S. Does anyone know if you can get Italian citizenship through great-grandparents?

I clicked TAB. And copilot wrote this: "We have just proved that a category is, up to an isomorphism, just epimorphism, and that isomorphic objects are always isomorphic. We also have just proved that a cartesian product is a binary operation and a \emph{product} of objects---objects themselves."

The company aims to eventually solve all diseases through AI-powered drug discovery. tracking.tldrnewsletter.com/CL0/https:%2...

Anybody knows how to show history from a script in zsh on a mac? `history` does not do it, `fc -l -100` does not do it... dumping `~/.zsh-history` makes no sense if I have multiple tabs.

Scala3, Map vs MapView. I've just replaced all `MapView` instances with `Map`. Basically, caching the values I need. My tests now pass within 40 minutes; before they needed about 4 hours. (These are not unit tests, but heavy calculations in categories).

We're listening to your feedback and updating the character count for posts on Bluesky. Posts can now be 299 characters long!

STP: Self-play LLM theorem provers with iterative conjecturing and proving. ~ Kefan Dong, Tengyu Ma. arxiv.org/abs/2502.00212 #AI #LLMs #ITP #LeanProver

github.com/medialab/xan...

Mill -a great functional build tool.