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 3 days ago • 0 comments

softwaremill.com/a-beginners-...

submitted 2 days ago • 0 comments

ghuntley.com/mirrors/?utm...

submitted 3 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 11 days ago • 0 comments

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

submitted 17 days ago • 1 comment

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

submitted 18 days ago • 1 comment

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

submitted 20 days ago • 0 comments

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

submitted 20 days ago • 0 comments

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

submitted 32 days ago • 0 comments

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

submitted 33 days ago • 0 comments

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

submitted 33 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 36 days ago • 0 comments

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

submitted 39 days ago • 1 comment

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

submitted 38 days ago • 0 comments

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

submitted 42 days ago • 0 comments

submitted 47 days ago • 11 comments

submitted 47 days ago • 25 comments

Vibe coding at its finest

submitted 50 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 53 days ago • 569 comments

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

submitted 56 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 57 days ago • 0 comments

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

submitted 57 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 57 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 57 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 58 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 58 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 58 days ago • 0 comments

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

submitted 59 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 62 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 66 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 69 days ago • 2737 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.