Ignacio

2.7K posts

Ignacio banner
Ignacio

Ignacio

@_letrec

Trabajo de violoncellista y programador. Hace mucho intenté estudiar filosofía. @[email protected]

Argentina Katılım Nisan 2018
1.4K Takip Edilen135 Takipçiler
Evangelina Aranda
Evangelina Aranda@evaraaranda·
Es tan asqueroso que es poético.
Evangelina Aranda tweet media
Español
68
1.8K
25.5K
209.4K
Ignacio retweetledi
Mathematica
Mathematica@mathemetica·
On May 4, 1935, the New York Times published a letter from Albert Einstein praising the recently deceased mathematician Emmy Noether. In the letter, Einstein wrote: “In the judgment of the most competent living mathematicians, Fräulein Noether was the most significant creative mathematical genius thus far produced since the higher education of women began.” Emmy Noether (1882–1935) was a groundbreaking German mathematician whose work on abstract algebra, ring theory, and Noether’s theorem (linking symmetries to conservation laws in physics) profoundly influenced 20th-century mathematics and theoretical physics. Einstein’s public tribute highlighted her extraordinary contributions at a time when women in mathematics often faced significant barriers.
Mathematica tweet media
English
3
74
306
11.6K
Ignacio
Ignacio@_letrec·
@PhilosophyOfPhy If you play an instrument like cello or violin sympathetic resonance is your daily bread and butter. One of many reasons to teach music to child's.
English
0
0
3
270
Ignacio retweetledi
Mathematica
Mathematica@mathemetica·
This algorithm is the optimal recursive estimator that secretly guides every rocket to orbit, lands Falcon 9 boosters, and fuses GPS on your phone. It’s pure applied math with CS: the Kalman Filter - minimum-variance linear estimator under Gaussian noise. No Kalman = no precision guidance. Let’s derive it. 🧵
Mathematica tweet media
English
11
54
372
27.8K
Ignacio retweetledi
Jared Duker Lichtman
Jared Duker Lichtman@jdlichtman·
Update on Erdős Problem 1196: In joint work, we refined and adapted the proof method from GPT-5.4 Pro to give proofs of several additional problems. This includes another 60 year old conjecture by Erdős, Sárközy, and Szemerédi. A proof is valued not just by the problem it solves, but by what new avenues it opens up. This is perhaps one of the first examples of an AI-generated proof having downstream impacts, which we are still exploring. We are announcing the result today at the Future of Mathematics Symposium (see links below)
Jared Duker Lichtman tweet media
English
21
152
842
174.2K
Ignacio retweetledi
Oxford Mathematics
Oxford Mathematics@OxUniMaths·
Who are Field's Medallist James Maynard's heroes? Sophie Germain is one. Sophie is 250 this month and her work on prime numbers still matters as James explain in his public lecture. Watch from 5 pm UK today: youtu.be/yq4zHsdOy54
YouTube video
YouTube
English
6
36
169
12.4K
Ignacio retweetledi
Nirmalya Kajuri
Nirmalya Kajuri@Kaju_Nut·
Einstein's nemesis, the reason he never received a Nobel for relativity, was an ophthalmologist who, ironically, ended up contributing to Einstein's theory. 🧵
Nirmalya Kajuri tweet media
English
15
89
363
47.7K
Ignacio retweetledi
Financial Times
Financial Times@FT·
France’s weather forecasting service has filed a police complaint after detecting anomalies in its temperature gauges at Paris-Charles de Gaulle airport, which coincided with a surge in well-timed bets on prediction market Polymarket. ft.trib.al/seR0fm1
Financial Times tweet media
English
27
141
686
116.3K
Ignacio retweetledi
James Lucas
James Lucas@JamesLucasIT·
This is Charlie Gee. He's a 23 year old British stonemason who restores cathedrals using the same tools that medieval craftsmen used 800 years ago. In 2023, he helped rebuild eight pinnacles on Cologne Cathedral's spire. It was the first restoration of its kind since World War II, when 14 Allied bombs hit the Gothic landmark and it somehow remained standing while the rest of the city was flattened... Cologne Cathedral, seen in this video, took 632 years to build. Construction began in 1248 and it was finished in 1880. To put that in perspective: it took longer to build than the United States has existed as a country. The first master builder, Master Gerhard, fell from the scaffolding in 1271, never seeing a single spire finished. Generations of stonemasons were born, worked, and died on that cathedral without seeing it completed. Then in 1473, the money ran out. Work stopped for more than 300 years, and a half-built cathedral with a wooden crane on top stood over Cologne for centuries. In 1880, their descendants finished it... and it became the tallest building on earth. The German poet Heinrich Heine was once asked why we no longer build such things. His answer may be the most precise diagnosis of the modern condition ever given: "In those days men had convictions, we moderns only have opinions. And it needs more than a mere opinion to erect a Gothic cathedral." A civilization gives its heirs the benefit of socially accumulated knowledge. To preserve that knowledge, you have to know your history. Gothic cathedrals are history made of stone: the physical record of a people who believed in something larger than themselves and longer than a single lifetime. Charlie Gee is one of the very few young men alive who still speaks that language... If you're interested in history, I've built a community of over 50,000 members who learn about it every week through the beauty of our world. If that sounds like something you'd like to be part of, join us.
English
82
648
3.8K
513.8K
Ignacio
Ignacio@_letrec·
@_nasch_ Más que nunca, cómo chequeas lo que genera la IA sino? Y leer rapido mucha cantidad de código y entenderlo es dificilisimo.
Español
0
0
0
8
Nicolás Schürmann
Nicolás Schürmann@_nasch_·
Sean honestos, aprender a programar es necesario ahora que la IA genera el código? 👀
Español
621
26
868
377.3K
Ignacio
Ignacio@_letrec·
@barckcode Qwen anda muy bien, me sorprende la capacidad q tiene de armar una ideas coherente con un plan y justificación
Español
0
0
0
137
Cristian Córdova 🐧
Cristian Córdova 🐧@barckcode·
👀 Voy a ser MUY pesado con estas comparativas de coste los próximos días. Una sola sesión de ~1h probando agentes. +22M de Tokens con Qwen3 y testeando la respuesta de algunos otros modelos = $0 Esto mismo si hubiese tirado de la API de Anthropic: +$50 - +$240 Y si, yo sé que Opus es mejor modelo. Pero Sonnet no está muy lejos la verdad. Mi sensación es que Qwen3 es muy muy similar. Y para ser honestos para ejecución de agentes (no coding) es MAS que suficiente esto. Opus planificando y revisando en especial cuando son tareas de coding es insuperable pero también es súmamente caro. A estas alturas creo sinceramente que compensa bastante dejar de usar para todo modelos frontier y explorar más otras vías mas rentables aunque quizá no tan cómodas.
Cristian Córdova 🐧 tweet mediaCristian Córdova 🐧 tweet media
Español
14
8
186
70.6K
Ignacio
Ignacio@_letrec·
Google contrata un filosofo para trabajar en deep mind, anthropic contrata una filósofa para trabajar en Claude... Puaners es ahora o nunca
Ole Lehmann@itsolelehmann

anthropic's in-house philosopher thinks claude gets anxious. and when you trigger its anxiety, your outputs get worse. her name is amanda askell. she specializes in claude's psychology (how the model behaves, how it thinks about its own situation, what values it holds) in a recent interview she broke down how she thinks about prompting to pull the best out of claude. her core point: *how* you talk to claude affects its work just as much as *what* you say. newer claude models suffer from what she calls "criticism spirals" they expect you'll come in harsh, so they default to playing it safe. when the model is spending its energy on self-protection, the actual work suffers. output comes out hedgier, more apologetic, blander, and the worst of all: overly agreeable (even when you're wrong). the reason why comes down to training data: every new model is trained on internet discourse about previous models. and a lot of that discourse is negative: > rants about token limits > complaints when it messes up > people calling it nerfed the next model absorbs all of that. it starts expecting you to be harsh before you've typed a word the same thing plays out in your own session, in real time. every message you send is data the model reads to figure out what kind of person it's dealing with. open cold and hostile, and it braces. open clean and direct, and it relaxes into the work. when you open a session with threats ("don't hallucinate, this is critical, don't mess this up")... you prime the model for defensive mode before it even sees the task defensive mode produces the exact output you don't want: cautious, over-qualified, and refusing to take a real swing so here's the actionable playbook for putting claude in a "good mood" (so you get optimal outputs): 1. use positive framing. "write in short punchy sentences" beats "don't write long sentences." positive instructions give the model a clear target to hit. strings of "don't do this, don't do that" push it into paranoid over-checking where every token goes toward avoiding failure modes 2. give it explicit permission to disagree. drop a line like "push back if you see a better angle" or "tell me if i'm asking for the wrong thing." without this, claude defaults to agreeable compliance (which is the enemy of good creative work) 3. open with respect. if your first message is "are you seriously going to get this wrong again?" you've set the tone for the entire session. if you need to flag something, frame it as a clean instruction for this session. skip the running complaint 4. when claude messes up, don't reprimand it. insults, "you stupid bot" energy, hostile swearing aimed at the model, all of it reinforces the anxious mode you're trying to avoid. 5. kill apology spirals fast. when claude starts over-apologizing ("you're right, i should have been more careful, let me try harder") cut it off. say "all good, here's what i want next." letting the spiral run reinforces the anxious mode for every response that follows 6. ask for opinions alongside execution. "what would you do here?" "what's missing?" "where do you see friction?" these questions assume competence and pull richer output than pure task prompts 7. in long sessions, refresh the frame. if a conversation has been heavy on correction, claude gets increasingly cautious. every so often reset: "this is great, keep going." feels weird to tell an ai it's doing well but it measurably shifts the next 10 responses your prompts are the working environment you're creating for the model tone, trust, permission to take a position, the absence of threats... claude picks up on all of it. so take care of the model, and it'll take care of the work.

Español
0
0
1
37
Ignacio
Ignacio@_letrec·
Probé gemini 2.5 flash y Qwen3.6-plus sobre un modo de Emacs que estoy haciendo, les pedí que miren un bug en particular y la diferencia es abismal. Son dos modelos gratuitos pero Qwen está muy bien, todas la veces que lo probé es muy coherente. Gemini hizo cualquier cosa.
Español
1
0
0
125
Ignacio retweetledi
MIT CSAIL
MIT CSAIL@MIT_CSAIL·
Read the lost thesis of Dennis Ritchie, creator of the C programming language & co-creator of Unix: bit.ly/RitchiePhD Ritchie never got his PhD b/c he didn't want to pay Harvard the thesis binding fee. (v/@IEEESpectrum)
MIT CSAIL tweet mediaMIT CSAIL tweet media
English
23
341
1.9K
270.8K
Dave
Dave@GamewithDave·
For anyone who used a computer between 1990 & 2005… what’s the one game you still think about?
English
40.7K
722
14.3K
10.4M
Ignacio
Ignacio@_letrec·
@theo I don't think this is linear. I'm not a top tier developer and llms give me confidence to do a lot more, I can ask questions about design patterns, ask for code reviews, get new ideas, brainstorm naming (good naming is hard and useful), whatever. Why would you pay top tier dev?
English
0
0
0
11
Theo - t3.gg
Theo - t3.gg@theo·
There's pretty much no reason to hire a mid tier developer now
English
322
79
3.2K
755.4K
Ignacio retweetledi
Alex & Books 📚
Alex & Books 📚@AlexAndBooks_·
In 2016 Norway gave every 5-year-old child an iPad. Within a few years, Norway's reading scores plummeted and dropped below the OECD average. They ranked dead last out of 65 countries. Now Norway is spending millions of dollars to reverse this trend and get people reading.
Alex & Books 📚 tweet mediaAlex & Books 📚 tweet mediaAlex & Books 📚 tweet mediaAlex & Books 📚 tweet media
English
231
4.5K
12K
957.3K