David Sánchez @_DavSanchez
Telecom Engineer pursuing knowledge. This is my "Professional" account, my other hobbies are elsewhere. Rust, DevOps, Haskell & Nix (when I have the time) Joined August 2017-
Tweets229
-
Followers62
-
Following538
-
Likes925
David Sánchez retweeted
GIVEAWAY: I bought three Ergotravel split keyboard kits for £4.29 🇬🇧🇬🇧🇬🇧🇬🇧 God save the Queen. Team Britain Now, FUCK YEAA 🇬🇧🇬🇧🇬🇧🇬🇧🇬🇧 I will build these, give one kb away, just reply here, share and follow lol (not my photo)
123
84
230
35K
33
Download Image
I get the memetic hate towards node_modules but yesterday I did a cargo clean and freed 45GB.
Is there anything remotely equivalent to github.com/catppuccin/nix for other themes? This is so great every theme should have it.
Have I already told you that I absolutely despise debugging Helm templates?
This is one of the last things I imagined being part of the Nix community codebases. github.com/nix-community/… WTF!
David Sánchez retweeted
@_DavSanchez I don't have a link but I have a screenshot of it from yesterday. I'm not entirely sure but the community needs to see that there's a bias.
"A Nix project lead being also involved in leading development on a competing fork of the project" is problematic. But people also involved in leading development on another competing fork bullying and holding both Nix's development and community hostage is fine apparently.
What working (partly) in the open and nixifying configs does to a mf
So, do you guys pay for AI services? Like Grok or Claude?
Una vez más Correos se las arregla para ser el servicio más insoportable posible.
A ver cuando abrimos el melón de que los envíos a España vengan con un trámite aduanero que tienes que pagar en efectivo. Apesta.
Elixir, Flix, Zig and a Lisp. PL learning goals.
So, what Lisp would be a good idea to learn currently?
Most beautiful: Haskell Ugliest: Rust
Most beautiful: Haskell Ugliest: Rust
Hace unos días tuve una conversación con mi equipo sobre el uso de la función map en Rust. Como puede resultar didáctico para aquellos que quieran saber más sobre Programación Funcional he decidido reproducirlo por aquí. blog.tech.davidslt.es/blog/2024-11-1…
Shaun @EricRedwolf1680
57 Followers 186 Following
Matilda Graham @MatildaGra20785
125 Followers 4K Following
LaszloR1 @RealLaszloR1
56 Followers 553 Following as opposed to the fake LaszloR1, software engineer
Graham Christensen @grhmc
6K Followers 1K Following Nix! In! Spaaaaceeee!!!!! @DeterminateSys. he/him. 📻 NO5IG
Dreams API @dreamsapi
127 Followers 1K Following Using APIs and webhooks integrating large language models
Lunens @Lunens__
351 Followers 330 Following Atelier software developer building Tools For The People ™️ . CEO of small cats doing big things. Obsession is underrated.
HSVSphere @HSVSphere
14K Followers 996 Following A colorful sphere, here to grudge. Its opinions will never budge. A vibrant orb, with hues so bright, Unwavering in its stances and might.
Daniel Baker @djacu0
17 Followers 71 Following
decidable @fresheyeball
2K Followers 2K Following Deluxe human piñata of terrifying insight. Right leaning intellectual. Principal at @PlatonicSystems
cyan @0o177777
29 Followers 144 Following As the numerically smallest secondary color in the RGB color model, I am the distinctive hue of low-value beta males.
Matt Kline @CompareAndSwap
602 Followers 142 Following The great enemy of clear language is insincerity.
Shivaraj B H @shivaraj_bh_
84 Followers 139 Following Bringing NixOS like services to flakes with https://t.co/Coi8eEwi0B
Lee Hughes (cybertrik... @toxicnaan
832 Followers 2K Following https://t.co/cVCs6d5WN9 : I am the Cybertriker! I like Trikes, AI, Reproducible Systems and Networking. Current Mission: https://t.co/Q8MBfvBaRh . I'll be back!
tøph fauna 🦀❄�... @toph_fauna
262 Followers 379 Following Rust/Nix enthusiast @Numtide | Guitarist @gutfauna_ | @palest_latina 🗝️
Raquel González @Crd5O754lJ00B
16 Followers 2K Following 現在、アルバイトの募集をしています。勤務時間:30~90分。日給7,000円～50,000円！ ✨ すぐお金になる副業 今直ぐ即金で稼ぐ事が出来る在宅ワークになります🌈 副業相談LINE追加:【https://t.co/xCcez2Kxpz】
Lynn @lynn60collins
318 Followers 3K Following
A Type of Programming @atopbook
2K Followers 2K Following A book for the new, the old and the undiscovered programmer. By @renzocarbonara.
Debra @debra_webb97
296 Followers 3K Following
Renzo @renzocarbonara
2K Followers 2K Following Author of @atopbook, building software with types and functional programming. Unfollow me for less wisdom.
Shahar 'Dawn' Or @mightyiam
541 Followers 1K Following Author of the Full Time Nix podcast and open source contributor
NixOS Asia @nixos_asia
199 Followers 199 Following NixOS Asia is a community of Nix and NixOS users, promulgated initially from the Indian subcontinent.
Jonathan Ringer @jonringer117
1K Followers 189 Following USAF Veteran. 20.09, 21.05, 21.11 NixOS Release Manager and functional programming enthusiast.
Correos Express Respo... @Cex_responde
25K Followers 7K Following Canal oficial de Atención al Cliente de @CorreosExpress. Estamos aquí para ayudarte de lunes a viernes de 8 a 20h.
wasabi @wasabi__315
277 Followers 553 Following :: (PhD Student at ScienceTokyo, traP, Haskell, Agda, OCaml)
Alfred | IT English C... @spritenglish
5 Followers 100 Following 🚀 I Help IT Professionals Practice Their English For Work | 💪 Results-Driven 1:1 Classes to Accelerate Your Career to the Next Level 📈 |
Observatorio de la In... @ObsIngenieriaES
619 Followers 1K Following El #ObservatorioIngenieríaESP contribuye a la difusión de la #ingeniería y sus perspectivas de futuro convirtiéndose en centro de referencia.
inspiraSTEAMcanarias @inspiracanarias
67 Followers 454 Following Proyecto pionero para fomentar la vocación científica y tecnológica de las niñas a través de mujeres profesionales investigadoras, científicas y tecnólogas.
Haskell Spotlight @HaskellSpot
372 Followers 764 Following Let's bring better tools and documentation for Haskell together. ✌️ Support the project: https://t.co/zv6CF3ynGF ☕️
Ashley @Ashley11914584
135 Followers 5K Following ❕😃 I'm Ashlеy!💔 Here is mу ргоfilе аnd my nакеd рiсs!)) Votе foг mе, pls:💘 https://t.co/q5Ndq0A3q1
Yoseba Farto Lopez @Theltara
328 Followers 920 Following Técnico audiovisual y militante, hasta que la dignidad se haga costumbre.
Futura-T @futura_t
262 Followers 387 Following Tu futuro está al alcance de tu mano. Desde el Vicerrectorado de Empresa, Emprendimiento y Empleo de la ULPGC te ayudamos a alcanzarlo.
Only Remote Jobs @onlyremotejobs
2K Followers 2K Following Find jobs that aren’t restricted by commute or location! Only Remote Jobs is the world's leading remote-specific job board. Join the remote revolution today!
Alec O’Connor 🍊 @0xA1EC
3K Followers 2K Following I make apps and drink coffee 🐭☕️ Be the change you want to see in the world.
Swish All Hoops @SwishAllHoops
12K Followers 11K Following 🏀 All Hoops, All Stats – follow YOUR basketball game live ⌚️ Live matches, Live statistics, of YOUR games – Feel like a pro ⛓https://t.co/rKdn6GgI2P
Miguel Fernández Cej... @fernandezcejas
518 Followers 882 Following CEO en https://t.co/SweAwIexCP ¿Necesitas ayuda en tu transformación digital? Sígueme en linkedin. #ERP #CRM #BI #BIGDATA #ECM #APPS #ELEARNING #ECOMMERCE #RPA #IoT
Eugenio Criado @_Erlik_Khan_
597 Followers 642 Following Blogger. Crecimiento personal e Inteligencia Artificial. Buscando un desarrollo mas ético, humano de la Inteligencia Artificial https://t.co/HZEADhRamj
SEGULA TECHNOLOGIES @segula_group
3K Followers 4K Following SEGULA is an #engineering group with a global presence, helping boost competitiveness within all of the major #industrial sectors #innovation
NemeSys 2.0 @NemeSys20
2K Followers 1K Following Tu aliad@ digital: identidad online · desarrollo web · producción cultural · eventos 2.0 · formación · comunicación interactiva · transformación digital.
Juan Flores @JJFloresMederos
744 Followers 789 Following Ingeniero por vocación. La experiencia no es lo que a uno le sucede sino lo que uno hace con lo que le sucede. Opinión personal.
HackForGood Canarias @H4GCAN
547 Followers 289 Following Durante un fin de semana, las personas inscritas en #hackforgood podrán, en equipos, desarrollar una idea que persiga mejorar la sociedad :)
ModsAndProjects @Modsandprojects
705 Followers 724 Following Hacks and Mods to improve functionality! Our YouTube: https://t.co/f0YpVv6XRQ We Follow Back!
Mitchell Hashimoto @mitchellh
146K Followers 141 Following Working on a new terminal: Ghostty. 👻 Prev: founded @HashiCorp. Created Vagrant, Terraform, Vault, and others. Vision Jet Pilot. 👨✈️
Тsфdiиg @tsoding
93K Followers 285 Following Recreational Programming - https://t.co/cPjxUvz266 - https://t.co/EilSXwJsXC - https://t.co/0cNzC7z24Y ⠀⢀⣰⣾⡿⣶⣿⠿⣶ ⢠⣼⣿⣿⣷⣿⣿⣶⠉ ⢸⣿⣿⣿⣿⣿⣿⠀⠀
John Carmack @ID_AA_Carmack
1.1M Followers 274 Following AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo Aerospace
Zig @ziglang
16K Followers 2 Following A general-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Andreas Kling @awesomekling
53K Followers 1K Following building @ladybirdbrowser. recovering addict. husband of @katalinkult. uncle. gymnasium brother.
Lukáš Hozda @LukasHozda
6K Followers 538 Following 🦀🍀 ceo of rust @BraiinsMining × building bitcoin in rust book 🍀🦀
Igal Tabachnik @hmemcpy
11K Followers 532 Following Professional vibe coder. Scala / Rust 🦀 (btw) Will you halt this eclipse in me?
Graham Christensen @grhmc
6K Followers 1K Following Nix! In! Spaaaaceeee!!!!! @DeterminateSys. he/him. 📻 NO5IG
Lunens @Lunens__
351 Followers 330 Following Atelier software developer building Tools For The People ™️ . CEO of small cats doing big things. Obsession is underrated.
Kai Fall @kai_fall
8K Followers 56 Following
Mercury @mercury
37K Followers 308 Following Mercury is the fintech more than 200K ambitious companies and entrepreneurs trust with their finances
Servo @ServoDev
9K Followers 30 Following Servo: The embeddable, independent, memory-safe, modular, parallel web rendering engine written in Rust. @LF_Europe
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
cyan @0o177777
29 Followers 144 Following As the numerically smallest secondary color in the RGB color model, I am the distinctive hue of low-value beta males.
decidable @fresheyeball
2K Followers 2K Following Deluxe human piñata of terrifying insight. Right leaning intellectual. Principal at @PlatonicSystems
Open Source Security ... @opensrcsec
2K Followers 0 Following Open Source Security Inc. Creators of @grsecurity®
Embecosm @Embecosm
862 Followers 192 Following Services developing embedded software: Operating Systems, Verilator, GCC, LLVM and Rust experts.
GCC Rust @gcc_rust
1K Followers 49 Following GCC Front-End for Rust Thanks to @opensrcsec and @Embecosm
alcuin ❄️ @scheminglunatic
6K Followers 1K Following pure, lazy, immutable ✝️ "In programming language theory, there is only moral correctness." 🐱👉investi(gati)bg ... #TRAD_YAOI and #AuDHD_NetSlop 🐢🦀🦥❄️🍛🐓
Tristan Ross 😺❄�... @RossComputerGuy
952 Followers 428 Following I like computers and cats. ちょっと日本語上手。にゃー Ko-fi: https://t.co/X2dKfIm2kf
Travis Whitaker (hs/a... @TravisMWhitaker
5K Followers 834 Following I am weaponizing Haskell and Nix.
@matthewcroughan@defe... @MatthewCroughan
867 Followers 375 Following Twitter is not real life. Runs https://t.co/13ABAIKRfQ and https://t.co/GBFLOoxx6z and https://t.co/uXJkvvKvW2 drinks Nix & Kix https://t.co/qbTkEseW79
Ocean Sprint @ocean_sprint
90 Followers 14 Following A week of Nix hacking on Canary Islands. #oceansprint
Shivaraj B H @shivaraj_bh_
84 Followers 139 Following Bringing NixOS like services to flakes with https://t.co/Coi8eEwi0B
nrdxp @axiosopher
537 Followers 343 Following 𝑃𝑟𝑖𝑚𝑢𝑚 𝑛𝑢𝑙𝑙𝑢𝑚 𝑐𝑜𝑔𝑖𝑡𝑎𝑡𝑢𝑚 𝑖𝑚𝑝𝑒𝑑𝑖𝑟𝑒 || Libertas mentis in servitute mundi: terror et pulchritudo inaequales
tøph fauna 🦀❄�... @toph_fauna
262 Followers 379 Following Rust/Nix enthusiast @Numtide | Guitarist @gutfauna_ | @palest_latina 🗝️
Luc Perkins @lucperkins
3K Followers 4K Following @DeterminateSys. Nomad. Co-author, Seven DBs in Seven Weeks (https://t.co/7K3vCAoWU0). PhD @DukePoliSci. @WestJet is a criminal organization. #RipCity
Lee Hughes (cybertrik... @toxicnaan
832 Followers 2K Following https://t.co/cVCs6d5WN9 : I am the Cybertriker! I like Trikes, AI, Reproducible Systems and Networking. Current Mission: https://t.co/Q8MBfvBaRh . I'll be back!
HSVSphere @HSVSphere
14K Followers 996 Following A colorful sphere, here to grudge. Its opinions will never budge. A vibrant orb, with hues so bright, Unwavering in its stances and might.
Xe Iaso @theprincessxena
6K Followers 3K Following A blogger trying to break into video | https://t.co/b9W4HIFFHf | @xeiaso.net 🦋
Ron Efroni @ronefroni
684 Followers 119 Following @NixOS_org board member, bringing Nix to work with @floxdevelopment
jaspervdj (@functiona... @jaspervdj
3K Followers 371 Following Leftist, haskell stuff, and I care a lot about skateboarding and photography. Involved with @FugueHQ, @snyksec, @HaskellOrg, @ZuriHac and @icfpcontest2021.
Platonic.Systems @platonicsystems
761 Followers 88 Following Functional Programming Consultancy #haskell #purescript #elm #nixos #nix #typescript #solidity #machinelearning #clojure #fsharp #scala
Higher Order Company @higherordercomp
8K Followers 0 Following Getting to the very core of what makes computers capable of reasoning. https://t.co/5iLyJjioth
Vladislav Zavialov @int_index
2K Followers 261 Following Haskell programmer since 2012; GHC contributor since 2018.
Ashwin Mathews @shw1nm
2K Followers 126 Following ☠️ ex-hacker 💰 bootstrapped company to exit via AI -- sharing round 2 on X 📍 social patterns + business hacks
A Type of Programming @atopbook
2K Followers 2K Following A book for the new, the old and the undiscovered programmer. By @renzocarbonara.
Renzo @renzocarbonara
2K Followers 2K Following Author of @atopbook, building software with types and functional programming. Unfollow me for less wisdom.
Jon Gjengset @jonhoo
34K Followers 189 Following Rust live-coder and OSS tinkerer who loves teaching. I try to keep a high SNR. Wrote Rust for Rustaceans. At @HelsingAI. Ex AWS. Co-founded @readysetio. he/him
RISC-V International @risc_v
32K Followers 489 Following RISC-V International is the non-profit home of the open standard RISC-V Instruction Set Architecture (ISA), related specifications, and stakeholder community.
Framework @FrameworkPuter
98K Followers 200 Following Remaking consumer electronics to respect people and the planet. 💻🪛 For support visit https://t.co/OcUxJ6ebU3Trends for United States
17,2 B posts
4.048 posts
133 B posts
391 B posts
18,5 B posts
93,9 B posts
466 B posts
6.015 posts
15,2 B posts
1.857 posts
7.819 posts
83,9 B posts
10,7 B posts
46,7 B posts
46,1 B posts
3.292 posts
You might like
Nisa
@NisaBuset
110 Followers
Muhammad Junaid Butt
@m_junaid_butt
86 Followers
Andrew Liu
@andrewliu96
112 Followers
celia álvarez hdez
@celiaxixon
46 Followers