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
-
Followers63
-
Following532
-
Likes923
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)
126
88
229
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.
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…
Alice Debbie @Alice111123454
82 Followers 1K Following
Shaun @EricRedwolf1680
47 Followers 121 Following
Matilda Graham @MatildaGra20785
93 Followers 4K Following
LaszloR1 @RealLaszloR1
55 Followers 548 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
126 Followers 1K Following Using APIs and webhooks integrating large language models
Lunens @Lunens__
344 Followers 321 Following Atelier software developer building Tools For The People ™️ . CEO of small cats doing big things. Obsession is underrated.
HSVSphere @HSVSphere
14K Followers 995 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
18 Followers 72 Following
decidable @fresheyeball
2K Followers 2K Following Deluxe human piñata of terrifying insight. Right leaning intellectual. Principal at @PlatonicSystems
cyan @0o177777
29 Followers 142 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
607 Followers 140 Following The great enemy of clear language is insincerity.
Shivaraj B H @shivaraj_bh_
82 Followers 140 Following Bringing NixOS like services to flakes with https://t.co/Coi8eEwi0B
Lee Hughes (cybertrik... @toxicnaan
842 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
264 Followers 378 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
312 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
289 Followers 3K Following
Renzo @renzocarbonara
2K Followers 4K Following Author of @atopbook, building software with types and functional programming. Unfollow me for less wisdom.
Shahar 'Dawn' Or @mightyiam
545 Followers 1K Following Author of the Full Time Nix podcast and open source contributor
NixOS Asia @nixos_asia
200 Followers 200 Following NixOS Asia is a community of Nix and NixOS users, promulgated initially from the Indian subcontinent.
Jonathan Ringer @jonringer117
707 Followers 179 Following 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
275 Followers 547 Following :: (PhD Student at ScienceTokyo, traP, Haskell, Agda, OCaml)
Alfred | IT English C... @spritenglish
5 Followers 101 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
373 Followers 765 Following Let's bring better tools and documentation for Haskell together. ✌️ Support the project: https://t.co/zv6CF3ynGF ☕️
Ashley @Ashley11914584
134 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 389 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
519 Followers 883 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_
598 Followers 640 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
745 Followers 787 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
706 Followers 727 Following Hacks and Mods to improve functionality! Our YouTube: https://t.co/f0YpVv6XRQ We Follow Back!
Lukáš Hozda @LukasHozda
6K Followers 810 Following 🦀🍀 ceo of rust @BraiinsMining × building bitcoin in rust book 🍀🦀
Graham Christensen @grhmc
6K Followers 1K Following Nix! In! Spaaaaceeee!!!!! @DeterminateSys. he/him. 📻 NO5IG
Lunens @Lunens__
344 Followers 321 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 54 Following
Mercury @mercury
36K 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 142 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
893 Followers 420 Following I like computers and cats. ちょっと日本語上手。にゃー Ko-fi: https://t.co/X2dKfIm2kf
Travis Whitaker (hs/a... @TravisMWhitaker
5K Followers 827 Following I am weaponizing Haskell and Nix.
@matthewcroughan@defe... @MatthewCroughan
869 Followers 376 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_
82 Followers 140 Following Bringing NixOS like services to flakes with https://t.co/Coi8eEwi0B
nrdxp @axiosophist
533 Followers 342 Following 𝑃𝑟𝑖𝑚𝑢𝑚 𝑛𝑢𝑙𝑙𝑢𝑚 𝑐𝑜𝑔𝑖𝑡𝑎𝑡𝑢𝑚 𝑖𝑚𝑝𝑒𝑑𝑖𝑟𝑒 || Libertas mentis in servitute mundi: terror et pulchritudo inaequales
tøph fauna 🦀❄�... @toph_fauna
264 Followers 378 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
842 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 995 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
676 Followers 117 Following @NixOS_org board member, bringing Nix to work with @floxdevelopment
jaspervdj (@functiona... @jaspervdj
3K Followers 370 Following Leftist, haskell stuff, and I care a lot about skateboarding and photography. Involved with @FugueHQ, @snyksec, @HaskellOrg, @ZuriHac and @icfpcontest2021.
Platonic.Systems @platonicsystems
762 Followers 87 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 259 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 4K 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 490 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
95K Followers 198 Following Remaking consumer electronics to respect people and the planet. 💻🪛 For support visit https://t.co/OcUxJ6ebU3
Numtide @Numtide
649 Followers 19 Following A #Nix and #DevOps consulting company. We help our customers with declarative development, cloud and bare-metal infrastructures.
Determinate Systems @DeterminateSys
2K Followers 187 Following Bringing Nix ❄️ to the enterprise to empower fearless software delivery 💪
Farid Zakaria @fmzakari
470 Followers 208 Following I'm a software engineer, father and wishful amateur surfer. If you've come seeking my political views; you've found the wrong Fareed.
David Sánchez @DavidSR_ULPGC
113 Followers 115 Following Profesor de la @ULPGC e investigador del @IDeTICulpgc. Aplicando las TIC: Tiempo, Ilusión y Cariño
Sridhar Ratnakumar @sridca
552 Followers 0 FollowingTrends for United States
88,5 B posts
58,3 B posts
81,9 B posts
65,8 B posts
17 B posts
89,3 B posts
59 B posts
16,1 B posts
17,8 B posts
59,1 B posts
4.565 posts
4.014 posts
5.224 posts
10,6 B posts
41,8 B posts
48,6 B posts
1.712 posts
9.332 posts
5.084 posts
6.971 posts
You might like
Nisa
@NisaBuset
110 Followers
Muhammad Junaid Butt
@m_junaid_butt
85 Followers
Andrew Liu
@andrewliu96
109 Followers