@chris__martin@functional.cafe
@chris__martin@functional.cafe avatar

chris__martin

@chris__martin@functional.cafe

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

jonty, to random
@jonty@chaos.social avatar

User: you charge me when people make unauthorised requests to an S3 bucket?

AWS: yes of course

User: but

AWS: working as intended

User: but

AWS: thank you for your money

https://medium.com/@maciej.pocwierz/how-an-empty-s3-bucket-can-make-your-aws-bill-explode-934a383cb8b1

maralorn, (edited ) to haskell
@maralorn@chaos.social avatar

After extensively using the library for half a year at work I have now played around with the library again. I am amazed by how much more helpful error messages are with . It’s an amazing library and I would recommend it over whenever you have the choice.

odrotbohm, to random
@odrotbohm@chaos.social avatar

“Our results suggest that improving code maintainability from very high to excellent pays off. The returns in the upper end of the quality spectrum are not diminishing — they are increasing. This underscores that exceptional code quality is not only a developer’s vanity metric.” — https://arxiv.org/pdf/2401.13407.pdf (PDF)

zanzi, to random
@zanzi@mathstodon.xyz avatar

judge: do you swear to tell the truth the whole truth and nothing but the truth

Gödel: sweating profusely

cadey, to random
@cadey@pony.social avatar

"No way to prevent this" says users of only programming language where this regularly happens

Amikke, to linux
@Amikke@qoto.org avatar

Jesus, I knew nixpkgs were a huge and well maintained repository, but not that it’s to that level, sorted by project up to date the top 6 repos are all nixpkgs, including 4 deprecated versions.

Arch and Gentoo users in shambles.

selfsame, to random
@selfsame@tiny.tilde.website avatar

software jobs are either 'you'll be writing verified machine code for pacemakers keeping thousands of people alive' or 'we need someone to add buttons with rounded corners to our website' and they both pay the same

dratir, to NixOS
@dratir@masto.ai avatar

TIL If NixOS services are not "isolated" enough, you can just put them in a container: https://search.nixos.org/options?channel=unstable&show=containers&type=packages&query=containers

eh, to NixOS
@eh@functional.cafe avatar

The last picture of my server before it went offline:

reloading the following units: firewall.service
client_loop: send disconnect: Broken pipe

I guess I won't be touching my networking.firewall settings again for a while. 😬

(The good news is that TIL how to use the recovery console to boot into an earlier configuration and recover my NixOS server. 😮‍💨)

tokudan,
@tokudan@chaos.social avatar

@eh you know about "nixos-rebuild test"? Switches to the new configuration, but doesn't set it to boot, so if you can trigger a reboot remotely, that would be enough to recover from a firewall incident.

boilingsteam, to linux
@boilingsteam@mastodon.cloud avatar
chris__martin, to random
@chris__martin@functional.cafe avatar

Programming with optics contributes a lot to feeling like the "library" portions of my code are complete and not just a shotgun blast of utilities

hungryjoe,
@hungryjoe@functional.cafe avatar

@chris__martin "Has One/Has One or None/Has Many/Is a Kind Of"

It's almost the exact same set of relationships you'd have in a UML Class diagram, except they're evidenced because the optics are actual real values, rather than a line on a whiteboard

vascorsd, to random
@vascorsd@mastodon.social avatar

Creating and modifying flakes using the FlakeHub CLI - https://determinate.systems/posts/fh-updates

DiazCarrete, to haskell
@DiazCarrete@hachyderm.io avatar

The library lets you construct queries using a monadic interface.

Interesting bit: "Rel8 has a fairly unique feature in that it’s able to return not just lists of rows, but can also return trees."

https://rel8.readthedocs.io/en/latest/cookbook.html#tree-like-queries

image/png

ATLpaul, to random
@ATLpaul@urbanists.social avatar

It drives me nuts when new multi-use (bike/ped) paths are designed like this. Why is it curvy? People just want to and walk in a straight line. Is there some planning class teaching them to design it like this? 😂

Google street view of the curvy path.

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