Tootfinder

Incredible work by @… getting @… parsed into @… (sound on):

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…

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…

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

The LOFAR Two-metre Sky Survey: The nature of the faint source population and SFR-radio luminosity relation using Prospector
Soumyadeep Das, Daniel J. B. Smith, Paul Haskell, Martin J. Hardcastle, Philip N. Best, Kenneth J. Duncan, Marina I. Arnaudova, Shravya Shenoy, Rohit Kondapally, Rachel K. Cochrane, Alyssa B. Drake, G\"ulay G\"urkan, Katarzyna Ma{\l}ek, Leah K. Morabito, Isabella Prandoni

The LOFAR Two-metre Sky Survey: The nature of the faint source population and SFR-radio luminosity relation using Prospector
Spectral energy distribution (SED) fitting has been extensively used to determine the nature of the faint radio source population. Recent efforts have combined fits from multiple SED-fitting codes to account for the host galaxy and any active nucleus that may be present. We show that it is possible to produce similar-quality classifications using a single energy-balance SED fitting code, Prospector, to model up to 26 bands of UV$-$far-infrared aperture-matched photometry for $\sim$31,000 source…

Why is Haskell so confusing?? 🤯 😰

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…

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

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…

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…

"#AudreyTang has served as #Taiwan's 1st Digital Minister since 2016, known for revitalizing #Perl and #Haskell,…

Open Source Beats Authoritarianism - How to Fix the Internet
The internet is broken—but it doesn’t have to be. If you’re concerned about how surveillance, online advertising, and automated content moderation are hurting us online and offline, the Electronic Frontier Foundation’s How to Fix the Internet podcast offers a better way forward. EFF has been defending your rights online for over thirty years and is behind many of the biggest digital rights protections since the invention of the internet. Through curious conversations with some of the le…

"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.

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…