Stan @fuolpit
I like building stuff with code https://t.co/tm97t3DAwK feeding models @MistralAI stanislas.blog Paris Joined October 2014-
Tweets4K
-
Followers2K
-
Following2K
-
Likes50K
Ghostty is getting automatic scrollback compression, resulting in 70 to 90% less physical memory usage. It happens incrementally when idle, so it had no measurable effect on IO throughput. I'm not aware of any other mainstream terminal that does this. Demo video below! The gains let us increase the default scrollback limit from 10MB to 50MB, because on average a full scrollback will still compress smaller than the prior limit. More history, for free. ("Unlimited", disk-paged history is on the roadmap too) Let's talk about cool implementation details, cause this was fun. First, the data structure and memory layout ("PageList") I wrote two years ago finally pays off! One of its traits is that screen memory is backed by a linked list of page-aligned, page-sized (or page-multiple-sized) blocks. Because each block is page-aligned and page-sized, we can use madvise to discard its physical backing while keeping the virtual address space reserved. Compressed pages therefore disappear from resident memory, but decompression is still guaranteed because the address space remains valid and we simply fault new pages back in as needed. We use the same trick for our memory pools, too. Unallocated pool pages don't count as resident memory, saving another couple of MB per terminal. This functionality is also available to libghostty-vt consumers via new `ghostty_terminal_compress` APIs. The consumer decides when the appropriate time to compress is and the APIs advise on compressability.
🇪🇺 Chat Control has passed 😔 They can and will now legally scan any person's messages, emails and photos you send without a warrant The way they passed this law when the majority of the European Parliament was against it will shock you: They waited until most EP members were on holiday so only a few were present and then created an "urgent" vote for it to pass it through There's nothing democratic about any of it and big powerful forces are behind this that can manipulate the EU for whatever they want Democracy in Europe died a bit today 😔
Pretty cool that Youtube has decided to randomly dox you if you ever share a link with someone else
Announcing Robostral Navigate, our first model for embodied navigation: an 8B robotics navigation model that guides robots to autonomously perform tasks specified with natural language. Single RGB camera. State-of-the-art on R2R-CE.
👀
It runs on wheeled, legged, and flying robots and generalizes across sizes, unlocking delivery, logistics, manufacturing, and hospitality. Read more: mistral.ai/news/robostral…
our closed source cli tool with closed source llm model with no output will do Something on your computer for $2k/day and you will love it
On Thursday, the European Parliament votes on Chat Control 1 (the voluntary scanning, not the mandatory scanning, called Chat Control 2). Again. The Parliament has already voted against Chat Control 1. Two times. But the Council of Ministers and the Parliament President refuse to accept it. Now, the Council has demanded an urgent procedure. This is a procedure that is meant to be used for new legislative proposals, not proposals that the Parliament has already rejected. An urgent procedure requires an absolute majority to be rejected (361 out of the Parliament's 720 members). This will be difficult to reach, since those who abstain from voting are counted as a yes-vote in an urgent procedure. By scheduling the vote during the summer, they are making it even harder to reach those 361 no-votes. This is downright dirty tactic by the Council and the President of the European Parliament. The President of the European Parliament has sided with the Council against her own chamber. For context, this is the EP President, Roberta Metsola: ---
Great meeting film legend, entrepreneur and all round good guy Ashton Kutcher @aplusk at @Europarl_EN today to discuss Europe's efforts to protect children. Grateful for his tireless commitment and determination in the fight against child abuse and trafficking.
Mind boggling to me that I can make a thing faster and there's always people that ask "but why?" What kind of mentality is that? The pursuit of excellence does not need justification. Also, I find in so many cases, we can't know the impact of an improvement until we do it. For example, one I've talked about before: Ghostty's high IO throughput has enabled terminal program (emulator and TUI) fuzzing at a speed thats incomparably fast to prior solutions. This has resulted in upstream patches to resolve issues in popular projects like btop, tmux, and more. Speed enabled that anecdotally example that lifted the tides of adjacent communities that don't rely on Ghostty technology at all. I didn't predict this. Make things better because they can be better and let the results naturally play out.
just a heads up that you shouldn't use unknown ai "browsers" if you value the safety of your data. all of them are susceptible to prompt injection and many of them have unpatched RCE vulnerabilities and all of that is typically built on top of a very outdated chromium base
@florian_bonet @_solal_ L’intuition est bonne (ouvert toute la nuit, fermé à 9h, tout ça pour rien)
@Alexintosh @DanielLockyer The display is much much better
Pleaaaase someone at Google merge this github.com/googlefonts/fo…
see if you can wipe my raid now little man
here’s a little known secret: software was always slop, long before llms. software engineers are way to fucking prideful of the text they put on a screen to admit this.
Unfortunately no matter how judicious I am, no matter how much I review the code, it feels impossible to not let the slop slip in. I feel like you can prevent it from overflowing, but without your hands getting dirty, you don't really know the state of the project.
No way latest Plasma added press and hold for accents 😭 I can finally type french on qwerty like on macOS kde.org/announcements/…
Today, we are releasing Le Chaton L∃∀N, aka Leanstral 1.5. It achieves SOTA performance on graduate algebra benchmarks FATE-H and FATE-X and improves Pareto Frontier on PutnamBench, solving 587/672 problems with a x10 cheaper budget. 🧵
𝕩ɦΛƦҠ @xhark
7K Followers 5K Following {𝘚𝘺𝘴,𝘕𝘦𝘵}𝘈𝘥𝘮𝘪𝘯 ; 𝔹𝕝𝕠𝕘𝕘𝕖𝕣 ; 3D ; 🅳🅸🆈; #infosec ┣https://t.co/k7iif5mLl2 ┗https://t.co/hEMtdr3eIj
Cécile @AtaxyaNetwork
28K Followers 614 Following Uptime: 25 years | Height: 35U | Freelance Cloud Builder | Disruptive Minds' co-founder | Magical DataCenter Fairy | Retro computing hobbyist
Olivier Bonvalet 🖖 @BoolKiRool
2K Followers 2K Following SRE - scalability enthusiast at @weAreWaays. @grok est sur ma banlist. #webarchitect / #sysadmin / #devops / #lyon
David Legrand ☁️ ... @davlgd
9K Followers 1K Following Help turning great technologies into Clever products @Clever_Cloud. (Carb-free) Absolut Prompt & PoC Engineer 🤖 @v_language & @htmx_org promoter 🔥
Dorian @DorianGaliana
2K Followers 631 Following 28 yo | Tech Lead System - Dsi @ Freepro | Cableur de l’extrême | Ex Equipier Secouriste / Pompier | Futur marié @barmaidmegzou
Arnaud de Bermingham @a_bermingham
8K Followers 4K Following Tech entrepreneur and executive since 1999. Scaleway founder. CEO of Opcore datacenter. Private Pilot. Personal account
mcorbin @_mcorbin
2K Followers 462 Following
fo0 @fo0_
5K Followers 6K Following Telecomix support, كشرى addict, IT, collaborate with Journalists & activists, co-founder @N0thing2hide
Paul @plhery
2K Followers 794 Following Softw eng (@ Google/Youtube) | https://t.co/XGsTdDpNHt https://t.co/NC9pWIsZkW @unfollowMonkey @uzzyDotMe | 🌈 |
Olivier Mis @oliviermis
3K Followers 645 Following Entrepreneur (#Datacenters, #Telecom and #Infrastructure #AI #Hosting). co-founded @dc2scale and former CEO @PulseHeberg.
Samuel Path @smlpth
11K Followers 2K Following Developer @ShopifyEng / Working remotely from Paris / Father of 4
Maxence @Flemzord
1K Followers 692 Following 💼 VP of Engineering at @formancehq 🙈 Creator of @getlicensedev 😱 Creator of https://t.co/dLkVF0W6XL (sell) 🎙️ Host for @danslatech 🖐 My tweets are my own
Léo Rabello @leonnardo
448 Followers 607 Following Platform, cloud & infrastructure engineer. ADHD-powered. Building, breaking, fixing @Microsoft
Владислав @BSRTYq0ah2iKtuA
1 Followers 101 Following
Joanna Jade @jade_joann21512
43 Followers 457 Following
Raquel Barbadillo @raquelbars
792 Followers 333 Following engineering @mistralai, prev @tinybird anon feedback: https://t.co/hKxOhVDYPz
🆎hinav @abhinavshm95
131 Followers 694 Following Top Rated Freelancer on Upwork 🧑🏻💻 | https://t.co/0f3QKWXzfP
Sani Ai Tech @SaniAiTech
32K Followers 2K Following AI enthusiast | Breaking down AI, tools & trends Helping you stay ahead in the age of intelligence DM for collabs & partners → DM 📨 [email protected]
Sergey Tsiplakov @STsiplakov
6 Followers 302 Following
The Sylvain Catherine @TheSC_cath
228 Followers 3K Following Economist. Assistant Professor of Finance at Wharton.
Wendy @m_wendy92
53 Followers 1K Following
ghostpen @gh0stpen
635 Followers 399 Following studying cybersec | science enjoyer | med/acc | i write songs | music in highlights
Kirill @luaroncrew
787 Followers 415 Following co-founder of Ascii with @anic_dev. backed by @fdotinc
Dan Delgado @dandelg_88
121 Followers 1K Following
Eduardo D'Angelo @eduardodangelor
320 Followers 3K Following Web Designer and WordPress/Elementor Developer.
Guru dev @iamgurudevv
139 Followers 5K Following Lead Engineer | AI | ML | Java ☕ | Spring boot 🍃| Microservices | MERN stack | DBs | Android | Jhipster
Bobby The Man @BobbyTheSolMan
3K Followers 556 Following Crypto Person @funhouseFNF Meme coin launches are experimental and risky. This is not financial advice, Do your own research https://t.co/xAhfDc9x3q
Ardjo @rdjooo
560 Followers 7K Following All you needed was oooone little match to start that whole fire.
Paul @PaulSangleF
2K Followers 4K Following Founder at https://t.co/UUeydPyIis (YC X25) AI code reviews for complex codebases
anon @anonpat__
119 Followers 959 Following
Kog @Kog__AI
403 Followers 54 Following Enabling AI coding agents and agentic workflows to generate 3,000 tokens per second per request Try our speed: https://t.co/1ePyXNCMha
Koen van Gilst @vnglst
2K Followers 1K Following Principal Engineer @Rabobank ✦ Python, TypeScript & Elixir ✦ father of two ✦ philosopher by training
Geutak 🇫🇷 @geutak
9 Followers 383 Following 🇫🇷👨🏼💻 🏉📝 sapiosexuel, mais si tu es VM chez Ikea on peut s'arranger 🫠
PA 🇫🇷👨🏻�... @padurip
118 Followers 2K Following
Enzo 🇨🇵 ✞ @enzo5edunom
21 Followers 112 Following
Yassine A. @yamounane_
0 Followers 623 Following
Stephen T. @StephenToussine
81 Followers 841 Following Youtube : https://t.co/EYLbzUtyVB Insta : https://t.co/PN6dmcnJO9 Tiktok : https://t.co/Bm3Utv9Rc3
. @x0xxxxc
218 Followers 1K Following
Stone @pierrecollay
52 Followers 1K Following
Samir Akarioh @SamirAkarioh
23 Followers 251 Following
Houssam Fidani @houssamfidani
88 Followers 655 Following AI/ML Engineer | https://t.co/QavP3Oet93 (Land your job 10x faster)
magiknono @magiknono
920 Followers 3K Following Love Innovation and startup. Perso account to monitor internet and human conversations. linux freelance
Le Complétier 🇫�... @le_completier
215 Followers 2K Following Libertarien qui observe le cirque ambiant. Lutte contre le lavage de cerveau socialiste et la bien pensance.
.G @Ghali_J
17 Followers 1K Following
Saurabh Chopra @saurabhchopraa
633 Followers 4K Following 🧑🏻💻 Staff Platform Engineer @ V7 🎓 MSc in AI @RoyalHolloway
林 李 @lumixraku
82 Followers 1K Following Shader enthusiast. I love making things look fantastic with code
Olivier Hamou @OlivierHamou
179 Followers 3K Following Founder https://t.co/EjmSJE0LnG https://t.co/oDd5i3kOKR https://t.co/mnyrWIT6gH : « I don't have dreams, I have goals. Now it's on to the next one. »
Tim Haldorsson @TimHaldorsson
33K Followers 12K Following Building within crypto growth and revenue since 2019 | founder of @LunarStrategy | Validator & Advisor @Lunar3Capital
ScalaWilliam! @ScalaWilliam
1K Followers 7K Following Scala expert, AI for coding, data platforms, metadata management, process engineering, TDD. Creator @ScalaAlgorithms. Fan of digital and physical ergonomics.
Clément Cavadore @acontios_net
10K Followers 2K Following Internet backbones/peering guy, Network, Entrepreneur, Urbex, Founder @vedege35600 @HivaneNetwork #TelcoPorn & #TeamViandard & #JeSuisNicolas
Olivier Bonvalet 🖖 @BoolKiRool
2K Followers 2K Following SRE - scalability enthusiast at @weAreWaays. @grok est sur ma banlist. #webarchitect / #sysadmin / #devops / #lyon
SwiftOnSecurity @SwiftOnSecurity
411K Followers 9K Following computer security person. former helpdesk.
David Legrand ☁️ ... @davlgd
9K Followers 1K Following Help turning great technologies into Clever products @Clever_Cloud. (Carb-free) Absolut Prompt & PoC Engineer 🤖 @v_language & @htmx_org promoter 🔥
@levelsio @levelsio
912K Followers 3K Following 💸https://t.co/sQ0aiU82PA $803K/m 📸https://t.co/lAyoqmT9Hv $88K/m 🎮https://t.co/jFirUbDOjx $44K/m 🏡https://t.co/1oqUgfDEsx $31K/m 👙https://t.co/RyXpqGvdBB + @X $17K/m 🌍https://t.co/UXK5AFra0o $15K/m 🏩https://t.co/4p4dzTEtCE 💾https://t.co/T74ZwJ2cQa
Arnaud de Bermingham @a_bermingham
8K Followers 4K Following Tech entrepreneur and executive since 1999. Scaleway founder. CEO of Opcore datacenter. Private Pilot. Personal account
Alexandre Derumier�... @aderumier
2K Followers 341 Following Ingénieur système et réseau. #AS34993 Contributeur #proxmox. Fan de #ceph et des solutions libres. BlueSky : https://t.co/tkRmb3lmTi
Vivien GUEANT @lafibreinfo
8K Followers 2K Following 🟦 : https://t.co/yvm30FhIm5 #IPv6 expert @ARCEP Opinions are my own Administrateur du forum https://t.co/GB2po6nz0r IPv4/IPv6: https://t.co/r3pebLGHCG
mcorbin @_mcorbin
2K Followers 462 Following
Octave Klaba @olesovhcom
78K Followers 6K Following OVHcloud.Jezby.Shadow.Qwant.Poweend.MFF.married.1+2 daughters.
Xavier Niel @Xavier75
336K Followers 135 Following Free, iliad, 42, Station F, Kima Ventures, Hectar, Kyutai …
Baptiste Robert @fs0c131y
253K Followers 5K Following CEO @PredictaLabOff | French Security Researcher, Ethical Hacking, OSINT
Infos-Réseaux.com @InfosReseaux
11K Followers 4K Following Infrastructures, Réseaux d'utilités, #openstreetmap - Télécoms, Énergies et Eaux Contenu et médias personnels sous Creative Commons BY-SA
Deus ex Silicium @dexsilicium
39K Followers 41 Following Micro-électronique / Semi-conducteurs / Microscopie électronique / Scanner rayons X / Ingénierie inverse hardware / Ondes électromagnétiques / Science / Youtube
Dr. Serge Zaka (Dr. Z... @SergeZaka
116K Followers 3K Following CEO of AgroClimat2050 | PhD in agrometeorology | Vice-President & Stormchaser Infoclimat | Conference / Speaker #agriculture #globalwarming #FrAgTw 🇫🇷 🇱🇧
Olivier Mis @oliviermis
3K Followers 645 Following Entrepreneur (#Datacenters, #Telecom and #Infrastructure #AI #Hosting). co-founded @dc2scale and former CEO @PulseHeberg.
Samuel Path @smlpth
11K Followers 2K Following Developer @ShopifyEng / Working remotely from Paris / Father of 4
Disruptive humans of ... @DisruptiveHoLin
95K Followers 7 Following Même les jeunes cadres dynamiques ont besoin d'un skyblog. Personal branding de ce compte assuré par @TechTrashFr. Aussi sur : https://t.co/L6Xa4ROkVN
Maxence @Flemzord
1K Followers 692 Following 💼 VP of Engineering at @formancehq 🙈 Creator of @getlicensedev 😱 Creator of https://t.co/dLkVF0W6XL (sell) 🎙️ Host for @danslatech 🖐 My tweets are my own
Clément Viktorovitch @clemovitch
298K Followers 837 Following Docteur, Auteur, Streamer • Collaborations : [email protected]
Kimi Developers @KimiDevs
60K Followers 2 Following The official Kimi account for developers building with Kimi Code and the Kimi API.
AI at Meta @AIatMeta
822K Followers 342 Following Together with the AI community, we are pushing the boundaries of what’s possible through open science to create a more connected world.
Yuchen Jin @Yuchenj_UW
206K Followers 805 Following Cooking fun AI systems & products @databricks. Prev: co-founder & CTO @ Hyperbolic, OctoAI (acquired by @nvidia) Apache TVM, PhD @ University of Washington.
Ryan Lopopolo @_lopopolo
7K Followers 1K Following Principal Engineer, Agentic GCP @googlecloud • prev @OpenAI • Building the future of work. Harness engineering. As an agent influencer, • opinions mine
Kristo Käärmann @kaarmann
34K Followers 263 Following Founder CEO @Wise. Making money work without borders.
Meteo60 @meteo60
16K Followers 99 Following Compte de https://t.co/C8gD6Hysnk Les tweets sont repris automatiquement sur le site et telegram.
Pierre-Loup Griffais @Plagman2
14K Followers 27 Following Valve coder. Currently working on Steam Deck.
Raquel Barbadillo @raquelbars
792 Followers 333 Following engineering @mistralai, prev @tinybird anon feedback: https://t.co/hKxOhVDYPz
Mert Ünsal @mertunsal2020
3K Followers 1K Following Training Formal Math AI @MistralAI, prev. founding engineer @browser_use (YC W25), Kimina Prover @ProjectNumina @ETH_en
Poke @interaction
24K Followers 24 Following Say hi to Poke! The only AI agent verified on Apple Messages 🌴
cj @cj_pais
1K Followers 1K Following make foss not war. local inference is not a crime. you can also call me 派大星
tianhang zhu @TianhangZhuzth
38K Followers 28 Following head of LLM training at @Fundamental. I led RL in the early days at @Alibaba_Qwen and 01ai.
Extrême Météo @ExtremeMeteo
31K Followers 5K Following Passionné amateur averti de météorologie et climatologie. Site internet : https://t.co/IYVELdEb9g. Prévisionniste Prévi+ pour Drôme et Ardèche.
French Report @french_report78
35K Followers 1K Following Droit, politique, histoire, investigation & dépense publique · Par Gabriel de Varenne
nine @nineixnet
499 Followers 65 Following nine is the new IX | European Internet Exchange Point & Ethernet Fabric | AS31561
Sarah Wooders @sarahwooders
6K Followers 837 Following co-founder & CTO @Letta_AI making machines that learn prev phd @ucbrise @BerkeleySky + @MIT
Marco Mascorro @ ICML @Mascobot
18K Followers 3K Following Researching LLMs | Roboticist | Prev: Partner @a16z (inv @cursor_ai, @thinkymachines, @bfl_ml, etc), cofounded Fellow Robots, @singularityu, @BMW Research
Design Arena @Designarena
17K Followers 10 Following World's first benchmark for real-world design with 5M+ creators and counting. Made by @intelligence_ai
Ratatui @ratatui_rs
4K Followers 8 Following A Rust library that's all about cooking up terminal user interfaces (TUIs) Account run by a rat https://t.co/qGgUTQpWtb
LlamaIndex 🦙 @llama_index
117K Followers 32 Following The world's best AI Document OCR LlamaParse: https://t.co/yQGTiRSfFL Docs: https://t.co/us6GCS14vD
Archil @archildata
2K Followers 9 Following The file system that connects AI to its data. We power the agents, platforms, and models you love.
Midjourney @midjourney
460K Followers 0 Following A community supported research lab - exploring new mediums of thought and amplifying the imaginative powers of the human species.
Max Mynter @MaxMynter
6K Followers 2K Following python mines @mistralAI || rust oss when I have time || vim, nix, and haskell when i feel like it || paris
jietang @jietang
52K Followers 378 Following Professor @ Tsinghua, Founder of https://t.co/3IaQ4CI5W3. AGI, LLM. “The value of a man should be seen in what he gives and not in what he is able to receive.”―Einstein
kache @yacineMTB
314K Followers 6K Following reinforcement learning, robots. prev eng @ x, stripe. 6'3 (height) tensorpunk subscribe to read my blog!
Mike McQuaid @MikeMcQuaid
9K Followers 0 Following CTPO, Project Leader of @MacHomebrew, maintainer since 2009 Posting automated from https://t.co/FBnFkSYLoE If you want me to read your reply: email me instead.
Plane @planepowers
4K Followers 23 Following Simple, flexible and intuitive project management software for any-sized teams anywhere. Available on web and mobile • https://t.co/wfKJWwWBOQ
River AI @river_ai_inc
5K Followers 0 Following Creating personal AI owned and shaped by each individual.
Xiaomi MiMo @XiaomiMiMo
30K Followers 40 Following @XiaomiMiMoDevs where we share API and product updates
Ahmad Nassri @AhmadNassri
4K Followers 321 Following CTO @SocketSecurity past: @npmjs @telusdigital @thekonginc @cbc @blackberry
Chubby♨️ @kimmonismus
124K Followers 3K Following Tech Analyst & Content Creator. Editor-in-Chief @getsuperintel - daily AI briefing for 225k+ reader: 🔗 https://t.co/jHMmImmI5I //📧 [email protected]
Tim Sneath @timsneath
46K Followers 97 Following Developer tools and frameworks at Apple. I aspire to build delightful products, and to make others smile.
Can. @lumendriada
2K Followers 1K Following building @herdrdev too many ideas, just enough agents to chase them weird ai behavior experiments at https://t.co/Iwdshb4BYF
herdr @herdrdev
5K Followers 29 Following terminal-native runtime for coding agents. built by @lumendriada.
Laura Laban @lauralaban
11K Followers 882 Following CEO & Co-Founder @InfiniteFlight, C# Developer, Tailwheel Pilot, Parent, Married. NVIDIA alumni.
Cognition @cognition
166K Followers 5 Following Makers of Devin, the first AI software engineer. We are an applied AI lab building end-to-end software agents. Join us: https://t.co/4Ss9hvpjRG
Quentin de Quelen @Quentin_dQ
753 Followers 383 Following CEO @Meilisearch, Rust developer & advocate. I am trying to make the web faster and the developer's life easier.
Docteur Laurent Alexa... @dr_l_alexandre
94K Followers 12K Following Mes tweets sont écrits par mon cerveau. Pas par GPT, ni Claude, ni Grok, ni Gemini. Optimiste ProProgrès. Fan de Raymond Aron, Fernand Braudel, Jacques Monod



































