-
Tweets176
-
Followers34
-
Following101
-
Likes197
Just released version 0.6.0.0 of h-gpgme, the #GPG wrapper for #Haskell, to hackage: hackage.haskell.org/package/h-gpgme Release notes: github.com/rethab/h-gpgme…
"Some of people's stupidest ideas are because they are insufficiently lazy" - James Gosling (@errcraft) podquotes.io/quote/23 #java #programming
"In terms of programming languages you get the most bang for the buck by learning AWK." - Brian Kernighan podquotes.io/quote/21
"If we did not win a game, I did not look at my individual stats" - Anna Collins via @podquotesio
🤓 Let's talk about sorting in AWK 🤯 As you might know, arrays in AWK are backed by hashtables. This means traversing them (eg. via `for (i in arr)`) does not return values in any particular order. 💡How can we still ensure the output is sorted (in GNU AWK)? A thread.. ⬇️
🤓 How to join two files? 🧑🎓 Say we have a list withs ids and their names and one with ids and their ages. How to join them by id? > awk 'ARGIND==1{ages[$1]=$2} ARGIND==2{print $2, ages[$1]}' ages.txt names.txt anne 56 bob 23 chad 11 🤯❓ --> Thread ⬇️ #Linux #programming
📚 Weekend Read 📚 Many years ago, @WardCunningham has written a beautiful AWK script to calculate the expenses of their skip trip. c2.com/doc/expense/ 💡 This is AWK at its best.
👩🎨 How can we substitute strings in files? 👨🎨 💡 Use sub: > awk '{sub("ch", "xx")} 1' file.txt ➡️ Replaces the string "ch" with "xx" ➡️ But only the first occurrence ➡️ gsub replaces multiple 🤔 But how does this work? ⬇️ #Linux #AWK #programming
I have setup a monthly donation to @signalapp . Please consider supporting privacy in the internet: signal.org/donate/
👩🎓 What if all data is on one line? 🤔 Eg. 'anna=10;bob=5;chad=7;danny=3' Can we still use #AWK? Of course! We just pretend that ';' is the newline separator 🤓 💡awk -v RS=';' -F= '{print $1}' ➡️ RS is the row separator. Usually this is \n #Linux #codingisfun
🤓 Day 2 of #AdventOfCode screams for #AWK 😱 But how can we do it in practice? 💡 the field separator accepts a regex, this allows us to split eg. "1-3 a: abcde" into fields 💡 the builtin function `gsub` returns the number of matches #AdventOfCodeSpoilers #Linux
😇 Enter trick 77: 'x=1{}x': works 📈 🤔Knowing this, we can rewrite the original solution to: 'BEGIN{FS="[- :]"}_=gsub($3,"",$5){}_>=$1&&_<=$2{x++}END{print x}' This reduces the number of characters from 73 to 65. Can you come up with a shorter one? 🤓
🤔 Change a space-separated file to comma-separated: > awk -v OFS=, '{$1=$1}1' file.txt ➡️OFS modifies the output field separator from a space (default) to a comma. > awk -v OFS=, '{$1=$1; print $0}' file.txt ➡️same, but more explicit. #linux #cli #awk #programming
💡Patterns can also contain a regex. Just enclose it in slashes and compare it with a tilde (~): > awk '$1 ~ /^a/ { print $1} ' file.txt ➡️Print 1st column if it starts with an 'a'. awk '$1 ~ /[a-z]{4,}/ { print $0} ' file.txt ➡️ Print line if 1st column has at least 4 chars

Mitchell Franklin @Mitch_UMATR
945 Followers 3K Following Founder of @UMATR_io and Creator of @RustMatters & @ScalaMatters 🦀 Sourcing the best talent across the globe within #Rust, #Scala, and #Python.
Evgeny Zhoga @EZhoga
34 Followers 131 Following
Alexey @mlexey
10 Followers 85 Following
Domi Mengelt @dmengelt
242 Followers 609 Following Developer Relations Engineer, Payments @Google - online card payments 💳 and ice hockey 🏒 I like simple things - he/him 🧔🏻
Stan Reshetnyk @StanReshetnyk
15 Followers 60 Following Runner in evenings, Diver on vacations, CTO at work.
Tito Pena @FortunatoPena
8 Followers 216 Following
Nezasa @nezasatravel
639 Followers 1K Following Choose the platform that boosts sales, optimises operations and costs, while providing the best traveller experience.
Patrick Gallagher @PatrickSignify
106 Followers 583 Following Functional Programming Advocate working in the Scala Market!
Jai Vine 🦀 @Jai_UMATR
242 Followers 739 Following Delivery Manager and Founding Team @umatr_io Finding the best Rust talent in all corners of the globe 🌍🌎🌏 Community Contributor @RustMatters
Carl @woodbridge_carl
663 Followers 2K Following
Holger Dörsam @HolgerDoersam
8 Followers 100 Following
Oleg Stepura @OlegStepura
25 Followers 40 Following Passioned about software development and nice-looking UIs
Aarno Aukia @aarnoaukia
1K Followers 4K Following Using Docker, Kubernetes, OpenShift to run applications on any infrastructure @vshn_ch @appuio, https://t.co/h4IxIYLYdk, 🇨🇭🇫🇮
ScaleGrid @scalegridio
2K Followers 3K Following DBaaS for MongoDB®, Redis™, MySQL and PostgreSQL on AWS, Azure and DigitalOcean. Deploy, monitor, backup and scale your databases in the cloud or on-premise.
Fabio Pinheiro @fabiomgpinheiro
49 Followers 108 Following Trying to make the world a bit more functional! I'm a functional programming advocate, a member of the Scala community and a cycling enthusiast.
Oliver Köchli @Oliver_Koe
12 Followers 51 Following
#CFEB Bullets=Clues @HashtagCFEB
1K Followers 4K Following 🇺🇸A Non-Profit Organization🇺🇸 🗽🦅#CFEB 👮#BackTheBlue ***Combining*** Ballistics🔫🕵️ ➕Blockchain🔲⛓️➕Cryptography🔑👨💻➕Forensics🧐➕Law👨⚖️👮➕Metallurgy👨🔧👨🔬=Peace✌️👽
Munen Alain M. Lafon @munen_200ok
332 Followers 179 Following CEO https://t.co/FwBFQcxfOa, Zen monk and abbot of Lambda Zen Temple (https://t.co/JvRs2TQBDN).
Lucas Batistussi 👨... @lucasrpb
1K Followers 4K Following Computer Science geek and astronomy lover! Into Distributed Systems (especially databases) and iOT. Scala Engineer
Alvaro Fussen @afussen
135 Followers 136 Following continuing to envision mega-infrastructures as a part of a larger strategy to burgeon customer satisfaction.
Heiko @[email protected]... @openwms
643 Followers 542 Following Founder of #OpenWMS.org. MD & Consultant @Interface21_io, therapist & lecturer. Loves to code w/ #SpringFramework since 2007 - LOAD"*",8,1
Scala Swarm | discont... @ScalaSwarmConf
748 Followers 667 Following The c̶r̶a̶z̶i̶e̶s̶t̶ most exciting #Scala conference | Porto, Portugal #ScalaSwarm
dunschtig @dunschtig
189 Followers 403 Following
Andreas Hess @e3chea
35 Followers 49 Following
podquotes @podquotesio
48 Followers 561 Following Memorable Quotes From Podcasts | Visit https://t.co/v9KFWVJFtb
Evgeny Zhoga @EZhoga
34 Followers 131 Following
Scala @scala_lang
30K Followers 11 Following Official account of the Scala Programming Language, developed at @epfl by @odersky, and maintained by Scala Center, LAMP, @Lightbend, and @Virtuslab
Voxxed Days Zürich @VoxxedZurich
1K Followers 323 Following Community Developer Conference in Zurich, Switzerland, taking place on 25 March 2025.
Thomas Darimont @thomasdarimont
2K Followers 3K Following Java gourmet since 2000. @keycloak Maintainer. @openid Certification team. @springframework Team Alumni. @jugsaar Organizer. @[email protected]
Amsterdam Scala @amsscala
503 Followers 200 Following We are the Amsterdam Scala User Group. We exist to promote all aspects of Scala within the area of Amsterdam.
Guido van Rossum @gvanrossum
288K Followers 480 Following Python's BDFL-emeritus, Distinguished Engineer at Microsoft, Computer History Fellow, fully vaccinated. Opinions are my own. He/him.
e.near @enearportugal
230 Followers 234 Following Helping companies build, incubate and scale high-calibre dedicated technology teams to deliver affordable and high-quality technical solutions.
githubclippy @githubclippy
242 Followers 27 Following Giving helpful advice since 1996. Now available on github.
Oleg Stepura @OlegStepura
25 Followers 40 Following Passioned about software development and nice-looking UIs
Stan Reshetnyk @StanReshetnyk
15 Followers 60 Following Runner in evenings, Diver on vacations, CTO at work.
DevOps Borat @DEVOPS_BORAT
43K Followers 442 Following Cultural Learnings of DevOps for Make Benefit Glorious Teams of Devs and Ops.
David Thrane Christia... @d_christiansen
3K Followers 623 Following I like types and parentheses and metaprogramming. Co-author of The Little Typer and author of Functional Programming in Lean. he/him
Brian Acton @brianacton
49K Followers 0 Following
Fabio Pinheiro @fabiomgpinheiro
49 Followers 108 Following Trying to make the world a bit more functional! I'm a functional programming advocate, a member of the Scala community and a cycling enthusiast.
mLab @mlab
10K Followers 5K Following mLab is the leading Database-as-a-Service for MongoDB, powering over 900,000 deployments on AWS, Azure, and Google. For questions or help: [email protected]
Heroku Status @herokustatus
14K Followers 1 Following Status updates for Heroku. See https://t.co/Z6sby1LXTD for the latest updates. A @salesforce company.
Timothy Perrett @timperrett
3K Followers 483 Following Engineer. Alpinist. Author. Building supercomputers.
Alex Archambault @alxarchambault
1K Followers 529 Following Sofware engineer, turned physicist, turned software engineer again. coursier (https://t.co/LlhkvVCiZM), almond (https://t.co/9E7LGdY2FH), Scala CLI (https://t.co/apyuE20xvY)
Michael Schwarz @misc0110
7K Followers 463 Following InfoSec Faculty @ #CISPA. Side-channel attacks. Exploiting microarchitectures. #Meltdown #Spectre #ZombieLoad #SGX #JavaScript #Rowhammer
Oliver Köchli @Oliver_Koe
12 Followers 51 Following
Underscore @underscoreio
2K Followers 14 Following The leading Scala consultancy: software development, training, and mentoring.
Stephen Compall @S11001001
585 Followers 85 Following …s11 for short. Programmer, ex film reviewer, & Free Software enthusiast. No one else shares my name or username, and I can't imagine why.
[email protected]... @mpilquist
4K Followers 450 Following Expressive static type systems, functional programming, and parametric polymorphism. Engineering Fellow @comcast working in video. He/him.
Digital Asset @digitalassetcom
12K Followers 235 Following Everything you need to connect and build on Canton Network
rrrevolve @rrrevolve
852 Followers 797 Following Gezwitscher von Sebastian Lanz zu Innovation und Nachhaltigkeit. Und zum Online-Shop dazu: rrrevolve.ch #nachhaltig #ökologisch #fairtrade #bio #solar
Viamonda @ViamondaTravel
15 Followers 0 Following Mit Viamonda gestalten Sie Ihre ganz persönliche Reise. Direkt online.
Unison | @unison-lang... @unisonweb
5K Followers 5 Following Friendly programming language from the future Open source https://t.co/hDNFLjJ8Yy Cloud platform: https://t.co/fFWPp8vU2t https://t.co/KPdfGUPVDa
Yaron (Ron) Minsky @yminsky
15K Followers 334 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Tomas Mikula @tomas_mikula
783 Followers 511 Following Into functional programming. Lifelong learner.
Lucas Batistussi 👨... @lucasrpb
1K Followers 4K Following Computer Science geek and astronomy lover! Into Distributed Systems (especially databases) and iOT. Scala Engineer
Alvaro Fussen @afussen
135 Followers 136 Following continuing to envision mega-infrastructures as a part of a larger strategy to burgeon customer satisfaction.
Simon Meier @meiersi
102 Followers 275 Following