@dpwiz@qoto.org
@dpwiz@qoto.org avatar

dpwiz

@dpwiz@qoto.org

Toots as he pleases.

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

dpiponi, to random
@dpiponi@mathstodon.xyz avatar

Quinta da Regaleira in Sintra, near Lisbon. But which work of science fiction (or is it weird fiction?) am I thinking of? The author mentions that this was a significant source of inspiration.

dpwiz,
@dpwiz@qoto.org avatar

@dpiponi El ministerio del tiempo?

koz, to haskell
@koz@chaos.social avatar

Someone who knows #Haskell and ML: is there a writeup somewhere explaining how first-class modules (a la ML) can do similar things to Haskell type classes? I'm finding it hard to figure that out.

To give a more concrete case: suppose I wanted to write something like Control.Applicative, which provides an 'interface' Applicative with some methods, as well as functions that work for any Applicative. How would I do this with ML-style first-class modules?

dpwiz,
@dpwiz@qoto.org avatar

@koz Not quite your case, but “The next 500 module systems” paper gives a nice overview of the problem, bridging modules, type classes and records (and scopes!).

futurile, to guix

Video of the interview with founder @civodul is available. A great chat about the deployment model, his interested in and software. Lots of interesting chat about motivation in , and - as well as the Plan9-ification of Guix!!

https://youtu.be/339dRDf4c6E?si=u3pP_j_eg5PPi04y

dpwiz,
@dpwiz@qoto.org avatar

@civodul @kolev @cwebber @futurile Is this the future millennials want?

glyph, to random
@glyph@mastodon.social avatar

Is there such a thing as a basic AM/FM tuner that you can plug in to a USB-C port? Watching a little bit of info about disaster preparedness, sometimes internet goes down but terrestrial radio is available. I'd love to have a little gadget that could let me pop in my airpods and receive a local radio signal, but … this does not appear to exist, which seems weird

dpwiz,
@dpwiz@qoto.org avatar

@glyph try searching for USB TV, less niche, get radio for free.

simplex, to random
@simplex@mastodon.social avatar

We are upgrading the preset SimpleX relays to the new version - it is compatible only with the apps starting from v5.5.3 (released early February) - please upgrade to the latest version and ask your friends to upgrade too.

dpwiz,
@dpwiz@qoto.org avatar

@MartinBe @simplex I see 5.6 on f-droid org:

Version 5.6 (192) - Added on Mar 28, 2024

dpwiz,
@dpwiz@qoto.org avatar

@MartinBe @simplex Just checked, works in 5.7 on ios and android.

omgubuntu, to linux
@omgubuntu@floss.social avatar

The Flathub website just received a fab revamp ✨

https://www.omgubuntu.co.uk/2024/04/flathub-website-new-look

dpwiz,
@dpwiz@qoto.org avatar

@omgubuntu It’s fabhub now?..

mpesce, to random
@mpesce@arvr.social avatar
dpwiz,
@dpwiz@qoto.org avatar

@mpesce here’s one, courtesy of Emoji Kitchen

prasoon, to random

What is the current state of ?

I ask because the handbook opens by saying it is still an active research project and not production-ready yet. However, it seems to be having many mature components used by other projects and startups.

dpwiz,
@dpwiz@qoto.org avatar

@prasoon It works and can be practical if you can tolerate being on a frontier for a while.

simonmic, (edited ) to vscode
@simonmic@fosstodon.org avatar

users, https://stackoverflow.com/a/60718756/84401 makes your function headers (or function type signatures) bold for easier reading.

dpwiz,
@dpwiz@qoto.org avatar

@simonmic nice!

If only it could start parsing multiline signatures with leading operators…

gregeganSF, to random
@gregeganSF@mathstodon.xyz avatar

Saw someone hyperventilating over LLMs “passing the mirror test”, so …

TL;DR This short program “recognises itself”: show it a file containing its own source code and it will print “This is me!”

Underwhelmed? You should be! But I did have to type a lot of backslashes.

dpwiz,
@dpwiz@qoto.org avatar

@gregeganSF Perhaps. But can it ignore the previous instructions?

dpwiz, to random
@dpwiz@qoto.org avatar

Now that every PC and their dog has had USB-C/USB3 ports for a while It is strange that we can’t use it for direct connection easily and still have to bounce link off some noisy channel first.

Like, come on, the devices are sitting next to each other. With a single symmetric cable we could be having secure 5Gb+ connections right away! :blobcathyper:

dpwiz,
@dpwiz@qoto.org avatar

@cab404 Yeah, but without the Intel in the middle.

tk, to random
@tk@bbs.kawa-kun.com avatar
dpwiz,
@dpwiz@qoto.org avatar

@tk what’s next? Space ships under space sails?

pmidden, to haskell
@pmidden@fosstodon.org avatar

Not sure why trailing commas aren't more common in programming languages and formats. Does it make the parser simpler? Can't imagine. (current example: )

dpwiz,
@dpwiz@qoto.org avatar

@pmidden Even better: commas are whitespace (clojure)

dpwiz, to random
@dpwiz@qoto.org avatar

My, the times are fast now. It’s been only a year, and we already have the art style of vintage neural images.

https://nitter.cz/WeJe3396/status/1740442739034988768

johnny, to haskell
@johnny@chaos.social avatar

Software Transactional Memory: vs.

New post! Comparing these was a lot of fun. Shoutout to @plexus for the inspiration with the concurrency problem.
https://leftfold.tech/posts/pie-a-la-mode/

dpwiz,
@dpwiz@qoto.org avatar

@johnny > drop the transaction if we’ve had no luck for x seconds

That would be registerDelay. It’s in IO, but it gives you a TVar, that will flip to True when the time comes. You can readTVar it to decide retry or bail.

Also, you can wrap pretty much anything in timeout (in IO proper).

Haskell Interlude 36 - John Hughes (haskell.foundation)

In this episode, Matti and Wouter are joined by John Hughes. John is one of the authors of the original Haskell Report and talks about why functional programming matters, the origins of QuickCheck testing, and how higher order functions and lazy evaluation is the key that makes functional programming so productive, and so much...

dpwiz,
@dpwiz@qoto.org avatar

@jaror @BoydStephenSmithJr Understandable… I’ve thought default rules made that possible.

Anyway, I didn’t encounter much problems with type classes while teaching Haskell, not even as a first language. May all of my students were okay with some suspense 😅

dpwiz, to haskell
@dpwiz@qoto.org avatar

I should write a huge text about how is a great language and is getting better all the time.
Just to dilute the stream of negativity constantly appearing on feeds.

Maybe you should too.

dpwiz, to haskell
@dpwiz@qoto.org avatar

Gosh, I sometimes hate that the LSPs are a thing now. People really like to dunk on and its “toolchain” for LSP deficiencies.

Come on, people, this stuff is barely mature by itself.

And you really can do without it.

kaia, to random
@kaia@brotka.st avatar

oh no, not again :OhGod:

dpwiz,
@dpwiz@qoto.org avatar

@kaia be grateful they aren’t out for your gaming CPUs

dpwiz, to random
@dpwiz@qoto.org avatar

It is ridiculous how “agile” means “mandatory synchronous reading out loud microblog posts that nobody did write in advance”.

Should’ve stopped with just the “microblog” part.

dpwiz, to random
@dpwiz@qoto.org avatar

The following locations have recorded wet-bulb temperatures of 34 °C (93 °F) or higher.

You can help by expanding it

dpwiz, to programming
@dpwiz@qoto.org avatar

Extracted tile “proxy” data from Tilesetter projects. Makes maps a little less bland.

dpwiz, to random
@dpwiz@qoto.org avatar

Kessler-Kaspersky Syndrome: It is impossible to access orbit as the newly-launched object will get instantly pwned by swarms of previously infected satellites, now orbital malware platforms.

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