JuanPa

Who's the current World Record holder on rolling in the field with a painful expression? Neymar?

@VictorTaelin @codegraph In Mathematica’s case, I’m paying for the massive library and the notebook, not for the language. And it makes me sad that it’s not open.

@codegraph there's Mathematica and Mojo now, but yeah

Bend2: - Programming language - Near C speed (on CPU) - Near CUDA speed (on GPU) - High-level (JS-like closures, objects, recursion) - Lean-like proofs (force AI to write proofs = you get 0 bugs) Everyone is using it. How much would you pay to use it? Be *honest* either way

@Beegie_B @ylecun @KenRoth It’s all about incentives, no? Private capital is mostly driven by profit and power. Everything else requires governments, non profits, etc.

Universities need to kill their administrative bloat. Arguably more good research is coming out of private institutions funding research than government funding. Plus with the ease of access to online education, credentials like a PhD are no longer as valuable as the once were.

Trump’s cuts in funding for higher education is reducing the number of PhD candidates and “raising fears that the nation’s capacity to produce new science could be diminished.” trib.al/TzuHUm6

As the cost of fine-tuning goes down, we’ll see “CNN-aligned models”, or “Fox News-aligned models”. Personally, I’d welcome a Conor McBride-aligned model.

@NyaaPixel @Jarenitor @cgtnenespanol Oh, I’m not a fan of criminalizing information, on the contrary. But if you’re going to do it, at least do something directionally useful.

@1jpablo1 @Jarenitor @cgtnenespanol Who decides what is false? You're in the US. There's a reason the 1st amendment exists.

El Tribunal de Justicia de la UE ha autorizado el enjuiciamiento penal en los países de la UE de las personas que publiquen vídeos de Russia Today en canales y sitios web abiertos.

@Jarenitor @cgtnenespanol No sería más útil criminalizar la propagación de información falsa por ejemplo?

@cgtnenespanol Lógico. En ningún lugar del mundo en medio de una guerra se tolera la propaganda del enemigo. Rusia prohibió todo periodismo independiente hace muchos años.

@TheLyons @AdamRackis Small world indeed. I fondly remember Sasha DJing with a portable disco ball.

@AdamRackis man, it's a small world. Sasha also did something similar for Invitae, but with Datalog for auditing purposes.

omfg I once worked at a place where a legit Russian genius designed everything so that every possible query option for our crucial billing ui had an index or an indexed materialized view. That plus query hints forcing merge joins and merge unions ensured that every query reliably returned within single-digit ms time. He figured we’d just throw more hardware at it as needed. Anyway updates slowed to a crawl and our box wound up at 4x the size it should have been. We had to bring in a consultant to rip it all out. Queries dropped to the 50ms range and honestly nobody really noticed lmfao

@fwbrasil I'll take a look!

@1jpablo1 If you want to save some time building it, this is close to merging :) github.com/getkyo/kyo/blo…

Woking on a port of DSPy into Scala: dspy4s. github.com/jpablo/dspy4s 1. Typed Signatures 2. Composable modules 3. Optimizers

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.

@beyang Literate code

On commenting code, which camp are you? A. No comments, just ask AI to explain now B. Lowering the friction to grokking the code is worthwhile and comments are easier than ever to keep up-to-date.

@migueldeicaza Debrayadores

En Español, los programadores que usan IA se denominan “vibradores”

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

@bbcmundo Si también es ciudadano colombiano tiene derecho a ser presidente.

El estrecho vínculo de Abelardo de la Espriella con EE.UU. (y las dudas que despierta que un estadounidense sea el presidente de Colombia) bbc.in/4oHGRTy

Sharing a skill I've been using with some success to help combat AI slop: github.com/jpablo/vibe-ty… 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

@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.

@1jpablo1 @imDanialKia @karaokecomputer @Dehshiri4Law Neurodivergence, which I have as a form of OCD, does affect function and communication. But it does NOT affect EMPATHY and his "mistake" comments and attitude expose sociopathy, instead, which is lack of care for any other human being.

CEO of Anthropic Dario Amodei awkwardly smiles through his answer to a question about why Claude AI directly contributed to the US Military bombing of the elementary school in Minab.

@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.

@imDanialKia @karaokecomputer @Dehshiri4Law This is sociopathy. Not neurodivergence.

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

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

@strzibnyj Could't agree more. And there is still no native dark mode, just the black wallpaper 🙄

GMail is so bad it still doesn't have normal email templates.

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?

@fhinkel Human attention.

If code isn't the bottle neck, what is?