We’ve just open-sourced an AD framework for Kotlin! (diffkt.org). It supports higher-order derivatives, derivatives of user-defined types, and compile-time shape checking. Examples include machine learning and physical simulations.
Follow
Click to Follow gafter
Neal Gafter
@gafter
Interested in programming language evolution (C++, C#, Java, Kotlin), and Bitcoin.
Neal Gafter’s Tweets
1. See failure as a beginning.
2. Never stop learning.
3. Assume nothing, question everything.
4. Teach others what you know.
5. Analyze objectively.
6. Practice humility.
7. Respect constructive criticism.
8. Take initiative.
9. Give credit where it's due.
10. Love what you do.
79
3,991
12.6K
venturebeat.com/ai/why-meta-an
" ... Meta’s Probability team was the “equivalent of an elite army tactical squad.” ... ."
Always happy to leverage the opportunity for a nested quote, especially if they are true at both levels.
1
6
40
1/ towardsdatascience.com/mass-layoffs-i
"Meta’s Probability Team, ..., was dissolved entirely. Reportedly, it was a world-class team of experts, but seemingly it lacked a sufficiently visible impact"
4
21
72
Show this thread
Wow seeing 's team being fired from #meta for saving them too much money puts a whole new perspective on how their only goal is to burn as much value as possible on the quest to the metaverse ericlippert.com/2022/11/30/a-l
2
4
Today on FAIC: A quick recap of the Bean Machine probabilistic programming language. Next week we'll start looking at the compiler.
1
5
14
Pattern matching in C# is growing 😲
In C# 11 you can use List Patterns like this
#dotnet #dotnetcore
read image description
ALT
read image description
ALT
4
19
Interesting talk from the #Devoxx 2022 youtu.be/w6hhjg_gt_M Inspired by the hack and click days from and . Nice job and
1
2
together with the comment. And now 2K results for the "Neal isn't either" search is yet another tribute to the great work (no irony here) had done for Java 1.5.0 (even if it's not the one he anticipated 🙈). 2/x
1
1
2
Type systems are an accessibility tool for programming with ADHD.
29
226
1,212
QAnon star Cirsten Weldon, who said only idiots get vaccinated,... and called for Dr. Fauci to be executed,... has died of Covid.
2,932
8,472
38.6K
Compiler design is definitely not for everyone but there is certainly a significant subset of programmers that truly love doing it and will spend their entire careers in that space.
Quote Tweet
Compiler design is like the plumbing of computer science. It's hard work and it's not a "sexy" trendy field but it will never stop being needed.
6
3
51
Show this thread
Attention Parents! 🚨
A teacher in Palm Beach County, FL shared this template with us. It is being shared among teachers to use for grades K-3.
How do you feel about this? What will you do when this arrives home in your child’s backpack?
Time to take a Stand.
4,591
5,113
9,154
🚨Announcement!🚨
JavaOne is back. Yes, you read correctly...#JavaOne IS BACK!
☕️ Join #Java experts at and the community.
☕️ Oct 16-20 | Las Vegas, Nevada
☕️ Sign up for updates: oracle.com/javaone
☕️ Blog: blogs.oracle.com/java/javaone-i
33
269
446
The ECMA C# committee is nearing release of a standard for C# 6.0. An important milestone is that it merges the C# ECMA standard and the Microsoft spec documents. The official source of truth is now in the dotnet/csharpstandard repository: github.com/dotnet/csharps. (1/3)
6
18
110
Show this thread
programmer: so there's some threads
software verification researcher: cool, with you so far
programmer: and they communicate with each other
software verification researcher: oh no
programmer: through some kind of shared state
software verification researcher: oh god oh fuck
27
247
1,939
People making jokes about the Facebook services going down make me sick. Anyone who was using an Oculus headset at the time is currently trapped in VR, and if they die there then they die in real life.
1,698
58.6K
348.6K
Show this thread
10 years ago today...
1
3
Replying to
The people that previously said, "Those with pre-existing conditions died from those conditions and not from getting COVID" seem to be the same people that say, "If you died sometime after being vaccinated, then the vaccine was the cause". Oh, the cognitive dissonance.
2
28
Still an atheist.
So much for that "prayer" thing.
Quote Tweet
58
25
297
Just saw this graphic from an anti-vaxxer and oh god they’re so close
read image description
ALT
653
18.5K
153.4K
Fun fact: of the 10 states with the highest per capita covid cases, 9 of them are vaccinated below the national average.
Of the 20 states with highest per capita covid cases, 16 of them are vaccinated below the national average.
It's almost like vaccines work or something🤔
10
14
109
Show this thread
At Starbucks in Purcellville with our box of rubber ducks to hand out to our Computer Science students. RT if you understand… cc:
3
35
73
It’s wild to me that all my family stories are like “you taught yourself to read when you were 2 and then you memorized the entire libretto of Gilbert and Sullivan & every kind of cloud formation by the time you were 4” and no one figured out I was autistic until I was almost 40
50
68
1,458
How to drive your calculus teacher mad (while deriving the period of a simple pendulum). Via A. Zee in “Fly by Night Physics”.
35
393
1,750
We made a $184,854 TV buy with this ad on Fox News this week. Fox News just denied airing our ad. Retweet and get it out in every corner of the country.
1,466
44K
42.3K
Show this thread
i told my housemate the vaccine knocked me out and he said "ah yes, set pfizers to stun" and friends, i am ANGRY
247
11.5K
81.6K
Show this thread
Social media posts claim that businesses aren’t allowed to ask customers if they’ve received a COVID-19 vaccine because of HIPAA. False.
HIPAA doesn’t prevent businesses from asking customers about vaccination status. Businesses could decline service.
5
100
202
🤣🤣🤣
17
45
324
Anti-maskers last year: Covid only kills 1% of people it infects, no need for lockdowns/masks!
Anti-maskers now: J&J has killed 0.000014% of people that have received it! Shut it down, it's not safe!
13
40
300
Plant a seed and if the conditions are correct you will see magic. twitter.com/ScienceVideos_
71
1,737
9,002