Richard Feldman
@rtfeldman
Followers
15,567
Following
688
Media
53
Statuses
1,751
Let’s go with the ambitious approach.
Philadelphia, PA
Joined September 2008
Don't wanna be here?
Send us removal request.
Explore trending content on Musk Viewer
Tim Walz
• 1144425 Tweets
Your Season By NuNew
• 341306 Tweets
Shapiro
• 287320 Tweets
ホロライブ
• 262030 Tweets
湊あくあ
• 225079 Tweets
Minneapolis
• 177789 Tweets
Australia
• 121421 Tweets
LISA FEAT ROSALÍA
• 121007 Tweets
National Guard
• 107651 Tweets
#LISAxNEWWOMAN
• 104770 Tweets
Olmo
• 95121 Tweets
George Floyd
• 74101 Tweets
#西園寺さんは家事をしない
• 68820 Tweets
Aqua
• 63425 Tweets
あくたんの卒業
• 60213 Tweets
Deco
• 50882 Tweets
#WonderFOURyearswithTREASURE
• 48479 Tweets
#빛나는_트레저_4번째_생일축하해
• 48106 Tweets
卒業発表
• 33058 Tweets
Serbia
• 30108 Tweets
方向性の違い
• 29570 Tweets
ギラホス
• 22383 Tweets
アドゥワ
• 20041 Tweets
ホロメン
• 17764 Tweets
対象2作品
• 17283 Tweets
Jokic
• 15041 Tweets
Pinned Tweet
If you're curious about what it feels like to use
@roc_lang
or
@zeddotdev
, have I got a video for you!
This is me live-coding a Roc CLI and web server in Zed, explaining as I go:
Thanks to Func Prog Sweden for hosting the event and editing the video!
0
25
186
In the past 15 years, every language that's gone mainstream is either:
- Not OOP (e.g. I wouldn't call Go or Rust Object-Oriented), or...
- Unavoidably OO because it deeply integrates with an existing OO language (e.g. Kotlin, Swift, TypeScript)
Is OOP becoming legacy tech? 🤔
140
53
814
I'm joining
@zeddotdev
in June!
I've been absolutely loving this editor—everything feels *so* fast, Vim mode is built in, and multiplayer editing is now my favorite way to collaborate on code in realtime.
I am SO STOKED to be a part of building the world's best code editor! 😍
39
19
618
Someday I may look back on this as the biggest thing that ever happened in my career. I can't possibly exaggerate how excited I am!
Beginning in April...well, you'll see:
35
64
411
fans of C++/Java/Rust/TypeScript generic types syntax reacting to Lisp
9
38
347
Lifetime first: 1 million views for a programming talk! 😃
21
20
282
After 9 glorious years, last week was my last week at NoRedInk.
My time at NRI has been nothing short of transformative for me, and I've felt ridiculously fortunate to work with so many great people. I've made more friends there than anywhere else I've worked.
Reminiscing time!
21
6
275
I've been binge-watching
@cmuratori
's (paid) and I recommend it to every programmer I know, regardless of experience level.
I can't think of any other learning resource that is this outrageously useful and at the same time so approachable.
Please try it!
6
31
262
Had a great first day at
@zeddotdev
! 😃
Got to collaborate with a bunch of awesome people on a product I already love...really excited to help it become even more amazing! 😍
16
4
261
Every programmer has a choice.
You can use your powers for good, or you can use your powers to disable paste on form fields.
5
20
247
If changing X should change Y in the same way, then X and Y should share code.
If changing X should not change Y in the same way, then X and Y should not share code.
Duplication can cause bugs in the first case and prevent bugs in the second. It's a tactic.
DRY is misadvice.
18
38
241
Check it out! 😃
8
22
196
This is a talk I've always wanted to exist…and now it does!
"Functional Programming for Pragmatists"
Diving into the *specific, observable tradeoffs* of functional programming compared to imperative. Not just my subjective opinions; objective facts!
4
33
176
Web form: Please enter your email address.
Me, typing: r
Web form: ERROR ERROR THAT IS NOT A VALID EMAIL ADDRESS WHAT ARE YOU DOING
4
8
158
Whoa!
If
@elmlang
is widely-known enough even outside programming circles for the editors of the New York Times crossword puzzle to greenlight it as an answer...
...does that mean Elm is officially a Mainstream Programming Language now?
4
19
155
4
25
153
I wrote a thing!
"Functional Semantics in Imperative Clothing"
It explains how code that's 100% pure functions can result in I/O, the practical benefits of doing I/O that way, and how some new syntax for that style can make it look totally imperative.
18
25
153
This is the first time I've shared my lifetime biggest-ever side project in a conference talk.
Huge thanks to everyone who has contributed so far, and super excited about the future! 😻
10
29
153
Does anyone know the reasoning for designing the Language Server Protocol to be server-like?
Like why is it inter-process RPC instead of, say, a spec for a C interface that could run in the same process?
I can guess, but if anyone knows better than speculation I'd love to hear!
45
3
151
The technique
@roc_lang
uses to compile closures to direct calls that don't need heap allocations is something we learned from
@exists_forall
awhile back. ❤️
Now he and others have gotten a PLDI paper accepted about it! Congrats, and well deserved! 🎉
7
10
135
So
@roc_lang
has a WIP "development backend" that skips LLVM and directly generates machine code. (For speed!)
It just reached the milestone of running a 2k LoC real-world Roc program.
Total compilation time was 3.5x (as in 3500%) using LLVM. This is LLVM with no optimizations.
8
11
127
I'm hosting a weekly podcast! 😃
It's casual conversations about programming topics with a variety of guests. A new episode every week!
Here's the first one:
Our first episode is out! 🎉
This one has
@rtfeldman
,
@jessitron
, and
@julianobs
discussing Observability.
What do you think about the $$$ numbers Juliano mentions regarding logging costs? 🤑 How do they compare with what you'd expect to pay?
1
5
25
7
16
115
Are you planning to do
#AdventOfCode
2022? Want to try a bleeding-edge language that's fast, friendly, and functional? If so, consider trying
@roc_lang
!
Here's a quick guide to get started with Roc for Advent of Code:
4
34
114
I value user experience, which means I value performance.
For most of my career I didn't know what a "cache line" was, or how dramatically certain memory details affect how fast code runs. I wish I'd known sooner!
This talk teaches that stuff. I can't recommend it enough! 😍
2
11
107
I wrote about numbers in programming languages!
"0.1 + 0.2"
5
20
107
My experiences using type-checkers "in anger" at work, ranked from least to most anger experienced by me as a user of the type-checker:
1. Elm 😍
2. Rust (borrow checker is a different story…)
3. Java
4. Scala
5. TypeScript 🤬
8
7
104
Sometimes there's actually a happy ending to HN comments. 😄
1
2
104
I'm working on a talk about a functional programming effect system.
If you were watching the talk, what are some effect systems you'd be interested to see it compared to?
26
7
97
Now I can use Zed for not only all my
@rustlang
development, but also all my
@roc_lang
development too! 😍
Thanks, Alf! 🙌
Thanks to Alf Richter for creating a Roc extension for
@zeddotdev
- it has both a language server integration and tree-sitter grammar for syntax highlighting!
0
2
48
2
5
97
Unpopular observation: a sustainable way for people to be compensated for the useful software they make is for the license to say "in order to use this software, you have to pay me."
I like making stuff and giving it away, but I think that option should be culturally acceptable.
4
8
93
I know it's common to lament how we can't have nice things, but…
…at NoRedInk we do have nice things! Things like
@elmlang
,
@haskell_lang
, and
@nixos_org
. 🤩
We sell software for teachers, not ads, and we have millions of users.
Sound interesting?
8
25
85
Additional facts:
1. We ended up being (unexpectedly, for pandemic reasons) profitable in 2020; we raised so we can grow faster.
2. We use
@elmlang
,
@haskell_lang
, and
@nixos_org
. We're a functional business!
3. We're hiring!
6
14
78
I dunno, but if you'd like to use
@elmlang
and
@haskell_lang
at work (zero prior experience in either required)
@noredink
is hiring!
We make software that helps English teachers, we're profitable, and our people are even nicer than our tech stack. ♥️
3
20
78
HN commenters: "All software has tradeoffs, everybody knows that. Whatever upsides it has, there are downsides too."
Also HN commenters: "I don't understand why anyone would ever use another systems language now that Rust exists."
5
5
72
TIL someone quoted me in the Wikipedia article about Object-Oriented programming.
6
1
70
I had an *amazing* time at Software you Can Love in Milan! 😍
Great talks, great company, great vibe…one of my all-time favorite conference experiences. No notes.
Also, I used
@zeddotdev
on an M1 Mac for the entire 7 hour flight home and still had 1/3 battery when I landed. 😂
2
4
69
Last episode of 2023...see you in 2024 for more! 😃
1
14
85
3
1
68
Want to work remotely making software that helps students master writing?
Using
@elmlang
and
@haskell_lang
, even if you've never tried either? (No prior FP experience necessary!)
I've been at NoRedInk for 7 years and it's still awesome. We're hiring! 😃
1
24
68
So it's the end of a 9-year chapter in my life, and I have a lot of wonderful memories to look back on.
I'm also excited about the next chapter, but that's for a future post. 😄
6
0
67
Less than a week to go!
I'm planning to live code
@roc_lang
the entire time (explaining the language as I go) in
@zeddotdev
using the shiny new Roc extension that just landed. 😁
If there's anything you'd like to see me cover, let me know!
Introduction to Roc Progamming Language by
@rtfeldman
at Func Prog Sweden
Register for free and read more at:
And you can join from anywhere as we are live streaming.
#funcprogsweden
#functionalprogramming
0
5
24
1
4
66
Messages on - the tallest spike was when was on the front page of Hacker News, and the spike right next to it is Advent of Code starting.
I had a general sense that there was a big uptick in activity, but it's cool to visualize it!
2
3
66
I did a fun 2-part interview about
@roc_lang
with
@contextfreeinfo
and the CodeNextDoor YouTube channel - check it out!
Part 1:
Part 2:
0
11
60
If you've been enjoying
@sw_unscripted
, please help share it so others can find out about it!
It doesn't have a marketing budget, so word of mouth is essential. 😄
7
24
58
Me, a sweet summer child: "This greenfield repo for Roc <-> TS interop needs some tests, might as well add a test runner from npm. I bet that process has gotten really simple, I'll have it use modern stuff like TS and modules…"
Me, an hour later: $ touch
6
2
57
Whoa, TIL about !
Also, it's really cool to see a modern tool I've never heard of generating code that uses a package I wrote 7 years ago...it's so great when a design holds up over time! 😍
1
4
54
I'm SO EXCITED to be giving a keynote at this year!
I love small community conferences like this, and it will be the first conference to formally feature
@roc_lang
talks. 😍
Can't wait to meet up with everyone in person—not to mention great 🇮🇹 food! 🤗
3
6
55
😍 A second
@roc_lang
talk at this conference:
"Nea: A webserver that never allocates" by
@flokkievids
!
See you in Milan!
New upcoming Software You Can Love talk!
Linking can be fast (if you cheat): Roc's Surgical Linker by Brendan Hansknecht
0
3
34
0
3
55
If any brave souls want to try Advent of Code in
@roc_lang
(with all that comes with using a bleeding-edge, doesn't-even-have-a-version-0.1-release-yet language) DM me your GitHub username and I'll add you!
(To be fair, we do have plenty of folks in chat happy to help you out!)
6
11
55
@josevalim
this wasn't what I built on my first day, just a coincidence. 😁
Run your Elixir tests easily with new runnable tasks for modules, `describe`, and `test` blocks.
Elixir fans, what else would you like to see in a top-notch Zed integration?
13
15
142
1
1
54
My talk from Philly ETE 2023 is up!
"Calling Functions Across Languages" - if you've ever wondered how NumPy makes calls to FORTRAN code, this talk gets into the bits and bytes of how that stuff works under the hood, and how you can do it yourself!
0
10
53
I remember a few people were asking if the talk I gave at
@HoustonFPUG
was recorded...it was, and now it's posted!
2
16
51
I'm planning to live-code some
@roc_lang
in this and explain the language from the absolute basics - should be lots of fun! 😃
Introduction to Roc Progamming Language by
@rtfeldman
at Func Prog Sweden
Register for free and read more at:
And you can join from anywhere as we are live streaming.
#funcprogsweden
#functionalprogramming
0
5
24
1
2
50
One of the best programmers I know recently finished University. (After pair programming with him, I'd guess his title was Senior Engineer if I didn't know better.)
Anyone looking to hire someone like that?
He's strongest at Rust, Elm, and Haskell. Remote from the Netherlands.
4
13
47
"I'm concerned about AI instantly putting decades-old companies out of business."
(Sees an ad for tax filing software made by a company that spends a fortune lobbying to prevent tax code simplifications.)
"Okay some decades-old companies can instantly go out of business."
3
0
46
😍 that write-in towards the end of the squiggle
Come and scribble on our timeline! We want to see YOUR ideas about
#functionalfuture
🚀
#lambdadays2023
#codesync
1
9
25
3
2
47
Consider these three terms for describing programming languages:
1. "scripting language"
2. "interpreted language"
3. "dynamic language"
What do you personally think of as the differences between them?
Like what makes a language count as 1 or 2 of these but not all 3?
38
6
45
As for me, when I joined...
- I had never contributed to any open-source project
- I had never written a blog post about programming, let alone a book
- I had never participated in any podcast
- I had zero recorded conference talks to my name
- I had never written a line of Elm
2
1
44
I like the idea of trying to (approximately) quantify the cost of microservices.
"You could address Conway's Law by splitting up your code base according to your org chart using either:
(A) modules, or
(B) servers at ~10x the cost and ~15x the latency
...which sounds better?"
Towards Modern Development of Cloud Applications
"microservices conflate logical boundaries (how code is written) with physical boundaries (how code is deployed)."
"we propose a different programming methodology"
"Our implementation reduces application latency by up to 15x and
98
419
2K
4
6
44
Does anyone have a story where all 4 of the following were true?
1. A complex application was built
2. The primary reason the application was built was for end users to use it (so, the goal was not research)
3. Dependent types were used to build it
4. They proved very helpful
8
4
44
I forgot to mention: we're a fully remote company, and we hire outside the US - including all timezones between (and including) Pacific US Time and Central European Time!
For example, the 4 people on my immediate team are in 🇧🇷🇨🇦🇬🇧🇺🇸.
I know it's common to lament how we can't have nice things, but…
…at NoRedInk we do have nice things! Things like
@elmlang
,
@haskell_lang
, and
@nixos_org
. 🤩
We sell software for teachers, not ads, and we have millions of users.
Sound interesting?
8
25
85
1
6
43
Since GPT-4 came out, I've heard a lot of perspectives on AI's impact on the next decade of programming.
So far this has been the most thought-provoking. It's not a line of reasoning I had even considered.
I strongly endorse this sentiment.
(And I would happily bet against anyone believing total employment of engineers in US or median compensation of new hires at AppAmaGooFaceSoft declines over next 10 years.)
23
38
610
4
5
44
I would not want to be a Zoom competitor focused on ergonomic screen sharing/pair programming on the day Zoom's engineering team gathers its collective might and spends 6 minutes figuring out a design allowing someone who's screen sharing to reliably hide the control bar.
1
1
42
I've seen a lot of "static versus dynamic versus gradual" discussions blow past majorly impactful tradeoffs in favor of personal-preference arguments.
This talk gets into some of the important tradeoffs I see missed:
5
8
42
I got a nice surprise when watching
@krisajenkins
interview
@nathansobo
- I'm not gonna spoil what it was, because it's a sweet interview and you should watch it! 😄
2
4
40
So far the answers to this question have ranged from "it's a disaster, don't do it" to "works great for me right out the box" which is I guess what I should have expected for a Linux question. 😄
3
0
39
Are you primarily a JavaScript or TypeScript programmer, and interested in learning Rust?
If so, I'm curious what specifically interests you about it - is there something you want to build using Rust, or do you want to learn it for the sake of learning alone, or something else?
18
1
39
I want someone to talk me into trying a certain Linux distro again, but to spice it up a little, instead of mentioning it by name I'll post the incantation which summons the endorsements. Here it is: (and it's a true story)
"I did a routine Ubuntu upgrade and now it won't boot."
21
0
39
I've been paying for editing of
@sw_unscripted
out of pocket for over a year now, and it's starting to add up. I'd like to start looking for a sponsor.
I'd also appreciate any advice from anyone who knows this side of the podcasting world! Here are some analytics, if that helps.
8
9
39
[almost every web app I use]: "Hello again, you are still authenticated because you didn't log out since last time, and this is not a bank."
[chatGPT, several times/week]: "I don't know what happened to your auth token. It's gotta be around here someplace. Can you log in again?"
3
2
38
Is there a term in programming for a collection like "nonempty list" or "nonempty array" that's more concise than those? (e.g. doesn't have "nonempty" in it)
31
1
38
Flying out to Milan for - extremely excited to see everyone! 😃
By the way, there's going to be a livestream at that link once the talks start. 👆
1
3
37
Does anyone know the origin of the programming advice "only test the public interface, never internal implementation details?"
Another way to ask this: what's the earliest published work you know of which mentioned this advice?
13
2
36
This is SO COOL!!! 😍
Amazing work,
@bosyluke
and
@bhansconnect
! 🎉 🎉 🎉
Write
@wasm4_org
games in Roc! 🔥
Example games:
🐍Snake
🔊 Sound generator
Bonus: a tip about hot code loading on it:
Created by
@bhansconnect
and
@bosyluke
! 🎉
0
6
54
0
2
34
I'm sure someone has said this already, but I hear there's a bunch of buzz around Signals in the JS ecosystem…been there!
Take a look at this for a next logical step?
…and then of course there's taking it to the final level with
1
3
36
I really enjoyed putting this talk together - thanks to everyone who attended, and to
@ChariotSolution
for hosting!
Happy Friday! Here's a brief introduction to Roc, plus some demos of what we've been working on.
2
11
50
5
6
35
Back when I joined in 2013:
- NRI was 6 Americans, 5 of us in the same office (now 100+ employees across 4 continents)
- We supported Internet Explorer 8
- TypeScript was far less popular than CoffeeScript
- A controversial new JS library had recently been released, named "React"
1
1
34
I'm thinking about getting a 4K monitor for use on a desktop machine that will run Linux.
How much pain am I in for when trying to get Linux to use HiDPI today?
(Lots of answers I've found online are from multiple years ago and I'm not sure what's changed!)
30
1
34
I'm looking for a graph of the total number of software developers in the world for the past 20+ years (further back it goes the better!) - can anyone link me to a good one?
5
8
34
A guided tour of the different parts of the Roc compiler - check it out! 😃
For those of you planning an uneventful, nerdy evening
1
5
41
2
6
33
I want to switch away from Google Slides. Can anyone recommend slides software you like?
I'm looking for:
* Native offline desktop app
* Animating elements, not just slides
* WYSIWYG editor (I don't like to code my slides.)
(I know about Keynote, PowerPoint, and LibreOffice.)
20
1
32
There's a study about programming names (specifically abbreviations) where they looked at how long it took people to read and understand code based on varying the lengths of identifier names.
Anyone have a link to it?
6
3
32
"ML family" languages are languages like Haskell, Elm, OCaml, SML.
If you've used a ML family language professionally for at least 1 full year, I'm curious:
…is your favorite type system to use professionally a ML family one? Or a non-ML-family one?
24
5
30
Is anyone familiar with any research on (I'm not sure if there's a term for this, so I'll make one up) "model poisoning attacks" - where attackers try to infect AI training sets with malicious code, in hopes that something like Copilot will inject it into someone's code base?
6
3
31
Let's say I have a dynamically typed language, and I introduce an optional type-checking step. I never have to run it.
It's common to focus on benefits here, as if there's no downside, but surely some exist.
What have I given up by introducing the possibility of checking types?
35
4
29
A new category of experience report we can expect to see more frequently now:
3
6
30
Have you ever used a dictionary type that maintained insertion order?
If so, what was the use case you wanted it for?
33
1
29
😂
Now that the big news is out, I can share the behind-the-scenes story with the world! 😂
7
4
81
0
1
30
I've honestly never considered this perspective. 🤔
Act on press
This is a UI design hill I will die on, and it dismays me how often and hard I have had to fight for it.
Almost all interaction methods have a “press” and “release” event associated with them. Whenever possible, you should “do the thing” when you get the press
430
983
6K
5
1
29