@alanz@social.coop avatar

alanz

@alanz@social.coop

This is my main activitypub profile.

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

kosmikus, to haskell
@kosmikus@functional.cafe avatar

Well-Typed is releasing the materials for my video-based intro course to the public, starting today and continuing over the next few weeks. Initially, parts 1 (Introduction) and 2 (Datatypes and Functions) are available.

https://well-typed.com/intro

grimalkina, to random
@grimalkina@mastodon.social avatar

So many "developers produce more quantities of code with copilot" studies so few "the patterns of interleaving and retrieval change depending on active vs passive consumption of generated solutions and we have like fifty years of research on this in learning science and so maybe we can apply it to make good recommendations about the best usage of generated work output" studies

sue,
@sue@glasgow.social avatar

@grimalkina Something I've wanted for years is a positive linter, a code linter that gives positive feedback or at least more constructive errors lol. I feel like these technologies have the potential to make an experience like that happen, and to generally make the coding environment better optimised for learning! Am imagining being able to give little contextual nudges that go beyond the syntax in a single line or file, maybe prompting folk to share a reflection, etc.

hazelweakly, to random
@hazelweakly@hachyderm.io avatar

One of the hardest things for people to understand with distributed systems is that eventual consistency is the same thing as eventual inconsistency. The very same pattern that lets you non atomically deal with things also ensures that eventually you'll have a system that doesn't match your understanding.

Resources will go stale, things will go missing, stuff will exist without ever having been created, and data will be destroyed that never got manifested.

w8emv,
@w8emv@hachyderm.io avatar

@hazelweakly “We build our computers the way we build our cities—over time, without a plan, on top of ruins.” Ellen Ullman

grimalkina, to random
@grimalkina@mastodon.social avatar

Ok enough me complaining about research that I want to read not existing (https://mastodon.social/@grimalkina/112576085634643142), let's do something actionable.

So you're in an engineering org using something like Copilot. You want tips from science so YOU feel you are using them in a way that is efficient & grows your skills vs muting them. Or you want to help colleagues.

(Even if you profoundly disagree w/these tools, there is benefit in a harm reduction approach & knowing what helps the humans right here right now)

grimalkina,
@grimalkina@mastodon.social avatar

Let's start with some basics that can help you across MANY situations: misconceptions we have about learning!

Think of using these tools as "active learning," not passive. Passively consuming content over and over again is fundamentally inefficient. We "rob ourselves" of the opportunity to learn in the future every time we don't actively reconstruct. Try generating a part of a solution and then writing the next part yourself, and then seeing if the tool generates something similar.

grimalkina,
@grimalkina@mastodon.social avatar

Learners with great self-regulation practice reflection. This is another thing we avoid, but where a tiny investment pays off wildly.

Taking fifteen minutes for reflection can wildly strengthen your metacognitive skills. This is how you figure out what your own "deliberate practice" could be. This can be simple. List a small number of things copilot was great at and a small number it wasn't. Explain it to someone else. You'll start to force yourself to be aware of your own mental models

liaizon, to random
@liaizon@wake.st avatar

Woah @dominic Tarr has joined the fediverse! Welcome here old friend!

abcdw, (edited ) to random
@abcdw@fosstodon.org avatar

I always a bit shy asking for support in general or talking about funding FOSS projects in particular, I didn't even have a direct link to support page on my site.

Today I realized that it's not ok and from now on I need to be more open and explicit on the problem of FOSS funding. I started with updating my site index page.

https://trop.in

I genuinely grateful to all the people, who already bolster me and related projects no matter how hard it was to find a support page :)

abcdw, (edited ) to hosting
@abcdw@fosstodon.org avatar

TIL about infrastructure cooperatives. Many of their ideas reasonates with my thoughts and the thread I started earlier 1. Here is a list of links to some of such coops and related resources:

#coop #hosting #cooperative #cooperation #SelfHosting #selfhosted

strypey, (edited ) to til
@strypey@mastodon.nzoss.nz avatar

#TIL about this site, which summarises findings from dozens of trusted online sources, and gives visitors information to help us decide whether the site at a given web address is dodgy;

https://www.islegitsite.com/

impactology, to random
@impactology@mastodon.social avatar

So interesting, segmenting video via mindmaps instead of timestamps
https://akomaps.com/

"Ako Maps is a suite of learning tools that links visual diagrams to video lessons.. Ako Maps can be 'linked' to lessons. Browse the map, then click a topic to navigate directly to that topic in the video"

girlonthenet, to random
@girlonthenet@mastodon.social avatar

Tonight I went out with a friend to do what I’ve started describing as our ‘comfort walk’ - it’s a fun, simple 8 miles or so on a route we know well and love. It’s healing to have a proper heartfelt catch-up, and in between Big Life Updates I really enjoy the ritual of having almost scripted, familiar chat as we pass each of our favourite landmarks.

girlonthenet,
@girlonthenet@mastodon.social avatar

We talk a lot about comfort food, but I think I also have a lot of comfort activities. A particular walk, film/book, ritual ... whatever... that feels comforting and safe and like home.

What are your comfort activities?

They’ll probably mean nothing to me, but I’ll fav lots of them anyway and perhaps the act of writing them down will be comforting to you in and of itself. Just as it’s comforting for me to remember mine.

unison, to random
@unison@fosstodon.org avatar

The idea of content-addressed code unlocks huge simplifications in how distributed systems are expressed. Realizing this potential has been difficult and taken us years, but we've reached an inflection point.

In the next 6 months, year, and beyond, we have some very exciting stuff planned:
https://www.unison-lang.org/blog/where-unison-is-headed/?utm_source=mastodon

norootcause, to random
@norootcause@hachyderm.io avatar

Cook's "How complex systems fail", originally from 1998, states that: Failure free operations require experience with failure.

This is 14 years(!) before Nassim Nicholas Taleb's book "Antifragile" is published.

https://adaptivecapacitylabs.com/HowComplexSystemsFail.pdf

Mehrad, to emacs
@Mehrad@fosstodon.org avatar

I quite often want to have two parts of the same file side-by-side to either diff them or edit them. I thought I share how I do it in :emacs: in case it helps someone:

  1. open the file
  2. M-x clone-indirect-buffer (the name says it all)
  3. in each buffer, go to the places you want and narrow to region (C-x n n)

Now you can edit or diff regions of the same file with ease 🤓

zyd, to Lisp
@zyd@emacs.ch avatar

This is a very important question: which indentation do you prefer for loop subclauses, A or B.

Screenshot of Common Lisp code using the Loop macro. This one is identified as option B. Each conditional subclause (in this case

zyd,
@zyd@emacs.ch avatar

@screwtape

Have you tried the different indentation styles? Example, in the screenshots, A is using SBCL, and B is using Classic. See the variable common-lisp-style-default. Has several different options. Remember to re-view/reload the file when you change the style with C-x C-v, otherwise the indentation won't update.

@thuna_cing @louis @kickingvegas @ldbeth

dziban, to forth
@dziban@functional.cafe avatar

Next project: Super barebones (but useful) protocol implementation.

Following with the post-apocalyptic aesthetic and everything around things like and I see an opportunity for a decentralized easy to use way to share data between isolated communities through something like the protocol.

I don't know why I'm so attracted to this aesthetic but it's a bit of a current obsession.

mweagle, to random
@mweagle@hachyderm.io avatar

“Once you adopt a socio-technical perspective, the hard-to-model nature of humans becomes a desirable trait to cope with chaos. Rather than a messy variable to stamp out, you’ll want to give them more tools and ways to keep all the moving parts of the subsystems going.”

https://ferd.ca/the-review-is-the-action-item.html

screwtape, to fediverse
@screwtape@mastodon.sdf.org avatar

Breaking up my failures-to-build with my discovery of using

I really like this eight minute if I do say so myself.

https://toobnix.org/w/2WYHBTHGvRQ8pUSVmKhKGg

@adanskana @sachac @louis
can I ask for some opinions on the clim / emacs / lisp useage as conveyed by videos?

This is pretty much just what I really do when near a computer for eight minutes.
Playlist:
https://toobnix.org/w/p/4bRcULzg6bBAyELkRqU6EQ?playlistPosition=1

unison, to random
@unison@fosstodon.org avatar

Testing has become a lot more descriptive in Unison since the last Base version added arbitrary labeling of values:

https://share.unison-lang.org/

deech, to emacs
@deech@mastodon.social avatar

Oh nice! #emacs now has built in JSON (de)serialization.

https://github.com/emacs-mirror/emacs/blob/master/etc/NEWS#L53-L56

staltz, to random
@staltz@mastodon.social avatar

Programmers prioritize the feeling of productivity over productivity itself. They prefer to rewrite a codebase with tools they are comfortable with (thus, feelings) even if ROI is years away, instead of e.g. fixing a bug (actual productivity) even if it's just two days of work.

adanskana, to random
@adanskana@mastodon.social avatar

@screwtape Played your srclogos game! Really cool to see McCLIM in action. I really want to learn it.
I'm curious - how do you find McCLIM as a tool for making GUIs? Was it easy? I've heard that the model McCLIM uses is pretty different to how GTK/Qt approaches things.
Btw, you can just use (asdf:make :scrlogos/executable) instead of (asdf:operate 'asdf:build-op :scrlogos/executable) :p

screwtape,
@screwtape@mastodon.sdf.org avatar

@adanskana
I would look at but not attempt to duplicate the code in
A Guided Tour of CLIM, Common Lisp Interface Manager by Clemens 2006
Get the 2019 updated copy. I forgot the link =_=
And as a general purpose reference and introduction, the McCLIM user guide probably available here https://codeberg.org/McCLIM/McCLIM

For some inexplicable reason I often use the Franz user guide for a slightly incompatible previous version of clim. lispworks has a great web reference as well https://www.lispworks.com/documentation/lwu41/climuser/GUIDE_1.HTM

screwtape, to Lisp
@screwtape@mastodon.sdf.org avatar

#lisp #popularityContest #springlispgamejam2024 #gameDev #retrospective
This #itch_io #devlog
https://lispy-gopher-show.itch.io/logos-lisp-legend/devlog/740130/its-not-not-a-popularity-contest-lisp-edition
is an html export of this #emacs #orgfile #elisp :
gopher://sdf.org/0/users/screwtape/jamtable.org #gopher
https://portal.mozz.us/gopher/sdf.org/0/users/screwtape/jamtable.org

stefano, to FreeBSD
@stefano@bsd.cafe avatar

One of the most fundamental yet little-known features of FreeBSD is its ability to be used in read-only mode very easily. By installing the system on a UFS file system, you just need to modify the fstab file, change "rw" to "ro," and reboot. On the next boot, the system will automatically create mount points in RAM for the main directories (/tmp, log, etc.), and it will run perfectly.

This was the main reason why, many years ago, I chose FreeBSD for almost all my embedded systems. Even today, on my Raspberry Pies, I keep the SD cards in read-only mode and use external storage in read-write mode. This ensures that, in case of an unexpected poweroff, the system will come back up, and there will be no wear on the memory card.

#FreeBSD #EmbeddedSystems #RaspberryPi #ReadOnly #SysAdmin #Tech #OpenSource

gwil, to random
@gwil@post.lurk.org avatar

The Willow Sideloading protocol is a new protocol for securely delivering Willow data by whatever means possible. USB keys, email attachments, torrents, and other ad-hoc means make a “sidenet” we can use to deliver eventually consistent data using the infrastructure users already have.

https://willowprotocol.org/specs/sideloading

gwil,
@gwil@post.lurk.org avatar

Now implemented in willow-js. https://github.com/earthstar-project/willow-js/releases/tag/0.5.0

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