JuanPa

Se habla spanglish. Animal pictures. Sometimes I tweet about Scala and Lean.

[JuanPa @1jpablo1]

@fwbrasil I'll take a look!

[JuanPa @1jpablo1]

Woking on a port of DSPy into Scala: dspy4s.

https://t.co/sxH9VLULOy

1. Typed Signatures
2. Composable modules
3. Optimizers

[Javed Hassan @javedhassan]

Anthropic’s complaint has all the hallmarks of an incumbent technological leader unsettled by the prospect of capable rivals and eager to enlist political power to preserve a market advantage.

Technological diffusion is not a Chinese invention. It is how economic history works. Europe borrowed silk, porcelain, papermaking, and countless other technologies from China. The United States built much of its early industrial strength by appropriating British manufacturing know-how. Every great technological power has learned from its rivals.

Yet when Chinese firms become capable competitors, we are suddenly told that the normal circulation of knowledge is an existential threat.

If Anthropic’s capabilities can genuinely be replicated through question-and-answer interactions, that is less an indictment of Chinese ingenuity than a confession about the fragility of Anthropic’s own competitive moat. A company confident in its technological lead does not rush to Washington every time a rival catches up.

Beneath the rhetoric of “AI theft” lies a simpler anxiety: Chinese AI firms are improving rapidly, and American firms fear losing market dominance. The real issue is not espionage but competition.

History offers a clear lesson. Technological leadership is never preserved by complaining that others are learning. It is preserved by innovating faster than they do. Anthropic appears increasingly interested in the former because it is less certain of the latter.

[JuanPa @1jpablo1]

@beyang Literate code

[JuanPa @1jpablo1]

@migueldeicaza Debrayadores

[JuanPa @1jpablo1]

@Binet7007 @bbcmundo La constitución colombiana permite a alguien con doble nacionalidad ser presidente? Wow. Que avanzados.

[JuanPa @1jpablo1]

Sharing a skill I've been using with some success to help combat AI slop:

https://t.co/Az3EVmbb7T

It is a catalog of type-system techniques across Scala 3, Rust, Lean 4, TypeScript, and Python. One skill per language.

It also adds a few "Core Tenets" such as
- Make illegal states unrepresentable
- Keep a functional core and an imperative shell
... and so on.

#scala #lean #rust #python #typescript

[JuanPa @1jpablo1]

@cur8orofearth @imDanialKia @karaokecomputer @Dehshiri4Law Got it. I was going for a literal interpretation of the word “brain wired in an atypical way” which clearly includes sociopathic behavior.

[JuanPa @1jpablo1]

@cur8orofearth @imDanialKia @karaokecomputer @Dehshiri4Law But sociopathy is a form of neurodivergence, no?

Assuming it is rare amongst the general population.

Neurodivergence doesn’t mean “good, compassionate, misunderstood”. It just means atypical. An ND person can still have very questionable morals.

[JuanPa @1jpablo1]

Oh, I’d love to see a big-budget TV adaptation of this book, à la “For All Mankind”.

[Jacob Shell @JacobAShell]

In Kim Stanley Robinson's 2002 alt-timeline novel "Years of Rice and Salt" (premise is a 15th c plague wipes out the whole population of Europe), the Chinese build a great city on SF Bay but select the Marin Peninsula instead.

[JuanPa @1jpablo1]

@matej_cerny @strzibnyj Goes to show that the product is monetizing our data 😅, which I’m sure they keep refining all the time.

[JuanPa @1jpablo1]

Listening to the latest NYT “The Daily” and honestly intrigued by their choice of words “populist” instead of just “popular”.

They are aware that “populist” has certain negative connotations, no?

[JuanPa @1jpablo1]

@fhinkel Human attention.

[JuanPa @1jpablo1]

My favorite loops

[JuanPa @1jpablo1]

@danielglez890 @resisres Una buena fuente de información donde se describe con detalle los debates de China en los 60s - 90s que condujeron al éxito actual es este libro:
https://t.co/9n9pQPveDI

[JuanPa @1jpablo1]

"...con empresas ni deberían estar jugando a ser empresarios..."
Dos observaciones:
1. El "modelo Chino" en realidad tiene varias capas. La de mas alto nivel (y mas importante creo) es hacer muchos experimentos a diferentes niveles, y quedarse con lo que funciona.
2. Lo que te molesta es una cuestión ideológica (Fé ciega en que solo la iniciativa privada debe hacer ciertas cosas). La adoración absoluta de ideologías es mala idea. De hecho el éxito de China se debe en gran parte a ser capaces de ver mas allá de las ideologías y adoptar lo que funciona. Tanto así que crearon un sistema en donde hay areas de capitalismo salvaje, aunque bajo supervisión estatal por supuesto.

[JuanPa @1jpablo1]

Así se empieza, no? Poco a poco, un paso a la vez.

Lo interesante es si se logra hacer transferencia de tecnología y conocimientos (modelo que ha funcionado para China durante su desarrollo).

A diferencia de las maquilas y otras inversiones industriales en los últimos 40 años que no dejan mucho de valor agregado al país.

[JuanPa @1jpablo1]

@thdxr @SneakyEleph4nt But lobbyists influencing government is an example of private companies owning part of the government, no? (As opposed to government owning private companies.)

[Drew Breunig @dbreunig]

This is the DSPy way.

Prompts are imperfect instructions, always.

Write them yourself as little as possible, but hold them accountable with typing, tests, metrics, and optimizers.

[JuanPa @1jpablo1]

@tribbloid How would you define "low enough"? A function that will throw an error at most on a set of measure zero?