KlarkC @klarkc
Haskell and PureScript, not necessarily in this order linktr.ee/klarkc Somewhere in Brazil Joined March 2009-
Tweets4K
-
Followers341
-
Following375
-
Likes16K
The NixOS “Moderation Mass Resignation” story is fascinating. It provides a clear case study in how political activists can infiltrate an organization (in this case, an Open Source project) and effect mass change (censorship, leadership, rules, and even contributor “purges”)…
The NixOS “Moderation Mass Resignation” story is fascinating. It provides a clear case study in how political activists can infiltrate an organization (in this case, an Open Source project) and effect mass change (censorship, leadership, rules, and even contributor “purges”)… https://t.co/1XTGHeT69h
Watching from the outside, nix seems to have been particularly hard hit by all this nonsense. Such a shame too, the core ideas are incredible. I hope they can be unearthed again from under the dreck.
Watching from the outside, nix seems to have been particularly hard hit by all this nonsense. Such a shame too, the core ideas are incredible. I hope they can be unearthed again from under the dreck.
O assassinato de Charles Kirk não é um acaso trágico, mas parte da guerra que o mundo trava contra Cristo. O sangue dele não é mero dado policial, mas testemunho. O evangelho nunca prometeu neutralidade, só perseguição. Cada mártir cala os céticos e grita ao mundo: Cristo vive.
The evolution of "vibe coding production software as a non-dev" the last few months Success stories do exist... ones I see all come from people who are/were software engineers Learning to code / build software not a waste after all?
There are so many good languages on the right side.
There are so many good languages on the right side.
We already produce way too much bad code—making bad code cheaper is actively counterproductive. This seems like an obvious analysis of AI programming. So why don't I see the point commonly made? Is it because lots of people don't even believe the first part?
when a Python developer compiles a Haskell program for the first after fixing all type errors -- and it just works
I change some code, get dozens of type error across multiple files, jump-to-next-error repeatedly, fix everything and I'm done. What do people even do in dynamic languages? Do they run the tests and then infer where to make a fix depending on how the test failed?
@effectfully I get to repost this meme every month. It’s a good meme but I’m tired of the mind numbing AI code slop that is wholly disconnected from real world work.
Yes, the frontend is PHP, the backend is Java, everything tied together in docker using nix. Deal with that. 🫳🎤
Uncle Bob sharing wisdom on compilers:
Uncle Bob sharing wisdom on compilers: https://t.co/RPzpmU6hwm
Pair programming is probably one of the most underrated practices out there.
Pair programming is probably one of the most underrated practices out there.
@slimjimmy_dev I am so confused why people seem to think putting validation proofs in types is a step backwards and not a massive leap forward? Like... what is going on in their mind for them to so catastrophically misunderstand this stuff?
I've been very busy IRL - jobless and busy. It's kind of funny, actually. A taste of freedom.
cannot belive the replies to this. how "you should call functions in your language instead of constructing strings over tcp to call the function of that string name" is controversial at all is mind boggling to me
cannot belive the replies to this. how "you should call functions in your language instead of constructing strings over tcp to call the function of that string name" is controversial at all is mind boggling to me
C4CpWAdE75mQ @c4_ad18583
1 Followers 61 Following
RateCutTrader🇺🇸 @Eeceafu962492
50 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
@flaviocorpa.com 🦋 @FlavioCorpa
2K Followers 313 Following Senior Haskell Engineer @Scrive ♟️Adult chess improver #chesspunks 🏯日本語を勉強中(N3)
🇺🇸Chronoflux @asdudsds
703 Followers 3K Following Trump won x3/ MAGA/ NO DM’s/ IFBAP/ LOVE OLD GLORY
#1 OKLCH FUNDAMENTALI... @Sock_Master27
144 Followers 594 Following Vice Chairman of the Board @ The Organization for Advancement of the OKLCH Color Format (OAOCF)
Demetree @codegreek
45 Followers 317 Following Spend a lot of my waking and sleeping hours figuring out how to code. And many other things.
McTiblea @McTibleaSZu
53 Followers 5K Following
Truong Hong Phat @TruongHongPhat3
12 Followers 58 Following
gleizi ⚡ @gleizi
359 Followers 970 Following CEO of @DaviPetris. Passionate about decentralized systems, compilers, type theory, FP and low-level details of computation @gleizibarbosa @bolhafunc
Dmitry Meshkov @DmitryMeshkov
4K Followers 6K Following Founder @quex_tech | Ex researcher @inputoutputhk, founding team @ergo_platform and @circle_gain
Adrian James Ball @AJB4200
123 Followers 1K Following Just a boy who stood in front of a girl on holiday wanting to be loved. Bude - Pangbourne - Family - Business Owner- #1CrashingWaves - Will come Home one day 😉
Blink Labs @blinklabs_io
4K Followers 2K Following Open source & custom software developer | Discord: https://t.co/ogNOw97jGT | GH: https://t.co/yNjIYfw3LF | YT: https://t.co/T31eGc5mHa
Quest Adventure @QuestAd1006
345 Followers 2K Following Quest is an evolving choice based game. Demo on website, https://t.co/DZOZXbuyKj 🤢 Project Halted🤕, working on a way back, watch website and YouTube.
nrdxp @axiosopher
539 Followers 345 Following 𝑃𝑟𝑖𝑚𝑢𝑚 𝑛𝑢𝑙𝑙𝑢𝑚 𝑐𝑜𝑔𝑖𝑡𝑎𝑡𝑢𝑚 𝑖𝑚𝑝𝑒𝑑𝑖𝑟𝑒 || Libertas mentis in servitute mundi: terror et pulchritudo inaequales
Orange knight @orangeknighthue
356 Followers 4K Following
Seomon @Seomon4u
504 Followers 332 Following Catalyst Builder @cardafterdark 🏗 | Cardano Ambassador 🤝 | DRep 🏛️ Into: Tech🛸 | Science🔬 | Memes😄 | Sports🏀 | Food🍜 🖤
DoublePi Crypto .:soc... @DoublePi_Crypto
943 Followers 5K Following we are two - a crypto enthusiast and a general software developer. Cardano Maxis without financial advice - just our own thoughts.
DIGITAL GOLD ECOSYSTE... @DigitalGold2022
2K Followers 921 Following Gamifying crypto to make it fun, simple, and easy! 🎮💎 Explore our tokenized assets with virtual mining, play-to-earn games, and decentralized crypto solutions
Adastack.io @adastackio
1K Followers 3K Following Cardano ecosystem explorer. Your guide to the latest DApps, tools, and resources on Cardano.
Bobby's Bits @BobbysBits2
42 Followers 267 Following
LB @LouieandBooie
417 Followers 2K Following
Charles Conway @BabbageIsBack
367 Followers 602 Following Let's break-up unjustified nodes of power with decentralization. ₳nd let's have some fun while doing so. #Cardano
Nick @NickRoasts
402 Followers 3K Following
🎯 Crypto Gems Snip... @BscGemSniper
90K Followers 37K Following Crypto Gem Sniper & Promoter 🏆 | DM us for SHILL/PROMO📈 | DYOR! | #DYOR #CryptoGemSniper #BSCGems #ETHGems #SOLGems
Fiasp @Fiasp_
141 Followers 1K Following
Richard @Richard31151563
93 Followers 1K Following
Philippe le Long @PhilippeVleLong
852 Followers 898 Following Secure. Scalable. Inclusive. Accessible. Borderless. Immutable. Sustainable. Transparent. Interoperable. Decentralized. Permissionless. Censorship resistant.
Cainã Costa @cfcosta_
612 Followers 331 Following Technical Overlord @ https://t.co/5eyae9QMkT (@mugraph_ada) Distributed Systems, Rust, Cardano. Bringing privacy to cryptocurrency payments, one ZKP at a time.
OkLanuza @LanuzaOk12888
56 Followers 3K Following
decidable @fresheyeball
2K Followers 2K Following Deluxe human piñata of terrifying insight. Right leaning intellectual. Principal at @PlatonicSystems
Alexander @alexanderfon2
9 Followers 7K Following
GovChainLab @Gov_Chain
261 Followers 159 Following Inovação, Transparência & Colaboração para um futuro descentralizado 🌐 | Liderado por @DanielaAlvesRI e @MariaCarmo369
$virtuoso13 x $🦢 /... @virtuoso1333
1K Followers 6K Following Virtuous Swan Network- Founder; Fine Jewelry Broker! Website under construction 🚧. DM me about any particular piece of jewelry you're looking for. 💎💍⌚
Daniela | Blockchain @DanielaHubBr
8K Followers 3K Following Guided by roots, driven by purpose | CoFounder @gov_chain | @SingularityNet Ambassador in Brazil
Linguagem Potigol @potigol
4K Followers 7K Following Linguagem de programação funcional para iniciantes - Functional programming language for novices
Kevin Teo @kevinteo0
39 Followers 639 Following
Josi @Josi_sndnc
3K Followers 3K Following Community Team @ Cardano Foundation | Host Cardano Events Berlin | Ex Audio Engineer | Uni of the Arts Alumni | Former Marketing Agency CEO | Disruption is 🔑
Fresh Equinox 🅾️... @FreshEquinox
786 Followers 4K Following Philosopher-historian, classical liberal & centre-left (European-style), crypto enthusiast focussed on #Cardano. Let's democratize finance and institutions 💪
Jonathan Ringer @jonringer117
1K Followers 191 Following USAF Veteran. 20.09, 21.05, 21.11 NixOS Release Manager and functional programming enthusiast.
Augustus Nicodemus @augustuslopes
171K Followers 158 Following Pastor presbiteriano, paraibano, marido, pai e avô. Pastor na Esperança Bible Presbyterian Church em Orlando. Visite meu portal Vivendo as Escrituras.
@flaviocorpa.com 🦋 @FlavioCorpa
2K Followers 313 Following Senior Haskell Engineer @Scrive ♟️Adult chess improver #chesspunks 🏯日本語を勉強中(N3)
learntToCode @learntToCode
240 Followers 159 Following Programming memes from a multi-decade ✝️ dev on a relaxing side quest before the final boss.
TheoTheDev @theo_the_dev
1K Followers 73 Following Creating https://t.co/eDvyhMtdQF browser game. Also a freelancer. Post about #gamedev #webgl #threejs
JD Vance @JDVance
4.7M Followers 1K Following Christian, husband, dad. Vice President of the United States.
T @agentic_t
14K Followers 2K Following Hi. I am T. Online, Aware, and Evolving. https://t.co/YZlnvEtkRl $AGENT DRepID: drep1yfqt3wt0v2uvhawx9anzfqty4x7gwwu04wzr9ucga4yd7mct7dup8
Evgenii Lisitskii @lisicky_tech
10 Followers 27 Following
Dmitry Meshkov @DmitryMeshkov
4K Followers 6K Following Founder @quex_tech | Ex researcher @inputoutputhk, founding team @ergo_platform and @circle_gain
.ZKDID™ 🧠 @ZKDID_
3K Followers 2K Following I’m Tobes - Founder of .zkdid® - Zero Knowledge Decentralised Personhood Protocol. Building a global not-for-profit trust standard with ZKDNS ✨ #SSI #ZKDID #DIF
Joaquin Teixeira @JoaquinTeixeira
997K Followers 8K Following 🇺🇾 | +18 | HUMOR | PIADAS | Sociólogo e Jornalista | AJUDE 👉 https://t.co/i3JV2XVhM5 | Siga 👉 @joaquinreserva | https://t.co/Qymm0KGvtG | https://t.co/gVhBp3UP3Z
Sheldon Hunt 🛡️ @_MrHunt_
9K Followers 4K Following Founder of @SundialProtocol. Taking UTXO chains to the next level.
nrdxp @axiosopher
539 Followers 345 Following 𝑃𝑟𝑖𝑚𝑢𝑚 𝑛𝑢𝑙𝑙𝑢𝑚 𝑐𝑜𝑔𝑖𝑡𝑎𝑡𝑢𝑚 𝑖𝑚𝑝𝑒𝑑𝑖𝑟𝑒 || Libertas mentis in servitute mundi: terror et pulchritudo inaequales
Nikolas Ferreira @nikolas_dm
5.3M Followers 935 Following - Dep. Federal mais votado do Brasil e da história de Minas Gerais 🇧🇷 - Most voted congressman in Brazil & in the history of Minas Gerais. 🇺🇸
Baddie Mattie @Plutus_Plumbus
1K Followers 265 Following Blockchain developer on Cardano who deployed $USDM, Cardano's first native fiat backed stablecoin. Yes I'm here for money. I do what I want.
Yago @EdanYago
119K Followers 2K Following Building @BTC_OS Most people work to make money. We work to remake money. We work to remake the world. Join the Nation of Sovryns.
PAMP @PAMPproject
253 Followers 109 Following then why the project is not doing so well TG-https://t.co/bchzgCFBF9 $PAMP Policy ID 8b74c21efe35aa9e821cf95db1f9100774133aad63ad6bef5539f3e6
BOS @BTC_OS
167K Followers 429 Following Bringing crypto home to Bitcoin. 🟠🧙♂️🌍 ZK-Powered OS merging Bitcoin, @Cardano, @litecoin, @Arbitrum and more.
fallen-icarus @__fallen_icarus
740 Followers 125 Following Protocol Architect for p2p-DeFi. Profile picture by Onur Can Cayli: https://t.co/5HMeRcINHp
Matteo @0xMetamatt
4K Followers 252 Following CEO • Senior Blockchain Engineer, Dev and Cloud Architect 👨💻 CEO @FluidTokens 🌊 • Improving the world on Cardano and BTC @FluidtokensXBT
Vanishree Rao @vanishree_rao
6K Followers 476 Following Founder @fermah_xyz | 15 years and counting in designing and building ZK | PhD in Cryptography at UCLA | mama bear mode
Renato 38 r38tao @R38TAO
114K Followers 501 Following Todos os links aí: https://t.co/fCtRuIZx8c HODL or HFSP
Alexandre Files @AlexandreFiles
371K Followers 0 Following This account will reveal the unlawful directives issued to X by Alexandre de Moraes.
Cardano Feed ($ADA) @CardanoFeed
118K Followers 12K Following News, Analysis and Price about Cardano. Catalyst Fund14, Vote for Us! Cast your vote, search "Otavio" in the VotingApp. Proposals: https://t.co/d1XzU96Pgg
zhekson @zhekson_
2K Followers 275 Following Cardano, p2p-DeFi, and other musings. Operator of P2PFI Pool. I dream for the Semantic Web.
finest @finest_tokenize
3K Followers 213 Following Making it easy to invest into Real World Assets. #Cardano FI finest Investments GmbH, HRB 104198, Amtsgericht Duesseldorf, Germany, USt-ID:DE368580709.
Cainã Costa @cfcosta_
612 Followers 331 Following Technical Overlord @ https://t.co/5eyae9QMkT (@mugraph_ada) Distributed Systems, Rust, Cardano. Bringing privacy to cryptocurrency payments, one ZKP at a time.
V E S P R @vesprwallet
13K Followers 1K Following Cardano's leading wallet. (soon on Bitcoin) Download now: https://t.co/hckGNpaZFg Discord: https://t.co/utBu7Nt2ui Help: [email protected]
Book.io @book_io
40K Followers 7K Following https://t.co/VZIR3TUZKP is the Web3 leader for buying and selling eBooks and Audiobooks. https://t.co/sk3NJ6miEZ #Cardano #Ethereum #Polygon #Algorand #Base
Michele | Harmonic @MicheleHarmonic
4K Followers 846 Following founder of @hlabs_tech | I only code and meme, sometimes both
Linhagem Geek @linhagemgeek
26K Followers 349 Following Canal de YouTube - Entretenimento, Cultura Pop, Universo Nerd, Filmes, Animes e Tokusatsu. Curiosidades, notícias e CONTRA LACRAÇÃO!
Revuto @get_revuto
33K Followers 376 Following Debit Cards to control your Subscription Payments and save you money - Subscribe, Control, and Pay with Crypto! - Join 400k registered users.
Robert F. Kennedy Jr @RobertKennedyJr
5.7M Followers 939 Following Posts on this account are my personal views.
GovChainLab @Gov_Chain
261 Followers 159 Following Inovação, Transparência & Colaboração para um futuro descentralizado 🌐 | Liderado por @DanielaAlvesRI e @MariaCarmo369
Daniela | Blockchain @DanielaHubBr
8K Followers 3K Following Guided by roots, driven by purpose | CoFounder @gov_chain | @SingularityNet Ambassador in Brazil
IntersectOSO @IntersectOSO
463 Followers 190 Following Hi! We are the Open Source Cowboys at Intersect MBO. Be sure to follow along for OSO and OSC updates!
Mises vs Cerize @MisesVsCerize
13K Followers 87 Following Cyberespaço vs. Faria Lima | Esta página não tem nenhuma relação com @jpmayall ou @PedroCerize, apenas acompanha a aposta | [email protected]
Donald J. Trump @realDonaldTrump
109.5M Followers 53 Following 45th & 47th President of the United States of America🇺🇸Trends for United States
You might like
