Avi Press @avi_press
Founder @scarf_oss. Open source, startups, and Haskell. avi.press Oakland, CA Joined July 2015-
Tweets2K
-
Followers730
-
Following635
-
Likes3K
Pure functional programming may be a lie, but it is not dead.
Ok, now that this is published (haskell.foundation/who-we-are/), I've joined the Haskell Foundation board! The @haskellfound will play a crucial role in Haskell's future. I'm looking forward to helping steer our community to become the thriving ecosystem we all know it can be.
Ok, now that this is published (haskell.foundation/who-we-are/), I've joined the Haskell Foundation board! The @haskellfound will play a crucial role in Haskell's future. I'm looking forward to helping steer our community to become the thriving ecosystem we all know it can be.
My commit graph used to look like an aerial view of Central Park, but now I mostly just "sell stuff" instead.
This is extremely impressive
New episode of the @HaskelInterlude just dropped 👀👀👀 haskell.foundation/podcast/48/
Immediately shipping TF features that Hashicorp had been reserving for their enterprise product is a strong start for OpenTofu.
Immediately shipping TF features that Hashicorp had been reserving for their enterprise product is a strong start for OpenTofu.
Wow, I'm very impressed by the fact that @zeni can pull out Stripe fees as part of cost of sales. Stripe makes it really hard to see how much you actually pay them per month, the fees are just deducted from your payouts, so your "payment" is very hard to track.
It's increasingly a problem that AI assistants apps, wearables, etc. don't store your data in a portable, open format. These apps die all the time, so let's make the switching cost as close to 0 as possible.
I wonder if going public was good or bad for Hashicorp, given that it sold so shortly afterwards.
💡 Learn why simplifying observability is vital now and how Coroot assists, as co-founder @PeterZaitsev shares insights! 🔗 Read more: coroot.com/blog/it-is-the… With microservices on the rise, traditional approaches fall short. Coroot offers comprehensive visibility,…
What a week. I gave 4 talks, had one tech journal interview, we had our first conference booth ever at Open Source Summit, we announced our Common Room integration, and now I am rushing to hop on flight #3.
I was using Rewind for a few months and really like the idea, but the quality of the AI features weren't good enough to keep using it. I rarely got good answers to my queries. I'm optimistic about this kind of AI tooling in the long run, but wasn't impressed currently.
Domen Kožar @domenkozar
5K Followers 1K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5JMatt Parsons @mattoflambda
4K Followers 566 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!Tom Sydney Kerckhove @kerckhove_ts
2K Followers 420 Following Professional Weirdo Learning American Sign Languagegeoff @GeoffreyHuntley
51K Followers 1K Following some random bozo that builds @canva. stay goose 🪿twoots completely unrelated to employerdeech @deech
5K Followers 1K FollowingArian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercuryjustin @jusrin00
2K Followers 865 Following 90% random content, some programming. i have many repos and posts about nix, purescript, etcTikhon Jelvis @tikhonjelvis
3K Followers 257 Following I like programming languages. A lot. Tools, types and functions.Justin Dorfman @jdorfman
4K Followers 826 Following Open Source Program/Community Manager @Sourcegraph by day, cringy meme generator by night. Maintainers best friend 24-7-365.Scarf @scarf_oss
662 Followers 83 Following Promoting open source sustainability with privacy-conscious metrics and insights. Find your next customer from your existing OSS user base.Mo @MoFromYYZ
4K Followers 3K Following Cofounder and CTO @withshepherd (construction insurtech), prev eng @airbnb. 🇨🇦 in San Francisco. Aspiring pro pickleball playerDaniel Firth (Inspect.. @locallycompact
1K Followers 631 Following Haskell Programmer @ IOG Horizon Haskell https://t.co/1586xMNhf7 #haskell #nix #cardano #plutus #developerthanks.dev @thanks_dev
530 Followers 1K Following Donate to the open source projects in your dependency tree https://t.co/piI3UyY88RSusan Potter @SusanPotter
7K Followers 2K Following Antifascist. Software Engineer @referentiallabs. Gay. Immigrant. Loves: #OptionsTrading #FunctionalProgramming #economics #mathematics #systems #JohnWatersMihai Maruseac @mihaimaruseac
2K Followers 2K Following Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear. Views my ownJonas Chevalier 🦙 @zimbatm
1K Followers 421 Following I like to build things. Helping companies adopt Nix at @Numtide Author of direnv. Mastodon: @[email protected] DMs are open!undecidable @fresheyeball
2K Followers 2K Following Deluxe human piñata of terrifying insight Principal at @PlatonicSystemsSheemmid @Sheemmidue4
0 Followers 300 FollowingCarlo Sana @entangled90
108 Followers 969 FollowingMichael Fowlie @mwfowlie
1K Followers 2K Following Software Engineer at a financial trading company. ex-Microsoft. Statistician and Data Scientist. Master of Applied Finance student at @UNSW. New Zealander.David Peter @daviddotpeter
118 Followers 223 Following (dys)Functional programmer in TypeScript Founder @type_driven Rants about #fp #startups #tech #js #ts #cloud #ai #crypto and all other buzzwordsovais @0vai5
69 Followers 767 Followingbagaswh @bagaswh
96 Followers 4K Following i make and (sometimes) break things | has severe social issues | likes tea a lotBrian J. Cardiff @bcardiff
655 Followers 298 Following https://t.co/pLzn7xe4of | 🇦🇷 Developer, Teacher, Swing/Blues dancer and ... - https://t.co/RtHNOqZFtPIan Jeffries @seagreen__
593 Followers 177 FollowingMcChare @McChare73358
8 Followers 474 FollowingRenzo Carbonara @renzocarbonara
90 Followers 316 Following Author of @atopbook, building software with types and functional programming.Sudhama Bhatia @SudhamaBhatia
462 Followers 2K Following Co-Founder@QRev AI - AI Agents to scale your Sales org infinitely | Prev Founder @thetrackapp, Co-founder @Muzenly, Engg @GoldmanSachs, Engg @KnewtonJulietMonroe @Jyo6aiilix1fnbw
1 Followers 358 FollowingSerokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AITueteausl @tueteausl96608
2 Followers 351 FollowingSheigh @Sheigh410868
1 Followers 357 FollowingMichael Strike @Strike_Attack
3K Followers 2K Following Core team member at @qrledger. #Youtube creator. Engineer. Speaker. Follow me for the latest news at the intersection of #Bitcoin, #Blockchain, and #Quantum.Dote @shtashea51751
4 Followers 238 FollowingUnderdog Consulting @r_underdogs
27 Followers 10 Following Marketing & community solutions for early-stage tech startups | Tech conferences engagement for startup founders | Open Source loversSeve @seveibar
748 Followers 3K Following creating @tscircuit (React & AI for Electronic Design), former CTO https://t.co/LZ3mSzwQrw, I like open-source and startups. DMs openGraham Hutton @haskellhutt
7K Followers 695 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴Isaac Van Doren @isaacvando
90 Followers 229 FollowingMichael O’Donnell @Photo
4K Followers 2K Following Telling the story in a sequence of snaps for over 33 years. From film to digital, I have photographed it all. https://t.co/DPk8CJMg1YLarry Diehl @larrytheliquid
795 Followers 533 Following Founder @Colimit_io. Former Director of Programming Languages @SymbiontIO, postdoc @uiowa and PhD @Portland_State.ambroslins @ambroslins
14 Followers 151 FollowingFTS @fishtreesugar
17 Followers 464 FollowingJosé Manuel Calderó.. @josecalderon
2K Followers 842 Following Director @HaskellFound , lecturer @umdcs. Jazz, music theory, compilers + privacy, sometimes I combine them. I can also be found @[email protected] I miss YorkshireOdessa Helmstetter @OdessaH51207
64 Followers 5K FollowingTalia Bailie @BailieTali72605
46 Followers 5K FollowingAnna Lise 👩💻 @ann3dev
16K Followers 9K Following Front-End Developer at @amazon | Crafting websites with HTML, CSS, React.js and JavaScriptMelina Schurkamp @MSchurkamp1609
34 Followers 5K FollowingCarola Stoutamire @CarolaStou3360
61 Followers 5K FollowingShaurya the courageou.. @SureYeaah
475 Followers 1K Following Senior SWE @rippling | Ex-haskeller | Any AI companies looking to hire a generalist?Matěj Černý @matej_cerny
37 Followers 148 Following Functional programming enthusiast with strong foundations in the relational databases worldTakumi @adPEXtwinDoNG
501 Followers 2K Following they/them I'm not a Haskell developer but I play one on TV. DeCoste FAN PAGEKaira Peno @KairaPeno2101
87 Followers 5K FollowingJ͓T͓ @jt_tv_xyz
482 Followers 985 Following 🤖 𝗔𝗜 𝗖𝗹𝗼𝘂𝗱 𝗖𝗼𝗺𝗽𝘂𝘁𝗲 🤖 💎 𝗦𝗲𝗿𝗶𝗮𝗹 𝗘𝗻𝘁𝗿𝗲𝗽𝗿𝗲𝗻𝗲𝘂𝗿 💎 🛠 𝗖𝗿𝗮𝗳𝘁𝗶𝗻𝗴 𝗖𝗼𝗺𝗽𝗮𝗻𝗶𝗲𝘀, 𝗕𝘆𝘁𝗲 𝗯𝘆 𝗕𝘆𝘁𝗲 🛠️billksun @billksun
0 Followers 57 FollowingCryptic @unknown10500
0 Followers 170 FollowingDomen Kožar @domenkozar
5K Followers 1K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5JDmitrii Kovanikov @ChShersh
8K Followers 113 Following 🧑💻 Senior SE at Bloomberg using OCaml 🐫 Ꚙ Autistic 📽 Content: https://t.co/6laFNyCooC Opinions are my ownPaul Graham @paulg
1.9M Followers 772 FollowingGabriella Gonzalez @GabriellaG439
14K Followers 143 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and countless packages and presentations. I'm a midwife to the hidden beauty in everything (she/her) 🏳️⚧️Matt Parsons @mattoflambda
4K Followers 566 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!Tom Sydney Kerckhove @kerckhove_ts
2K Followers 420 Following Professional Weirdo Learning American Sign LanguageRúnar @runarorama
11K Followers 83 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.Bartosz Milewski @BartoszMilewski
33K Followers 37 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]Graham Christensen @grhmc
5K Followers 1K Following Realizing Nix's future with flakes with https://t.co/KZdugzj72q, at @DeterminateSys. he/him. 📻 NO5IGdeech @deech
5K Followers 1K FollowingEdward Kmett⏏️ @kmett
14K Followers 778 Following Founder/CTO of @Positron_AI Helping @ToposInstitute I tend to talk about Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/oP135HK8LMArian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercuryBen Gamari @bgamari
2K Followers 311 Following I work on the Glorious Glasgow Haskell Compiler at @WellTyped.justin @jusrin00
2K Followers 865 Following 90% random content, some programming. i have many repos and posts about nix, purescript, etcNikita Bier @nikitabier
323K Followers 2K Following I make apps grow really fast. founder @gasappteam (acq by discord), ex-founder @thetbhapp (acq by facebook), ex-new products @metaTikhon Jelvis @tikhonjelvis
3K Followers 257 Following I like programming languages. A lot. Tools, types and functions.Patricia Mou @patriciamou_
31K Followers 486 Following souls, spaces, society. co-founder @thesfcommons, curates @rabbitholes_, writing https://t.co/YnfgkSWURoMiguel de Icaza ᯅ @migueldeicaza
96K Followers 5K Following Fun Stack Vibing. Started Xamarin, Mono, Gnome; was MSFT/.NET/Xamarin/Mono/VSMac/AI https://t.co/QkbDDWMXRf @migueldeicaza.bsky.socialAndres Löh @kosmikus
3K Followers 501 Following I am a partner and Haskell Consultant at Well-Typed LLP. http://t.co/cc1cbLgax5Dan Lorenc @lorenc_dan
9K Followers 2K Following OSS Supply Chain Security. Founder/CEO/Primary Ariba Admin at https://t.co/sGmuUU9JbG Sigstore: https://t.co/dWKlyYu6kvMoritz 💫 @4ngerman
2K Followers 736 Following 💆 Head of Developer Experience. 💰No financial advice! 🤝 Views are my own!Armon Dadgar @armon
27K Followers 197 Following Co-founder of @hashicorp. Passionate about technology and startups. I love to build things. Married to @j_kallaAlexis Richardson @monadic
7K Followers 4K Following At large Prev RabbitMQ/VMware/Spring/Pivotal/CNCF/Weaveworks DMs openZach Coelius @zachcoelius
27K Followers 3K Following Hopelessly addicted entrepreneur. Currently investing in other great entrepreneurs. My User Manual: https://t.co/Yv6Qp1hyy2 Rolling Fund: https://t.co/xTWKHJJODLScott Chacon @chacon
15K Followers 1K Following CEO of @gitbutler, cofounder of @SCNE_io, previously cofounder of @github. All opinions are my own, but also objectively the best.Anthony Alaribe @tonialaribe
5K Followers 3K Following Watch me build developer tools in public. Starting with @APItoolkitHQ. I build stuff in Go, Rust (🦀) and Haskell. Maths ♥️ EngineeringCharity Majors @mipsytipsy
81K Followers 509 Following cofounder/CTO @honeycombio, co-author of Observability Engineering and Database Reliability Engineering. I test in production and so do you. 🐝🏳️🌈🦄Avi @AviSchiffmann
77K Followers 3K FollowingJason Bosco @jasonbosco
4K Followers 1K Following • CEO & Co-founder @Typesense • Open Source alternative to Algolia / Pinecone / Elasticsearch • Revenue Funded & Profitable | ex @DollarShaveClubKelsey Hightower @kelseyhightower
238K Followers 40 Following Minimalist DMs are now closed. Just email me: [email protected]Chad Whitacre @chadwhitacre_
3K Followers 110 Following Head of Open Source, @getsentry ❧ Working on Open Source sustainability through @fossfunders and https://t.co/81pYVuSDKV 💃Faces of Open Source @facesopensource
2K Followers 711 Following Faces of Open Source is an on-going photographic documentation of people behind the development and advancement of the open source revolution.Thomas Bereknyei @bereknyei
126 Followers 75 FollowingJosé Manuel Calderó.. @josecalderon
2K Followers 842 Following Director @HaskellFound , lecturer @umdcs. Jazz, music theory, compilers + privacy, sometimes I combine them. I can also be found @[email protected] I miss YorkshireJono Bacon @jonobacon
33K Followers 6K Following Runs the Community Leadership Core, the accelerator for reliable community engagement & growth every quarter. Wrote 'People Powered' (@harpercollins).henrik ingo ❤️�.. @h_ingo
2K Followers 3K Following Co-founder at @nyrkio - For Faster Software In addition to software performance, I may have opinions / experience on databases, open source, Ukraine...Darren Shepherd @ibuildthecloud
25K Followers 132 Following Chief Architect & Co-Founder @AcornLabs @GPTScript_ai Formerly @SUSE, @Rancher_Labs. k3s Creator. Member of The Church of Jesus Christ of Latter-Day SaintsPeter Farkas @FarkasP
280 Followers 223 Following Open Source advocate, entrepreneur, tinkerer. Co-Founder and CEO at FerretDB. Opinions are my own.nick @NickSeagull
744 Followers 0 Following Chief Meme Occultist @theagilemonkeys "Life is like chess, but without rolling the dice"NeoHaskell @NeoHaskell
179 Followers 0 Following NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivityJarred Sumner @jarredsumner
97K Followers 785 Following building @bunjavascript. formerly: @stripe (twice) @thielfellowship. high school dropout. npm i -g bunRyan Petersen @typesfast
185K Followers 1K Following Founder and CEO of Flexport, Venture Partner at Founders FundGlauber Costa @glcst
8K Followers 760 Following Former Linux Kernel, ScyllaDB, Datadog - storage, virtualization, low level stuff. Currently Founder/CEO at @tursodatabaseDavid Strachan-Olson @dstrachanolson
113 Followers 273 FollowingChef Reactions @ChefReactions
332K Followers 584 Following Extra Salty | Side of Sarcasm *BS allergy* that annoying, monotone chef from TikTokscott belsky @scottbelsky
130K Followers 2K Following helping the creative world make ideas happen. founder @behance, strategy/product/design @adobe, author, angel in startups the world needs. product obsessive.David Cramer @zeeg
11K Followers 547 Following the most authentic person you know - @getsentry ; shipping https://t.co/Z9pUTnVBto whenever the mood strikesMaurice Ashley @MauriceAshley
30K Followers 216 Following Grandmaster, author, motivational speaker. Pre-order my new book MOVE BY MOVE https://t.co/Xc3dZvIOmujess @_jessicasachs
14K Followers 3K Following FOSS nerd. @ionicframework, @faker_js, @cypress_io, @vuejs ecosystem alumJessica Livingston @jesslivingston
93K Followers 83 Following Cofounder, Y Combinator; Author, Founders at Work; Host, The Social Radars podcast.Mårten Mickos @martenmickos
32K Followers 174 Following On a mission to empower the world to build a safer internet. Believer in the freedom of speech.Erica Brescia @ericabrescia
18K Followers 2K Following MD @Redpoint. Previously, COO @GitHub, co-founder and COO @Bitnami, @xfactorventures. Board member @linuxfoundation. YC W13.Mark Kember @MarkyK
2K Followers 5K Following Head of Content at Onebite. PR and writing in equal measurebrianbehlendorf @brianbehlendorf
12K Followers 2K Following Also @[email protected] AI strategy @LinuxFoundation. BoD @Mozilla, @Filecoin, @EFF. Former ly GM @openssf, ED @Hyperledger, CTO @WEF, etc. He/him.Nir Gazit @nir_ga
1K Followers 978 Following CEO @traceloopdev (YC W23). Ex @Google, ex-chief architect @Fiverr. Tweets mostly in HebrewHindenburg Research @HindenburgRes
610K Followers 0 Following Popping bubbles as we see them. We express strong opinions. Not investment advice.It annoys me that I have to "install nix". Why can't it just be a binary.
@Iceland_jack i brought this up in the discourse. it's totally functionally useless and i'd like to see it gone
I LOVE Haskell...Haskell公式さん!!!?!?!!!!!!!!!!! haskell.org/?uwu=true
Haskellers can have a little UwU, as a treat. haskell.org/?uwu=true #Haskell
@hmemcpy lmao! theyll write a white paper about it, and defend it before they can decide on the logo
This is my favorite thing on the Internet today: github.blog/2024-05-02-int…
@sawaratsuki1004 We're working on it for Haskell 😄 github.com/haskell-infra/… Hope you are OK with my tweaks senpai 🙇
One of the best pieces of advice we got when starting @oxidecomputer was from an entrepreneur (and technologist) who has had multiple, outsized successes: "Don't fixate on dilution. A high percentage of zero is still zero."
For many commercial entities, their #opensource projects are a black box of data waiting to be discovered. Read about how @UnstructuredIO used data gathered through @scarf_oss to understand the value and real-world impact of their project: about.scarf.sh/post/scarf-cas…
It was great to show @geoffreyhinton foundation models meeting robotics at Covariant HQ!
Much of the groundbreaking advancements we've witnessed over the past decade, spanning from computer vision, speech recognition, protein folding prediction, and beyond, hinge on the deep learning work conducted by @geoffreyhinton, who has fundamentally changed the focus and…
🚀 It’s here! OpenTofu 1.7.0 is now officially out! 🚀 🔥 State Encryption, Provider-defined Functions, Declarative removed blocks, loopable import blocks, and much more! 🔗 Release: github.com/opentofu/opent… 📰 See our launch post: opentofu.org/blog/opentofu-… #OpenTofu #OpenSource
@avi_press @CFDevelop I'm currently using AI agents (for syntax completion) and curl collections and I consider them a big upgrade over a UI wrapper (which I have used extensively) This looks interesting