-
Tweets3K
-
Followers139
-
Following1K
-
Likes19K
Much like humans, CPUs heal in their sleep. CPUs are *technically* replaceable / wear items. They don’t last forever. Yet, the moment stress is removed, transistor degradation (partially) reverses. It's called Bias Temperature Instability (BTI) recovery:
🏥 El Hospital Garrahan es un hospital nacional, emblema del federalismo en nuestro país. Como ya hemos mostrado, allí se atiende a niñas y niños de cada rincón de la Argentina. Por eso, consideramos muy desafortunados los dichos de la senadora Carmen Alvarez Rivero. Esperamos…
Kudos to Terry Tao for this: newsletter.ofthebrave.org/p/im-an-award-…
How ironic, the same companies that claim AI is near to replace a lot of jobs (specially in tech) pays hundred of millions of dollars to some humans to develop AI... bloomberg.com/news/articles/…
#repostfriday 10x developers. blog.ploeh.dk/2019/09/30/10x…
More than 1.1 million people were murdered at Auschwitz-Birkenau—including nearly one million people simply for being Jewish. Their memories must never be exploited. encyclopedia.ushmm.org/content/en/art…
LLMs are far worse at competitive programming than we thought. Every one scored 0% on Hard problems. LiveCodeBench-Pro is a new benchmark with 584 always updating problems from IOI, ICPC and Codeforces. What's most interesting is the categories they perform really poorly on:
What's going on with chatgpt and claude? recently I've hitting a lot of nonsense like this
Leo de Moura's "Verified Collaboration" @SimonsFdn talk explores Lean's impact on math, software verification & AI, showing how #LeanLang is paving the way for a more reliable and collaborative future. See the talk here: youtube.com/watch?v=rmMYFm… #LeanProver #FormalVerification
[New Blog Post] Shallow Embedding Logics in Z3 pt. I philipzucker.com/shallow_logic_…
Atentos a este tipo de robo de cuentas de GitHub que me acaba de llegar. Te crean un nuevo issue con texto de que hubo un login inusual en tu cuenta y en los links te ponen todos links fake para que caigas, te llega directo a tu mail porque es una issue creada y el mail es de…
Sum of consecutive odd integers:
🚨 TypeScript just got 10× faster! The TypeScript compiler has been ported to Go and we had Anders Hejlsberg and Daniel Rosenwasser on to announce it and break it all down! youtube.com/watch?v=ZlGza4…
"An Introduction to Mathematical Proof" personal.math.ubc.ca/~PLP/assets/pl…
Haskell doesn't make I/O hard; it reveals that I/O is hard. Rust doesn't make manual memory management hard; it reveals that manual memory management is hard.
Haskell doesn't make I/O hard; it reveals that I/O is hard. Rust doesn't make manual memory management hard; it reveals that manual memory management is hard.
I need this, and a million dollars to do nothing but play with this
I need this, and a million dollars to do nothing but play with this
Yes, I would like that too, but reality is not a restaurant menu.
Yes, I would like that too, but reality is not a restaurant menu.
Rust-Written Zlib-rs Is Not Only Safer But Now Outperforming Zlib C Implementations phoronix.com/news/Zlib-rs-0…
well then today's the day
The author of this code wrote it as a result of our assembly language lessons: github.com/FFmpeg/asm-les… Learn assembly, write code 18x faster than C.
The author of this code wrote it as a result of our assembly language lessons: github.com/FFmpeg/asm-les… Learn assembly, write code 18x faster than C.
NellyWesley @151h59T94r2bIYN
0 Followers 109 Following
Tia @east_tia55
354 Followers 3K Following
Linda Miller @miller_linda2
2K Followers 2K Following
ClaireMaurice @Zjt7iy3o7072l7V
23 Followers 2K Following
Ralxsir @Ralxsir3821677
12 Followers 1K Following
NydiaLewis @40odTSJV715YI
28 Followers 2K Following
Itaulerk @Itaulerk81366
23 Followers 1K Following
Supernetworks, Inc @spr_networks
233 Followers 195 Following 📡 Open Source, secure, user friendly and fast wifi routers @ home - One wifi password per device - Easy policy based network access - DNS Ad Blocking & Rules
Duberly González @DuberlyGonzalez
280 Followers 505 Following Papá de Julia y Emilia. Profe de Matemática. Ex Inspector en Matemática de la Dirección General de Educación Secundaria.
Nge @ng3mc5
30 Followers 185 Following Fotógrafo / aprendiendo a programar, Flaneûr, Curioso y Crítico, Naturaleza 💚🏕️, Música clásica, Un tanto neurodivergente, I use arch BTW, emacs
SupportResist🇺🇸 @Vwawivgux46807
47 Followers 2K Following 15-30% Monthly | 2 High-Conviction Stocks.Short-Term Gains: 15-20% in Days/Weeks.DM "JOIN" for WhatsApp Alerts. Live Trade Signals • Market Analysis
Alperen Keleş @Keleesssss
8K Followers 2K Following METU CENG 21' | PhD Candidate at @umdcs | Writing at https://t.co/O7d6OIVbg4 | Currently random testing compilers, type systems, databases...
Joanna @PhoebeWise67366
9 Followers 270 Following I’m a work in progress, and I want someone who’s willing to walk beside me on this journey called life.
Baumu @Baumu823
67 Followers 3K Following
Rosalyn Stark @RosalynSta63344
53 Followers 2K Following
BMV Mercados Predicto... @vav586i3g2167
5 Followers 129 Following Únete a nuestra comunidad de inversionistas exitosos, recibe nuestro análisis exclusivo y aumenta tus retornos. Enlace Unirse ↓↓↓↓↓
BMV Mercados Predicto... @adkgo2tfd35278
4 Followers 138 Following Únete a nuestra comunidad de inversionistas exitosos, recibe nuestro análisis exclusivo y aumenta tus retornos. Enlace Unirse ↓↓↓↓↓
Thaushthoasm @Thaushthoasmld
33 Followers 4K Following
Shersorth @Shersorthgzk_Q
4 Followers 183 Following
HuldaBird @9M0cSAmYU2G24
74 Followers 7K Following
Dr Valeria dePaiva @valeriadepaiva
4K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
KatherineRalph @319u9xc85Rz97
73 Followers 7K Following
Smoacloo @SmoacloowbhRpz
39 Followers 4K Following
Staslea @staslea17626
63 Followers 5K Following
EuniceHarriman @hhy06EzJf7NUhi
74 Followers 7K Following
JillLongman @M9B3gN8I0e69w
19 Followers 2K Following
luli @luliiiiiita
83 Followers 128 Following
Matt Parsons @mattoflambda
5K Followers 523 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Leandro @leostera
4K Followers 375 Following staff eng / pm working on the #ocaml ecosystem moved to https://t.co/pRZ9HuXb7H 🦋
Joyce @joyce_taylor72
161 Followers 3K Following
Dusk_Dash @dash_dusk54026
1 Followers 115 Following
Lillian @nieves_lillian8
244 Followers 3K Following
Koji Miyazato @viercc
237 Followers 355 Following 一応生きてますよ(2019/08) すこし元気になってますよ(2020-) 趣味プログラミング専門エンジニア
Helen @McMeethe18756
45 Followers 1K Following Work hard to let yourself shine, and the right people will welcome the light.
Susan @hogan_susan56
207 Followers 3K Following
Teseighth @Teseighth113568
1 Followers 51 Following
Setefes @setefes35618
32 Followers 2K Following
Sharon @sharoncampos43
251 Followers 3K Following
Rosie @rosie36allen
343 Followers 3K Following
Diane @dianeclary23
330 Followers 3K Following
vfoh421jgfi @jbia05tsblh
21 Followers 701 Following Tiktokshop conducts recruitment for part-time partners! Salary $100-$300 per day, please contact us https://t.co/cSO9b1tiGa
Fernando Lombardo @ferlombard
1K Followers 2K Following Físico, Prof. en @Fisica_DFUBA; @Exactas_UBA. Inv. Principal @Conicet - web: https://t.co/tdw74Erlbx
Damien Masson @damienhci
1K Followers 203 Following Assistant Professor in HCI @UMontreal @Mila_Quebec @IVADO_Qc. Previously: PostDoc @UofT | PhD @uwhci | Master's @LokiTeamInria | Internship @ADSKResearch
P a i s a j e a n t e @paisajeante
38K Followers 837 Following Flâneur contemporáneo. Cuenta declarada por la Legislatura de interés de la Ciudad de Buenos Aires. En Bluesky: @paisajeante.bsky.social
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Matej Cerny @matej_cerny
381 Followers 322 Following Functional programming enthusiast with strong foundations in the relational databases world
Brian Goetz @BrianGoetz
68K Followers 211 Following Java Language Architect at Oracle. Author, Java Concurrency in Practice (https://t.co/ddAm2rKwpE). Also, cats.
Freenance_AR @Freenance_ar
8K Followers 345 Following Somos Freenance, la primera app que te permite ordenar tus finanzas completamente GRATIS y te premia con educación financiera por hacerlo. Matrícula CNV 1621.
Google Gemini App @GeminiApp
197K Followers 38 Following The Gemini app turns research into reality, bringing frontier AI experiences like Veo 3, Deep Think, and more to hundreds of millions of people.
Cosmin Negruseri @cosminnegruseri
3K Followers 3K Following founder of rag startup, ex Pinterest Search / Homefeed, https://t.co/0VwMvjB9Xh, Altiscale, Google Ads, Search, Google Code Jam organizer
Crash Override @crashappsec
3K Followers 229 Following Automate total visibility across your software delivery pipeline
ANMAT @ANMATsalud
18K Followers 46 Following Administración Nacional de Medicamentos, Alimentos y Tecnología Médica
droogie @droogie1xp
1K Followers 347 Following degen | ♠️♥️♣️♦🐸 infosec thoughtcrime leader la/li/lu/le/lo
Federico Furiase @FedericoFuriase
48K Followers 2K Following Economista (UBA). Profe MFIN @UTDiTella. Magíster en Finanzas UTDT. Macroeconomía y Finanzas Globales.
Aurum @Aurum_Valores
3K Followers 158 Following Agente de Liquidación y Compensación y Agente de Negociación Propia. Agente de Colocación y Distribución. Agente ByMA, ROFEX, MAE y MAV.
NYU Center for Data S... @NYUDataScience
24K Followers 985 Following Official account of the NYU Center for Data Science (CDS), the home of the Undergraduate, Master’s, and Ph.D. programs in data science.
Just Joyce @johnstonglenn
8K Followers 686 Following
Jules @analytichegel
2K Followers 2K Following optimistic nihilist. fedi: @[email protected]. priv: @boy_aphrodite
🇦🇷 lucas llach ... @lucasllach
139K Followers 4K Following La libertad no es negociable. Argentino y canalla. Polemista a tiempo completo.
Claude @claudeai
108K Followers 1 Following Claude is an AI assistant built by @anthropicai to be safe, accurate, and secure. Talk to Claude on https://t.co/ZhTwG8dz3D or download the app.
History_of_Geology @Geology_History
39K Followers 19 Following Archive dedicated to the #History of #Earth #Sciences 🌍 ⛰️🔨
Andy Zou @andyzou_jiaming
4K Followers 67 Following PhD student at CMU, working on AI Safety and Security
LaurieWired @lauriewired
97K Followers 294 Following researcher @google; serial complexity unpacker; https://t.co/Vl1seeNgYK ex @ msft & aerospace
Erik Brynjolfsson @erikbryn
211K Followers 5K Following Director @DigEconLab Co-founder, @Workhelix @StanfordHAI @SIEPR @Stanford https://t.co/D2bPyxoFEf
Duberly González @DuberlyGonzalez
280 Followers 505 Following Papá de Julia y Emilia. Profe de Matemática. Ex Inspector en Matemática de la Dirección General de Educación Secundaria.
forchan @forloopcodes
6K Followers 1K Following 𝖌𝖔𝖉'𝖘 𝖈𝖍𝖔𝖘𝖊𝖓 𝖑𝖑𝖒 // fixing @unvibecode, @pixxechan, https://t.co/iC70W7n1D9
Avi Chawla @_avichawla
50K Followers 134 Following Daily tutorials and insights on DS, ML, LLMs, and RAGs • Co-founder @dailydoseofds_ • IIT Varanasi • ex-AI Engineer @ MastercardAI
iProfesional @iProfesional
90K Followers 865 Following Noticias sobre economía, política, finanzas, impuestos, Inteligencia Artificial, criptomonedas, inversiones y dólar
Owain Evans @OwainEvans_UK
16K Followers 357 Following Runs an AI Safety research group in Berkeley (Truthful AI) + Affiliate at UC Berkeley. Past: Oxford Uni, TruthfulQA, Reversal Curse. Prefer email to DM.
Amp — Research Prev... @AmpCode
9K Followers 0 Following An agentic coding tool, in research preview from @sourcegraph
Jason Fried @jasonfried
309K Followers 214 Following Started & runs 37signals (makers of Basecamp, HEY, and ONCE). Non-serial entrepreneur, serial author. DM or email me at [email protected].
Lorena Giorgio @lore_giorgio
3K Followers 299 Following Mamá de Benjamín Economista UBA / Magister en Economía Aplicada @UTDiTella Miembro fundadora y Economista Jefe en @_equilibra
Juan Manuel Telechea @jmtelechea
23K Followers 1K Following Economista y Docente universitario. Columnista en @cenitalcom y @el_pais. Cortos y entrevistas en @filonewsok. Autor del libro ¡𝐼𝑛𝑓𝑙𝑎𝑐𝑖𝑜́𝑛!
The Math Flow @TheMathFlow
25K Followers 114 Following all about mathematics • books • pics • proofs • problems • quotes • visualisations • history • and • memes.
Swapna Kumar Panda @swapnakpanda
213K Followers 198 Following | Tech Writer, Educator | Python, Java, JavaScript, SQL | DSA, Development | Free Resources, AI Tools | Other Version: @therealswapna | Building @JabardastDEV |
Jasper @zjasper666
15K Followers 1K Following Co-founder and CEO @Hyperbolic_Labs. ex-@avax & ex-@citsecurities. Finished Math PhD in 2yrs @UCBerkeley. Math Olympiad Gold Medalist. Highest honor @PKU1898
Ernest Ryu @ErnestRyu
6K Followers 345 Following Professor of Mathematics at UCLA. Interested in deep learning and optimization.
Dimitris Papailiopoul... @DimitrisPapail
20K Followers 1K Following Researcher @MSFTResearch, AI Frontiers Lab; Prof @UWMadison (on leave); learning in context; thinking about reasoning; babas of Inez Lily.
∇ₖPascal ∇ₚKw... @pascalkwanten
6K Followers 372 Following Feynmaniac. Series Killer. Wheelerian, It from bit, 𝗱ℛ=0/∂∂=0, Finitist ℤ/nℤ. U👁. ER=EPR. Tensorman(iac). Liberal. Epicurean🍷💛 Proud of 🇪🇺.
RocksDB @RocksDB
6K Followers 274 Following A persistent key-value store for fast storage Follow us on Threads: https://t.co/rW57rV2xPf
Jorge Gabriel Barreto @barretojorgeG
5K Followers 138 Following Lic. En Economia (UBA), Contador público (UBA), Lic. En administración (UBA), profesor, emprendedor, inversor. Nadie cuida mejor tu dinero que vos mismo..
Mica Perillo @micaperillo_
6K Followers 931 Following software engineering @ ITBA dare mighty things ⭐️
Noam Brown @polynoamial
91K Followers 853 Following Researching reasoning @OpenAI | Co-created Libratus/Pluribus superhuman poker AIs, CICERO Diplomacy AI, and OpenAI o3 / o1 / 🍓 reasoning models
Γ(z) @gammaofzeta
11K Followers 2K Following Anti-speciesism 🌱, deep ecology. Mathematical physics. I like puzzles and riddles.
MaVi @mavifloraa
4K Followers 945 Following estudio ing en computación y trabajo testeando jueguitos | software testing engineer at @EPAMSystems | QA, gaming, coding & electronics | ig: maviflora_Trends for United States
You might like
