doyougnu
@do_you_gnu
Followers
124
Following
2K
Media
23
Statuses
994
PhD in programming languages. PL, FP, SAT solvers, Philosophy, and most importantly, dungeons and dragons. all views and claims are my own. (he/him)
Joined July 2009
@joomy This is a very hazardous false equivalence, and it gets trotted out every six months or so. There's an important difference between the items in those two sets. If I tell you, that say, this code only cares that some type argument is a Monoid, you know how to reason about it
7
16
157
FUNARCH 2025 call for lightning talks is up! Come give a 5-10 minute presentation about your hexagonal architecture, or the system that you've architected in a functional language, or your experience using FP in the large! https://t.co/kIM9usrxKI
0
1
1
Today is the day! Make sure you don't miss today’s deadline to submit to The Third ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large! https://t.co/8c4fGwJ4VK
#FUNARCH2025
0
2
2
Only a single week to go until the deadline on Monday, June 16th: Send us your paper on FP in the large - to the SIGPLAN Workshop on Functional Software Architecture! Happy Writing!
0
3
2
Only a little more than a month before the deadline on Mon. June 16: Send us your paper on FP in the large - to the SIGPLAN Workshop on Functional Software Architecture! Happy Writing! https://t.co/XozCdBfW9o
#FUNARCH2025
0
4
3
Website & CfP online for the Erlang Workshop, co-located with ICFP 2025 in Singapore. Submit your paper by 6th June! We look forward to bringing together scholars and practitioners working on Erlang, Elixir, BEAM, functional programming, and concurrency! https://t.co/rIBEDXGx7l
0
6
7
The Call for Papers for #FUNARCH2025 is open - deadline is June 16th. Send us research papers, experience reports, architectural pearls, or submit to the open category! https://t.co/ltXzIO8xGr
https://t.co/8D2i5VJJJg
1
7
3
We've extended the deadline for FUNRARCH 2024 to June 12th. Know something about what makes functional programming work in the large? Write it up! https://t.co/ApCegMr5gH
1
11
11
just too good to pass up, even on @elonmusk's @trashfuturepod
"How would you explain the concept of eigenvectors to a child?" asks @JayDeep_1729. A few years ago I tried to do something like that – to explain eigenvectors intuitively, in five minutes, with no pictures, just words.
0
0
1
Many thanks to @PaulMBittner instrumented the final touches and pushed the manuscript through and to @EricWalkingshaw and @ThomasThuem for all their hard work and support over the last 2 years! Congrats guys!
0
0
2
At long last my article Variational satisfiability solving: efficiently solving lots of related SAT problems ( https://t.co/X6DiVIaI44) has been published in Empirical Software Engineering! This is the most refined version of the VSAT work outside of my thesis!
link.springer.com
Empirical Software Engineering - Incremental satisfiability (SAT) solving is an extension of classic SAT solving that enables solving a set of related SAT problems by identifying and exploiting...
1
1
3
Hey, if you know any people who have lost their jobs recently that you think might be a good fit at Jane Street, please DM me! Personal recommendations from people I know can cut through a lot of noise.
5
26
124
Idris 2 version 0.6.0 has been released. For more details, see https://t.co/WHESziLSWC Enjoy!
3
30
111
It me
Haskell Foundation DevOps Weekly Update 2022-10-26:
0
1
2
The Haskell Error Index is a new community-driven source of documentation for error messages and warnings from Haskell tooling, inspired by Rust's error index and PHP's documentation site. If you can use Git and write Markdown, then you can contribute! https://t.co/0Smm3LI71e
discourse.haskell.org
The Haskell Error Index is a community-driven web site for improving the documentation of Haskell tooling. In the upcoming release of GHC, each error message or warning includes a unique code. This...
0
39
104
One of the largest adjustments has been changing my expectations of what typing feels like. Once I got over 20 wpm I realized that I expected my hands to move a lot when typing, but with dvorak my hands move _way_ less. Idk how much, but it feels like an order of magnitude.
0
0
0
dvorak, cold turkey day 5. I type at ~28 words per minute. Still nowhere near the 100+ I had with qwerty but its fast enough to have a normal workday. Even tho I'm slow Its obvious to me that dvorak is vastly better than qwerty.
1
0
0
dvorak, cold turkey day 3. I now type at ~22 words per minute but am still working the qwerty out of my hands. I'm pleasantly surprised at how nice some doom emacs keybindings are. For example, switching projects (SPC p p) is symmetric with magit status (SPC g g) now.
1
0
0