@DiazCarrete@hachyderm.io avatar

DiazCarrete

@DiazCarrete@hachyderm.io

This profile is from a federated server and may be incomplete. Browse more on the original instance.

DiazCarrete, to random
@DiazCarrete@hachyderm.io avatar

"'s design encourages a separation of build planning from build execution: evaluation of the Nix language produces derivations, and then then those derivations are built. This usually a great thing. It's enforced the separation of the more complex Nix expression language from the simpler derivation language"
https://github.com/NixOS/rfcs/blob/master/rfcs/0092-plan-dynamism.md

mangoiv, to random
@mangoiv@functional.cafe avatar

I somehow feel like the whole story about coercions both at the surface and at the core level in GHC is wrong.

  • The compiler spends an absurd amount of time in the Simplifier phase even for rather small programs using typefamily heavy programs
  • the whole story around roles is somehow weird (e.g. deriving via Generically doesn't work for trivial cases because of GHC having to assume nominal)
  • the type checker is completely overstrained with even extremely simple uses of coerce
DiazCarrete,
@DiazCarrete@hachyderm.io avatar

@mangoiv Handling coercions efficiently seems to be a tricky problem https://gitlab.haskell.org/ghc/ghc/-/issues/8095

DiazCarrete, to random
@DiazCarrete@hachyderm.io avatar
DiazCarrete,
@DiazCarrete@hachyderm.io avatar

Phases in Software Architecture (architectural pearl)
🔗 https://www.cs.ox.ac.uk/publications/publication15860-abstract.html
applicative functors, Day convolutions, oh my!

DiazCarrete,
@DiazCarrete@hachyderm.io avatar
DiazCarrete, to random
@DiazCarrete@hachyderm.io avatar

"Disco: A Functional Programming Language for Discrete Mathematics"
🔗 https://arxiv.org/abs/2308.06971v1
🔗 https://github.com/disco-lang/disco
Available on 🔗 https://replit.com/@BrentYorgey/Disco#README.md
language reference 🔗 https://disco-lang.readthedocs.io/en/latest/reference/index.html

b0rk, (edited ) to random
@b0rk@jvns.ca avatar

has anyone seen a really good analysis of the problems with git's command line UI? Would love to read it. for example:

  • git checkout is dangerous and has too many different jobs (though git switch is trying to fix that!)
  • for a tool that's supposed to make changes easy to undo, you actually need to learn a LOT of ways to undo

(not looking for git tutorials, explanations of git’s underlying model, or explanations of why you think git's UI is actually good, just an analysis of the problems)

DiazCarrete,
@DiazCarrete@hachyderm.io avatar

@b0rk The syntaxes <commit1>..<commit2> and <commit1>...<commit2> do different things in git diff and git log. Perhaps having a different notation for the diff case would have been bettter.

ChronRevisited, to random

George Morrow, discussing the truth behind AI on a 1986 "Computer Chronicles" episode:

"How could such names as 'expert systems' or 'artificial intelligence' ever have been coined in the first place? Well my theory was that in the late 50s, when university-based computer research was largely funded by the military, these names were invented to impress the granting agencies. As often as not, this type of research had little, if any, connection with reality. And the more ambitious the sound of the project, the better chance it had to be funded.

"Now much of today's AI-type software is quite novel and very useful. But none of these products will be able to live up to the image that the term 'artificial intelligence' invokes."

DiazCarrete,
@DiazCarrete@hachyderm.io avatar

@ChronRevisited It worked for Richard Bellmann and "dynamic programming".

DiazCarrete, to programming
@DiazCarrete@hachyderm.io avatar

Made a video about in which I give an example of the simplest possible Servant server.
🔗 📽️ https://youtu.be/YYmxAHWrFR4

WebAxe, to programming
@WebAxe@a11y.info avatar

Pro tip: if a disclosure button toggles between "show more" to "show less" or similar, you don't need aria-expanded. The state is already indicated. (This comes up again and again in audits.)

DiazCarrete,
@DiazCarrete@hachyderm.io avatar

@aardrian @WebAxe Are dynamic accNames bad?

  • All
  • Subscribed
  • Moderated
  • Favorites
  • megavids
  • kavyap
  • DreamBathrooms
  • thenastyranch
  • magazineikmin
  • vwfavf
  • InstantRegret
  • Youngstown
  • ngwrru68w68
  • slotface
  • Durango
  • tacticalgear
  • everett
  • rosin
  • anitta
  • khanakhh
  • osvaldo12
  • mdbf
  • ethstaker
  • tester
  • GTA5RPClips
  • modclub
  • normalnudes
  • cisconetworking
  • cubers
  • provamag3
  • Leos
  • JUstTest
  • All magazines