Tootfinder

Heute habe ich Haskell endlich dahingehend bezwungen, dass mein xmonad jetzt selbst erkennt, ob ein zweiter Monitor angeschlossen ist. Sogar im laufenden Betrieb, ohne xmonad neu zu starten. https://github.com/texttheater/xminid/commit/08d56c6b5c9e6…

Dynamically determine number of screens · texttheater/xminid@08d56c6
Minimal xmonad configuration with panels for Ubuntu - Dynamically determine number of screens · texttheater/xminid@08d56c6

If you're on an online community, please search "elephant in the room" and share what the elephants are.
Here's the ones from the future of coding slack:
- DCI architecture (not sure what that is)
- Haskell crypto
- Code quality
- Incoherence of ownership
- No one in UK government listens to evidence
- Functional reactive programming
- IDEs
- Browsers being crap at resizing in tiling window managers
- The elephant being the…

Why is Haskell so confusing?? 🤯 😰

QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck
Robert Krook, Nicholas Smallbone, Bo Joel Svensson, Koen Claessen
https://arxiv.org/abs/2404.16062

QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck
This paper introduces a new parallel run-time for QuickCheck, a Haskell library and EDSL for specifying and randomly testing properties of programs. The new run-time can run multiple tests for a single property in parallel, using the available cores. Moreover, if a counterexample is found, the run-time can also shrink the test case in parallel, implementing a parallel search for a locally minimal counterexample. Our experimental results show a 3--9$\times$ speed-up for testing QuickCheck prop…

TIL that there's #ImplicitCAD, a sort of #OpenSCAD dialect that's based on #SDF's, written in #Haskell

GitHub - Haskell-Things/ImplicitCAD: A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation... - Haskell-Things/ImplicitCAD

C-minimal fields have the exchange property
Will Johnson
https://arxiv.org/abs/2403.17478 https://arxiv.org/pdf/2403.17478

C-minimal fields have the exchange property
We show that C-minimal fields (i.e., C-minimal expansions of ACVF) have the exchange property, answering a question of Haskell and Macpherson. Additionally, we strengthen some theorems of Cubides Kovacsics and Delon on C-minimal fields. First, we show that definably complete C-minimal fields of characteristic 0 have generic differentiability. Second, we show that if the induced structure on the residue field is a pure ACF, then polynomial boundedness holds. In fact, polynomial boundedness can o…

"I have worked pretty extensively with all three of cabal, stack and Nix throughout my career and my intuition based on that experience is that the only improvement to the Haskell command-line experience that is viable and that will “win” in the long run is one that is directly upstreamed into cabal. It’s just that nobody wants to do that because it’s not as glamorous as writing your own build tool."
As I say, hardly anyone wants to do the boring work. Me neither.

not to be mean, but watching ThePrimagen reaction content seems pretty helpful against my #imposterSyndrome (or whatever the equivalent is when you don't actually have any professional success and you have kinda given up on it).
like "that guy knows Rust and Haskell, he must have, like, 20 brains, how does he not know all this?"
it's silly of course, but it…

I just submitted a grant proposal on "Functional multi-objective optimization under uncertainty" https://patrikja.owlstown.net/posts/2305
I hope to get some research funding for work (using Agda, Haskell, Domain-Specific Languagues) well aligned both with the "P…

I'm building the #NixOS #GNOME 46 update locally to help test it and my CPU usage graph is now a solid block because of how long the CPU has been at 100% utilisation.
Who would've guessed rebuilding 3000 packages written in Rust, Haskell, C and JavsScript could be computationally expen…