@6d03@mathstodon.xyz
@6d03@mathstodon.xyz avatar

6d03

@6d03@mathstodon.xyz

math. programming. fancy types. haskell.
https://6d03.info

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

paulrickards, (edited ) to genart
@paulrickards@mastodon.social avatar

More Truchet tiles, this time on a grid. These are so endlessly fun to iterate with.

CMYK archival inks on 11x15 watercolor paper using a vintage HP 7585B pen plotter generated and controlled with Python.

Added to my shop: https://shop.paulrickards.com/wildcards/

6d03,
@6d03@mathstodon.xyz avatar
trevorflowers, to retrocomputing
@trevorflowers@machines.social avatar

This is your friendly reminder that I make and sell delightful miniature retrocomputers like TRS-80s, Osborne Ones, and the occasional big friends like Connection Machines and Crays.
I'm a retired nerd who's living the dream. Well, if your dream is working in your garage on tiny art machines. 😺 ⚙️

https://store.transmutable.com/

A photo of a miniature retrocomputer, the TRS-80 Model III.
A photo of a miniature floppy disk organizer sized to fit micro-CD cards instead of floppy disks.

6d03,
@6d03@mathstodon.xyz avatar

@trevorflowers If you ever make a floppy disk box for regular sized SD cards, I'd be interested.

jon, to random
@jon@gruene.social avatar

Welcome to today's thread - South East Europe Day 05 03 Jun 2024 - Vilnius - Warszawa, onto night train

Crossing these borders:
Road border 🇱🇹 🇵🇱
Zebrzydowice 🇵🇱 - Bohumín 🇨🇿

These borders on the borders map:
https://umap.openstreetmap.fr/en/map/crossborderrail-all-the-borders_935041#10/54.2528/23.3199

Today's routes on the routes map:
https://umap.openstreetmap.fr/en/map/crossborderrail-all-the-borders_935041#10/54.2528/23.3199

6d03,
@6d03@mathstodon.xyz avatar

@jon @Taneb wouldn't that be reason to take them to court?

6d03, to haskell
@6d03@mathstodon.xyz avatar

Why is there no MonadFail instance for Either String in the prelude?

#haskell

clementd, to random French
@clementd@framapiaf.org avatar

Back on my bullshit

6d03,
@6d03@mathstodon.xyz avatar

@clementd you're taking this pretty far

6d03, to random
@6d03@mathstodon.xyz avatar

Onlineabstimmung: CDU stoppt Umfrage zu Verbrenner-Verbot wegen Manipulationsverdachts | ZEIT ONLINE https://www.zeit.de/politik/deutschland/2024-05/verbrenner-verbot-online-abstimmung-cdu

Die #Schneeflocke #Linnemann von der #noCDU kann's nicht fassen, dass ihm seine dumm-dreiste Kampagne auf die Füße gefallen ist.

Heul leiser!

chrisstoecker, to random German
@chrisstoecker@mastodon.social avatar

Was die Leute von der CDU/CSU übrigens eigentlich meinen, wenn Sie „Verbrenner! Verbrenner! Wir wollen Verbrenner!“ rufen ist: „Ideen! Ideen! Wir haben absolut keine eigenen Ideen!“

6d03,
@6d03@mathstodon.xyz avatar

@chrisstoecker

Ideen haben die schon, nämlich eine dumme, populistische Kampagne zu machen.

Das Framing der "Meinungsumfrage" (https://aktion.cdu.de/ja-zum-auto) ist übrigends auch entsprechend perfide: Auto=Verbrennerauto=Freiheit und dann noch Verbrennerautoindustrie=Arbeitsplätze

6d03, to berlin
@6d03@mathstodon.xyz avatar
ljs, to random
@ljs@social.kernel.org avatar

Another case where detailed commit messages really really help.

It blows my mind that any project decides not to provide detailed commit messages when the benefits are so massive...!
https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=1899ad18c6072d689896badafb81267b0a1092a4

6d03,
@6d03@mathstodon.xyz avatar

@liskin @ljs I suppose if you mostly use github to browse the codebase, you can rely on PR descriptions

6d03,
@6d03@mathstodon.xyz avatar

@ljs @liskin depends. at $work we squash all commits on PR merge, so it's the same granularity for us.

6d03,
@6d03@mathstodon.xyz avatar

@ljs @liskin it's certainly debatable, but it does simplify life in the sense that people don't have to worry about cleaning up their commits, which in my experience can get tedious.

6d03,
@6d03@mathstodon.xyz avatar

@ljs @liskin no worries.

6d03,
@6d03@mathstodon.xyz avatar

@liskin @ljs Do you have any pointers to best practice guides?

In my corporate auto-squash scenario I tend to write fairly detailed PR descriptions, which I then copy into the merge commit 🤷

Some, though not all of my coworkers apparently also do this.

6d03,
@6d03@mathstodon.xyz avatar

@liskin @ljs

I agree, having all the relevant information in commit messages would be ideal. But what do you do when your project already has its established workflows?

evawolfangel, to Cybersecurity German
@evawolfangel@chaos.social avatar

So, und hier ist jetzt auch mein aktueller Artikel, für den ich uneingeladen und teils unbemerkt interne Webex-Meetings der SPD besucht habe. Keine Frage, die Partei hätte sich um die Sicherheit ihrer Videokonferenzlösung kümmern müssen und unsichere Default-Einstellungen ändern. Aber dass Cisco nach unserem Artikel über die Bundeswehr nicht wenigstens seine anderen Kunden der "sicheren Behördenlösung" gewarnt hat, finde ich noch krasser.
https://www.zeit.de/digital/datenschutz/2024-05/spd-sicherheitsluecke-it-cybersicherheit
#Cybersecurity #webex

6d03,
@6d03@mathstodon.xyz avatar

@evawolfangel das ist doch alles noch neuland

crmsnbleyd, to haskell
@crmsnbleyd@emacs.ch avatar

how the hell do you add dependencies in Haskell stack, I add yesod to the build-depends in the cabal file like shown in the stack example but on running stack build it fails saying it couldn't find yesod, and then the line is removed from the cabal file. Haskell ecosystem is hell.

#haskell

6d03,
@6d03@mathstodon.xyz avatar

@crmsnbleyd because stack rebuilds the cabal file and overwrites your changes.

hongminhee, to mastodon
@hongminhee@todon.eu avatar

The max_id, since_id, and min_id parameters in #Mastodon's Timeline API assume that the post ID is a sortable number. (Is this correct?) #Hollo, the #ActivityPub implementation I'm building, uses UUIDs for post IDs internally, so I'm stuck on how to implement a Mastodon-compatible API.

https://docs.joinmastodon.org/methods/timelines/

#fedidev

6d03,
@6d03@mathstodon.xyz avatar

@hongminhee Did they finalize the RFC yet?

6d03, to haskell
@6d03@mathstodon.xyz avatar

This is a super cool idea: parsing SQL during compile time using #Haskell quasi-quotation.

Doing something like this had been on my todo list, when it turns out someone already thought of it 🤷

https://github.com/nikita-volkov/hasql-th

ilaba, to random
@ilaba@mathstodon.xyz avatar

RIP.

" “Jim was an exceptional leader who did transformative work in mathematics and developed a world-leading investment company,” says Simons Foundation president David Spergel. “Together with Marilyn Simons, the current Simons Foundation board chair, Jim created an organization that has already had enormous impact in mathematics, basic science and our understanding of autism. The Simons Foundation, an in-perpetuity foundation, will carry their vision for philanthropy into the future.” "

https://www.simonsfoundation.org/2024/05/10/simons-foundation-co-founder-mathematician-and-investor-jim-simons-dies-at-86

6d03,
@6d03@mathstodon.xyz avatar

@ilaba oh

6d03, to fediverse
@6d03@mathstodon.xyz avatar

federate decentralised #git repos through the #fediverse.

6d03, to haskell
@6d03@mathstodon.xyz avatar

fighting the urge to rewrite #nix in #Haskell

6d03,
@6d03@mathstodon.xyz avatar

it will be called #fix

6d03,
@6d03@mathstodon.xyz avatar

@Taneb that looks like it goes part of the way.

clementd, to random French
@clementd@framapiaf.org avatar
6d03,
@6d03@mathstodon.xyz avatar

@clementd 🤘

bagder, to random
@bagder@mastodon.social avatar

When in my car, I found myself in my car.

6d03,
@6d03@mathstodon.xyz avatar

@bagder 😁

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