"How Austral’s Linear Type Checker Works"
by Fernando Borretti
29 January, 2023
https://borretti.me/article/how-australs-linear-type-checker-works
"My approach to rigorous resource management in C"
by Sylvain Gauthier
2023-01-06 19:09
https://sgauthier.fr/blog/rigourous_c_coding.html
Everything I wish I knew when learning C
Tom M
2022-11-18
https://tmewett.com/c-tips/
Maybe it would have been smart to add a mandatory "null" or "n/a" option to the Question<>Response ActivityPub interaction.
https://www.w3.org/TR/activitystreams-vocabulary/#dfn-question
We're now on Mastodon, an open-source alternative to Twitter. Follow us here: https://mastodon.online/@lichess
Introducing Austral: A Systems Language with Linear Types and Capabilities
by Fernando Borretti
28 December, 2022
https://borretti.me/article/introducing-austral
For the holiday, a thread on how to befriend crows.
--
Befriending crows is a wonderful thing.
I have many crow friends at home and at work. They bring joy at unexpected moments and can rescue a miserable day even without shaking down the dust of snow that Robert Frost described.
This thread is an updated version of one I posted at the bird site in July 2019.
#birding #birdwatching #birds #urbanbirding #crows #corvids #crow #corvid #crowfriends
I just improved the Mastodon support in lichess.org: https://github.com/lichess-org/lila/commit/a07c28fdbe681e3550abefbec0cc140975d41263
@rml
Do you know any small #scheme (#guile?) projects I could browse to learn by example?
I've been trying to get into #lisp for ages, but most tutorials are either philosophical/historical or only cover the basics. Take hautils[1], a collection of small POSIX utilities written in #hare/#harelang, which demonstrates digestible common programming practices, which would be out of scope for the official tutorial. Is there an analogue project for scheme?
Feel free to boost.
Okay, fine, actual #introduction . I've been on the Internet or social media by the handle Albatross since 1977.
In 1983 I created the world's first #MMORPG company, GamBit MultiSystems, and our franchisees went on to start some big-name game companies.
In 1991 I helped co-write the Internet Gopher protocol, RFC 1436.
I've been in infosec since 1996 and I'm heartily tired of keyboards.
I've written books and plays and shoot pictures. I have 3 terrific adult kids.
Snow! ☃️
An update on leap seconds
Tony Finch
https://dotat.at/@/2022-12-04-leap-seconds.html
👋 Hello Fediverse! 👋
Libre software engineer with physics background.
Maintainer for @hare date/time.
.py .go .ha ...
en es ...
\t <dl> agpl posix 9p