Readit Newsaranchelk commented on Monoid-Augmented FIFOs, Deamortised pvk.ca/Blog/2025/08/19/mo... · Posted by u/todsacerdoti
> The identity element is zero
I think the identity element would be 1 for integers and multiplication, right?
0 would be the identity element for integers and addition.
That and also why start with multiplication? String concatenation, addition, list concatenation all make more intuitive sense to a working programmer.
What's a straightforward way to combine a bunch of numbers? Just keep multiplying them to get a resulting volume in an ever-higher dimensional space.
aranchelk commented on I tried every todo app and ended up with a .txt file al3rez.com/todo-txt-journ... · Posted by u/al3rez
I was also dissatisfied with existing task tracking apps, and built my own:
t-do.com
There are still many rough edges, but it’s extremely useful. One of the best features that a text file has that very few apps support is unlimited sub-task nesting, and that’s a core feature of T-Do.
aranchelk commented on Lens: Lenses, Folds and Traversals hackage.haskell.org/packa... · Posted by u/hyperbrainer
My biggest piece of advice for people using lenses is to ditch all the operators. Things like ^. or ^.. or ^? or ^@.. or even <<|>~ are all real operators. Yet they look like line noise. Nobody fully remembers them anyways. Just ditch all operators. Use named functions. The function toListOf is immediately clear what it's doing (that it takes a structure and a fold to convert to a list) but ^.. is not.
In general I avoid all custom operators and only use operators that are in packages preinstalled by the compiler (basically just base and containers).
I disagree. There are many operators that you’ll never use but if you memorize
(^.), (.~), and (%~), you’re pretty much set for a lot of real-world software development.
Per Kmett’s original talk/video on the subject, I can confirm my brain shifted pretty quickly to look at them like OOP field accessors. And for the three above, the mnemonics are effective:
“^.” is like an upside down “v” for view.
“.~” looks like a backwards “s” for setters.
“~%” has an tilde so it’s a type of setter and “%” has a circle over a circle, so it’s over.
I’ll also add that my experience in recent versions of PureScript things get even nicer: visible type application lets you define record accessors on the fly like:
foo ^. ln@“bar” <<< ln@“baz”
“.” Is unfortunately a restricted character and is not the composition operator like Haskell, but I alias “<<<“ with “..”
The pretty obvious question with the above is: why don’t you just write “foo.bar.baz”. In my case I use a framework that uses passed lenses for IoC, but I think “%~” is always nicer and less repetitive than the built-in alternative.
It’s wild how much the green color grading used in the film made the daytime location shots look un-Californian.
aranchelk commented on Cloudflare was down cloudflarestatus.com/inci... · Posted by u/datadrivenangel
Yep, KV is broken too. Any worker that depends on KV is throwing exceptions. I was able to get into the dash, but it's very slow. Error rates started to go up significantly around 18:00 UTC.
Edit: The CF status page has acknowledged it's a broad outage across many services: https://www.cloudflarestatus.com/incidents/25r9t0vz99rp
After many tries I also got into the dashboard, but it's not that usable, constant error pop-ups.
aranchelk commented on Cloudflare was down cloudflarestatus.com/inci... · Posted by u/datadrivenangel
Seems to be affecting functionality of their "Verify you are human" dialogs as well as Workers.
aranchelk commented on Nvidia pushes further into cloud with GPU marketplace wsj.com/articles/nvidia-p... · Posted by u/Bostonian
Isn't that rather stepping on the toes of your biggest clients - Microsoft, aws, gCloud, etc.
Customers of those services have a lot of considerations, as long as Nvidia doesn’t undercut the prices too much, I think no.
Getting more developers creating more models that can then be run on those services will likely expand business for all of those vendors.
aranchelk commented on Can you trust that permission pop-up on macOS? wts.dev/posts/tcc-who/... · Posted by u/nmgycombinator
On the off-chance someone at Apple reads this, I'll repeat my perennial beg that Apple stops popping up 'Give me your (local admin) password right now' dialogs randomly throughout the day because the computer has a hankering to install updates or something.
Anyone with basic skills can whip up a convincing replica of that popup on the Web, and the "bottom 80%" (at least) of users in technical savvy would not think to try dragging it out of the browser viewport or switching tabs to see if it is fake or real.
The only protection against this kind of stuff is to NOT teach users that legitimate software pops up random "enter your password" dialogs in front of your work without any prompting. That's what these dialogs are doing.
Display a colorful flashing icon in the menu bar. Use an interstitial secure screen like Windows does. Whatever. But the modern macOS 'security' UI is wildly bad.
I really appreciate the integrated fingerprint reader in these cases. I usually run with my laptop screen closed (with external monitor) but open it specifically to authenticate in system dialogs.
* Perspective of what it’s like working in other engineering disciplines.
* A clear and shared definition of what “engineering” is.
* Experiences shared by people who do apply significant math and science to their software authorship.