Miguel Pousa 🇺🇦 @MiguelPousa
Software Engineer @FactorialEs| Ex-Co-founder @WideEyesTech | Passionate about AI & Software & Physics | Father & Lifelong Learner 🌟 A Coruña Joined October 2012-
Tweets590
-
Followers138
-
Following877
-
Likes967
I've been saying since 2023 that Prolog is the next big thing (in combination with LLMs) 🙃
If you are spending too much on infra it's your fault
Finding memory leaks in Postgres C code enterprisedb.com/blog/finding-m…
ocaml is lucky i am one stubborn grug because @welltypedwitch is 100% spot on these. if i had my way, ocaml 6 would be one *major* release.
ocaml is lucky i am one stubborn grug because @welltypedwitch is 100% spot on these. if i had my way, ocaml 6 would be one *major* release.
the whole stability/instability in programming languages discourse needs to start being nuanced and quantized nobody is arguing to change ocaml in 1000 backwards compatible ways all at once, nor to do this every odd week of the year. but i’ll be damned if i keep writing the…
death by 1000 cuts sums up ocaml so well unfortunately. and not just the tooling, even the language itself has soo much like this. just off the top of my head, there is - polymorphic comparison - reference equality - whatever ocaml calls "type variables" ...
death by 1000 cuts sums up ocaml so well unfortunately. and not just the tooling, even the language itself has soo much like this. just off the top of my head, there is - polymorphic comparison - reference equality - whatever ocaml calls "type variables" ...
aaand 45 minutes in we got this fabulous pr (mostly red, you wouldn't understand) that is more efficient, more ergonomic, and has more features than the last version of serde we had. next up we'll try to write a binary format module to see if the API holds up!…
absolute banger of a post — i feel that we should think a bit more in this terms when designing developer interfaces / libs / apis / types / dsl: 1. False positives vs false negatives — how often our APIs and libs let people build things that compile but do the wrong things? do…
absolute banger of a post — i feel that we should think a bit more in this terms when designing developer interfaces / libs / apis / types / dsl: 1. False positives vs false negatives — how often our APIs and libs let people build things that compile but do the wrong things? do…
new release of Sore with Haskell is out folks 👏🏼 congrats @schrijvers_tom ✨
new release of Sore with Haskell is out folks 👏🏼 congrats @schrijvers_tom ✨
Wow! Had a blast presenting at @fosdem! Look how packed the BEAM room is!
american express is booking the highest provisions for credit card losses since the covid recession, and prior to that, the great financial crisis of 2008. the consumer is very clearly weakening. this really supports @elonmusk concerns about an oncoming recession. $axp
huge thank you to everyone for the engagement with my previous tweet about Colimit. starting a company is challenging, but thanks to yall ive already started to have some meetings with potential design partners <3
now all that I can think of day and night is how to exploit optimal evaluation to share computation across different unification attempts to satisfy a set of equations
This post by Peter and Kyle measuring transactional consistency and data anomalies in MySQL is absolutely fantastic. The amount of context about how other systems behave - not just MySQL in this post is phenomenal. jepsen.io/analyses/mysql…
Exercism shared their finances for the year. It's a real shame that such an valuable resource for programming education doesn't cover their costs. Do consider supporting Exercism or helping them find funding!
*This* is the most important research area in all of tech. Proof checkers are the ultimate antidote to LLM hallucination. If one can design an AI that reliably proves theorems, that's when we'll start seeing substantial automated scientific and mathematical progress.
*This* is the most important research area in all of tech. Proof checkers are the ultimate antidote to LLM hallucination. If one can design an AI that reliably proves theorems, that's when we'll start seeing substantial automated scientific and mathematical progress.
Launching Lean Co-pilot for LLM-human collaboration to write formal mathematical proofs that are 100% accurate. We use LLMs to suggest proof tactics in Lean and also allow humans to intervene and modify in a seamless manner. github.com/lean-dojo/Lean… Automating theorem proving…
HVM talk at @gambiconf - University of São Paulo (USP) youtube.com/watch?v=sDPuQ-… Includes everything you need to know in a simple and pedagogic way, assuming only basic programming background. English subs. Let me know if you have any question!
Soothous @SoothousLDsQMm
0 Followers 90 FollowingSophia Mia @resloushe36009
17 Followers 776 Following Don't wait for a leader; do it alone, one person at a time.Thourre @Thourre23427
90 Followers 3K FollowingSlesey @slesey85308
0 Followers 52 FollowingNethoas @Nethoas168239
0 Followers 166 Following My hobbies are reading, food and sports. I like cats😘 I like to meet new friends while traveling🎉🎉🎉Letashen @letashen53625
1 Followers 200 FollowingShedu @Shedu440842
1 Followers 181 Following9q8uzrdrmt @ma3pysiynyi56
6 Followers 498 Following Our company first transfer USDT to you TRC20, you return 90% to our BEP20, you get 10%, you get 2K per day Telegram group for details: https://t.co/37RvLaYd22Janice Thorndike @e6m32ar6rf
3 Followers 222 Following Startups | Fintech | E-commerce | Operator and investorGitha_US_ @GithaUs31115
86 Followers 2K FollowingShouni @Shouni211592
152 Followers 2K FollowingCharles Southwood @c_southwood
6K Followers 4K Following DataIQ Top 100 Most Influencial in People in Data 2022 & 2023 Passionate about helping businesses in #data #integration #datamesh #innovation @denodoTearkofog @tearkofog30968
76 Followers 2K FollowingGenesis_US_ @UsGenesis11584
1 Followers 430 FollowingTetean @Tetean56022
202 Followers 3K FollowingTaslys @Taslys15902
22 Followers 733 FollowingNatytaez @natytaez67182
151 Followers 3K FollowingLily13 @Lily13586537
2 Followers 378 FollowingLeckesm @leckesm90372
154 Followers 3K FollowingSelashe @Selashe225202
55 Followers 975 FollowingCelu Ramasamy @celu_jn31
2K Followers 2K Following Dad-epreneur. Ex-Dreamworks. Casual Meditator. State Champion in yoga at the age of 13. Follow me for a Meditator's perspective on AI.Amelia_Garcia @AmeliaGarc29165
1 Followers 283 FollowingShouted @Shouted33752
106 Followers 1K FollowingPower_Pitch_ @PowerPitch40785
31 Followers 406 FollowingSeesou @Seesou352843
0 Followers 268 FollowingSasandut @Sasandut144591
25 Followers 273 FollowingEduardo Rafael @TheEduardoRFS
8K Followers 1K Following 25yo anti floating point developer. You can almost always find me at https://t.co/XTQJQqaVhe, it's the boring side of tech.Theykeen @theykeen46286
137 Followers 1K FollowingOnofre @onofregasent
830 Followers 2K Following Engineer turned entrepreneur 🚀 | I enjoy sharing my story transparently | Top startup stories every week at @whogotfunds 📩 | @UCBerkeley & @UPV grad 🎓Thesmeb @Thesmeb179812
24 Followers 2K FollowingJeramiah Yang @YangJerami90534
105 Followers 3K FollowingCarla @carla_pontious_
126 Followers 3K FollowingTilolet @tilolet82002
23 Followers 1K FollowingGeeseesh @geeseesh87615
135 Followers 3K FollowingIlya Zayats @somebody32
516 Followers 142 Following I combine things to build products. Ru profile @23ydobemosShasa @Shasa104535
18 Followers 2K FollowingMcShanee @McShanee113915
95 Followers 932 FollowingSoaneesmay @soaneesmay88947
77 Followers 2K FollowingThoasmoas @thoasmoas24014
48 Followers 2K FollowingDoughsma @doughsma68077
34 Followers 2K FollowingTheyten @Theyten178099
8 Followers 466 FollowingSesaytout @sesaytout13946
14 Followers 1K FollowingMr.Coon @TheMrCoon
151 Followers 2K Following Cat on my Lap 🐈 Nature in my Heart 🌲 Business in my Mind 💼Derik @deriqueeee
30 Followers 482 FollowingDenodo @denodo
6K Followers 6K Following #Denodo is the leader in #datamanagement – providing unmatched performance, unified access to the range of enterprise, #bigdata, #cloud and unstructured sourcesEffect | TypeScript a.. @EffectTS_
5K Followers 23 Following An ecosystem of tools for robust applications & libraries in TypeScript. →Community: https://t.co/rlme4wZIPR →YouTube: https://t.co/3T0IDhuO8NSebastian Manchester @sebmanchester
343 Followers 671 Following co-founder and CTO @JazaEnergy. solarpunk in Lagos / Dar Es Salaam /HalifaxCarles Gelada @carlesgelada
2K Followers 159 Following Founder at @manifest__ai. Ex @OpenAI, @GoogleAI. High school dropout. I like deep learning. I love representation theory and differential geometry.Andreas Kling @awesomekling
36K Followers 396 Following 🌅 Recovering addict 🐞 Building a truly independent web browser (@ladybirdbrowser) 💕 Married to @KatalinKultFinancial Wisdom @FWisdomTV
3K Followers 49 Following Stock Trading and Investing Portal. Breakout Scanner, Financial Data Scoring and very engaged group!virat @virattt
6K Followers 77 Following Exploring multimodal AI models and sharing what I learn along the way • previously @AirbnbEngJelani Nelson @minilek
22K Followers 184 Following Professor @Berkeley_EECS. Research Scientist (part-time) @GoogleAI. Founder @addiscoder. 🇻🇮🇺🇸🇪🇹Josep Jaume @josepjaume
1K Followers 899 Following ⌨️ @factorialhr (ex @codegram) 🎸 @doctorprats 🎙️ @espetechcast / @fullstackvalles En persona sóc més raonable.AI science is going f.. @AISciIsFine
4 Followers 3 Following Contemplating how AI raises the ceiling of scientific research.Neal Wu @WuNeal
15K Followers 390 Following Building @cognition_labs. Previously @tryramp, @GoogleBrain, @Harvard, competitive programming (featured in @Wired). Created https://t.co/pihw5AGvbV.Christian Keil @pronounced_kyle
21K Followers 1K Following VP @Astranis, building internet satellites ◦ host of @1stPrinciplesFM ◦ investor and believer in deep tech startupsWalnut Inc. @Walnutinc
1K Followers 763 Following Reinvent your #sales experience! Create tailor-made, unbreakable, and insightful #productdemos with Walnut ⚡️ Zero code needed. #1 Top Startup by LinkedInNOELREPORTS 🇪🇺 .. @NOELreports
431K Followers 355 Following Media platform covering global conflict zones. Focus on the Russian-Ukrainian war. If you'd like to support our voluntary work: https://t.co/PmM2wwDA1Y.Xavier Marcet @XavierMarcet
40K Followers 186 Following Management Humanista CEO at Lead To Change (LTC) Founder and President Barcelona Drucker Society Barcelona School of Management - UPFRyan Winchester @ryanrwinchester
4K Followers 834 Following I write code for work and fun. BEAM is the future. My thoughts are your own. 👾 https://t.co/DlPacWL4Io 📺 https://t.co/YpGSjSspX1TigerBeetle @TigerBeetleDB
5K Followers 1K Following The distributed financial transactions database designed for mission critical safety and performance. Join the chat! https://t.co/qHVNiRtyzwCocoa @_uwu_cocoa
690 Followers 294 Following My opinions are my own. mastodon: @[email protected] she/her avatar: @2525monacaAndy Pavlo (@andy_pav.. @andy_pavlo
29K Followers 205 Following Associate Prof. of Databases @CarnegieMellon. Co-Founder @OtterTuneAISimon Wardley @swardley
41K Followers 6K Following ❤️🇺🇳 I like ducks, they're fowl but not through choice. Thought Lord. Lives in a swamp. Painted by AI. Born 321 ppm CO₂.Zed @zeddotdev
26K Followers 21 Following A communication platform for software developers that's also a world-class editor. https://t.co/LolUML5eT1Li Haoyi @li_haoyi
10K Followers 0 Following I'm a software engineer, author of the book Hands-on Scala Programming https://t.co/zX1edVipSTCelu Ramasamy @celu_jn31
2K Followers 2K Following Dad-epreneur. Ex-Dreamworks. Casual Meditator. State Champion in yoga at the age of 13. Follow me for a Meditator's perspective on AI.Joelle Pineau @jpineau1
10K Followers 352 Following AI researcher. VP AI Research (FAIR), @AIatMeta. Professor of Computer Science, @mcgillu. Core academic member, @Mila_QuebecMatt Teichman @ElucidationsPod
2K Followers 3K Following Host of the Elucidations Podcast. Programmer @ UChicago DLDC. CS Lecturer @ UChicago MPCS. Emergent Ventures fellow. Views mine. 🦒Glitchbyte @0xglitchbyte
3K Followers 282 Following I help self-taught developers solve problems with code and overcome doubt. 10+ years designing, building, and securing software and infrastructure.Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala developer (author of the specs2 and registry libraries)Eduardo Rafael @TheEduardoRFS
8K Followers 1K Following 25yo anti floating point developer. You can almost always find me at https://t.co/XTQJQqaVhe, it's the boring side of tech.Diogo Mafra @diogomafra_
255 Followers 1K Following writing Rust, OCaml, Rescript, Elixir, shipping (sometimes great) things, 🍃 sustainability. He/him.João @jcsvveiga
269 Followers 390 Following Programmer of big and small. Human Fuzzer. Breaks systems and machines, sometimes on purpose. Señor Developer. He/HimArturo Estrella @intheyield
3K Followers 21 Following Economist, recession forecaster. Prof Emeritus at RPI. Former Senior VP, NY Fed. PhD in economics, Harvard.Giacomo Cavalieri @giacomo_cava
201 Followers 150 Following I love functional programming and learning new things ✨ @gleamlang core team member 💕 (he/him)wilfred @unsafe_io
40 Followers 57 FollowingLarry Diehl @larrytheliquid
783 Followers 527 Following Founder @Colimit_io. Former Director of Programming Languages @SymbiontIO, postdoc @uiowa and PhD @Portland_State.Lu Wilson @TodePond
3K Followers 0 Following coder at @tldraw researcher-in-residence at @inkandswitch ➡️ https://t.co/hXBvGVOixb ❤️ https://t.co/vdvXkvPyGn 🐸 https://t.co/J3GtP9AtkQJohn A De Goes @jdegoes
16K Followers 979 Following CEO @ZivergeTech, CEO @GolemCloud, OSS contributor @zioscala, speaker, writer. Accelerating human dominion.Benjamin Surman @weareshepherd
28K Followers 124 Following My team and I will find you amazing employees that cost 80% less than US equivalents. We are a headhunter agency for finding top overseas talent.Fredrik W @warnsberg
304 Followers 240 Following VP Technology @SoundtrackYour 🔈🎶🎵🎶 Counter-Strike aficionado. Dad of three. Opinions are my own. He/him.Evan You @youyuxi
260K Followers 2K Following Husband, father of two, independent OSS dev. @vuejs, @vite_js, @rolldown_rs, and more. Connoisseur of sushi. Chinese-only alt: @yuxiyouMain Street Data @mainstreetfd
720 Followers 82 Following Equity research in its most efficient form. by @jamesjsphkSimon Thompson @thompson_si
4K Followers 1K Following Functional programmer in Haskell, Erlang and OCaml. Team Lead for Marlowe at IOHK, computer science researcher at University of Kent, UK, and ELTE, Budapest.Lily @nope_its_lily
76K Followers 2K Following CIO and founder. Tweets are not financial advice and autodelete. Tweets do not reflect my employer's views. Lily's Forever Portfolio: https://t.co/f0mNuyrjaJI've been saying since 2023 that Prolog is the next big thing (in combination with LLMs) 🙃
So it looks like there is a linear relationship after all: arxiv.org/abs/2404.09937
Gaia spots Milky Way's most massive black hole of stellar origin! It's 33 solar masses, dormant, 2nd closest to Earth at ~2000 light years away, part of a wide binary with an old giant star, with estimated age of 11 Gyr: youtu.be/cU00B-6DeSQ #GaiaBH3 cosmos.esa.int/web/gaia/iow_2…
Finding memory leaks in Postgres C code enterprisedb.com/blog/finding-m…
Expect some very rough edges for now
We're releasing an open-source framework to build apps on top of your database/warehouse using SQL and simple frontend components. Common use cases are embedded analytics and interactive data apps with real-time data. Check it out at github.com/latitude-dev/l…
We're releasing an open-source framework to build apps on top of your database/warehouse using SQL and simple frontend components. Common use cases are embedded analytics and interactive data apps with real-time data. Check it out at github.com/latitude-dev/l…
This is probably the best technical book I've read since editing a pre-publication copy of Classical Physics by Blandford and Thorne. Fascinating insights on every page. A third could be wrong and another third unoriginal and it would still be excellent. All the math is drag…
Why do we get certain diseases whereas others do not exist? This new book builds a foundation for systems medicine. Starting from basic laws, it derives why hormone, immune and aging circuits are built the way the are, culminating in a periodic table of diseases.
Últimament una de les meves vàlvules d'escapament mentals és seure un moment, agafar oxigen, i recordar estones recents amb la meva filla. Es parla molt de com de difícil és criar aquestes personetes i poc de com de fàcil i simple et fan la vida, a vegades.
Writing your own compiler is awesome Writing your own database is also awesome
No hablemos de la menopausia. No hablemos de la artralgia, el insomnio, los sofocos, los cientos de síntomas que empeoran nuestra calidad de vida. No hablemos del cansancio. No hablemos de las opciones para sentirnos mejor. Porque es natural. Ya. Claro. Váyanse a la mierda.
I wonder if anyone already defined a good metric for locality, something like as, assuming a reliable machine, the data distance that the program travels if x * n, making it a linear locality.
ocaml is lucky i am one stubborn grug because @welltypedwitch is 100% spot on these. if i had my way, ocaml 6 would be one *major* release.
death by 1000 cuts sums up ocaml so well unfortunately. and not just the tooling, even the language itself has soo much like this. just off the top of my head, there is - polymorphic comparison - reference equality - whatever ocaml calls "type variables" ...
the whole stability/instability in programming languages discourse needs to start being nuanced and quantized nobody is arguing to change ocaml in 1000 backwards compatible ways all at once, nor to do this every odd week of the year. but i’ll be damned if i keep writing the…
death by 1000 cuts sums up ocaml so well unfortunately. and not just the tooling, even the language itself has soo much like this. just off the top of my head, there is - polymorphic comparison - reference equality - whatever ocaml calls "type variables" ...
@Aron_Adler opam/dune for sure. opam mostly but, dune isn’t bad but feels a bit lacking. Also things like init project seems like could have some better defaults, and structure/naming. Just many small things. Death by 1000 cuts. Stuff you could probably get used to if you stick it out, but…
The Haskell Foundation is excited to announce the 2024 Haskell Ecosystem Workshop! June 6-7, 2024 | Rapperswil, Switzerland haskell.foundation/events/2024-ha…
daily self reminder that if I just keep it simple and do the obvious - i.e., give Kind2 a Python-like syntax, compile it to HVM and make it fully integrated with AI, using dependent types behind the scenes to shut off hallucinations - it will be a surprisingly powerful language
I’m so excited to be working with @NachoSoto again after 10 years! It’s gonna be epic.
I’m so incredibly proud to announce that today is my first day at @OpenAI, joining @Javi and other brilliant engineers to work on @ChatGPTapp 👨🏻💻 I’m beyond excited to help shape the future of technology and AI with such an amazing group of talented people 🤩
And for the really deep dive, I joined my friend @pronounced_kyle on his podcast to fully explain the whole system. x.com/pronounced_kyl…
Ian Brooke (@k2pilot) is the founder of Astro Mechanica, a YC-backed startup building the world's first electric-adaptive jet engine. It’s a new way to fly fast — and might soon be the least expensive way to get a payload to orbit.