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

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

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

submitted 11 days ago • 1 comment

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

submitted 11 days ago • 1 comment

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

submitted 13 days ago • 0 comments

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

submitted 13 days ago • 0 comments

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

submitted 25 days ago • 0 comments

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

submitted 27 days ago • 0 comments

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

submitted 27 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 30 days ago • 0 comments

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

submitted 32 days ago • 1 comment

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

submitted 32 days ago • 0 comments

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

submitted 35 days ago • 0 comments

submitted 41 days ago • 11 comments

submitted 41 days ago • 25 comments

Vibe coding at its finest

submitted 44 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 47 days ago • 570 comments

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

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

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

submitted 51 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 51 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 51 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 51 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 52 days ago • 2321 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 52 days ago • 0 comments

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

submitted 53 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 55 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 60 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 62 days ago • 2740 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

submitted 62 days ago • 0 comments

github.com/medialab/xan...

submitted 63 days ago • 0 comments

Mill -a great functional build tool.

submitted 66 days ago • 0 comments

Yesterday at @scalar-conf.com I unleashed my efforts of tinkering with the Scala named tuples until I could push no more :) speakerdeck.com/bishabosha/g...

submitted 66 days ago • 2 comments

Why is Option[NEL[T]] better (or worse) than List[T]? Just asking.

submitted 66 days ago • 3 comments