Wim 🈂️ @wim_v12e@cybre.space

my Japanese-inspired programming language, Haku, is coming along nicely. I try to work on it a little every day, and I have now the drafts for the parser, abstract syntax tree, AST reader and a Scheme emitter, as well as an input source reader that can handle vertical text.

I wonder why anyone would consider using this language. It is hard to write programs in and there are no advantages to using it as it is quite basic. But creating the language is a lot of fun.

#Lagrange v1.6 has been released with bidi text, Titan uploads, improved TOFU, page caching/rendering improvements, and more!

https://github.com/skyjake/lagrange/releases/v1.6.0

Release announcement:
gemini://skyjake.fi/gemlog/2021-07_lagrange-1.6.gmi
https://gmi.skyjake.fi/gemlog/2021-07_lagrange-1.6.gmi

#Gemini

This has been in my tabs for months, was gonna read more before linking it, but whatever, I have other projects, so here it is:

https://github.com/yatima-inc/yatima

cc @syntacticsugarglider have you seen this? it looks like it aligns with your ideals.

#yatima #typeTheory #programming

Yay! I released a new version of #nani, a #japanese dictionary app. The new version should be available on #fdroid soon.

It allows you to download the dictionaries you are interested in (language, features, source, …) and use them offline to search for anything.

This release is mostly motivated by some small changes in the UI, and small improvements to the dictionaries. It's also a "I'm still alive" message since last release is almost a year old!

https://nani.lepiller.eu

I wrote an article about the need for low-carbon and #sustainable #computing and the path towards zero-carbon computing.

tl;dr:

** The problem:
* By 2040 emissions from computing alone will be close to half the emissions level acceptable to keep global warming below 2°C. This growth in computing emissions is unsustainable: it would make it virtually impossible to meet the emissions warming limit.
* The emissions from production of computing devices far exceed the emissions from operating them, so even if devices are more energy efficient producing more of them will make the emissions problem worse. Therefore we must extend the useful life of our computing devices.
** The solution:
As a society we need to start treating computational resources as finite and precious, to be utilised only when necessary, and as effectively as possible. We need frugal computing: achieving the same results for less energy.
** The vision: please read the article, I'm out of characters.

https://wimvanderbauwhede.github.io/articles/frugal-computing/

ICYMI, please read my article about the need for low-carbon and #sustainable #computing and the path towards zero-carbon computing.

tld;dr: We need to drastically limit the growth in emissions from computing, or by 2040 emissions from computing alone will be close to half the emissions level acceptable to keep global warming below 2°C.

And it is possible to do this.

#climateemergency

https://wimvanderbauwhede.github.io/articles/frugal-computing/

I'll be presenting my work on online neurodivergent community based on a survey distributed here on the Fediverse at the Summer School conference! You may have taken the survey

If you'd like to attend my talk or any of the other excellent talks at the conference this year you can sign up via the link in the posts I just boosted!

My presentation will be on August 3 at 7 PM UTC and I look forward to seeing some of you there

I wrote an article about the need for low-carbon and #sustainable #computing and the path towards zero-carbon computing.

Key points:
* The problem:
- The current emissions from computing are about 2% of the world total but are projected to rise steeply over the next two decades. By 2040 emissions from computing alone will be close to half the emissions level acceptable to keep global warming below 2°C. This growth in computing emissions is unsustainable: it would make it virtually impossible to meet the emissions warming limit.
- The emissions from production of computing devices far exceed the emissions from operating them, so even if devices are more energy efficient producing more of them will make the emissions problem worse. Therefore we must extend the useful life of our computing devices.

* The solution:
As a society we need to start treating computational resources as finite and precious, to be utilised only when necessary, and as effectively as possible. We need frugal computing: achieving the same results for less energy.

* The vision:
- Imagine we can extend the useful life of our devices and even increase their capabilities without any increase in energy consumption.
- Meanwhile, we will develop the technologies for the next generation of devices, designed for energy efficiency as well as long life.
- Every subsequent cycle will last longer, until finally the world will have computing resources that last forever and hardly use any energy.

https://wimvanderbauwhede.github.io/articles/frugal-computing/


#ClimateEmergency

any #greek speakers here? i've been asked to make a 3x5 pixel art font for greek characters, and i would like to know how to make some of these characters more distinct/readable if possible.

my paper "Making legacy Fortran code type safe through automated program transformation" has just been published in Journal of Supercomputing, as Open Access:

"We present the first rigorous analysis of the type safety of FORTRAN 77 and the novel program transformation and type checking algorithms required to convert FORTRAN 77 subroutines and functions into pure, side-effect free subroutines and functions in Fortran 90.
We show that the resulting code is type safe and that the pure, side-effect free and referentially transparent subroutines can readily be offloaded to accelerators."

https://link.springer.com/article/10.1007/s11227-021-03839-9

Hello!! #SummerSchool is open for participant signups

This year we have talks about delightful computing! philosophy and Star Wars! online communities and neurodivergence! and more!!!

Come to class: https://docs.google.com/forms/d/e/1FAIpQLScvSn4094sn6ZaGmDFpPVG8uUR71-8Efqx4y46QbrGQKbTolA/viewform

(graphics by @csepp)

#rakulang is nice

my %digits is Map = < 一 1 ニ 2 三 3 四 4 五 5 六 6 七 7 八 8 九 9 >;
my %magnitudes is Map = < 十 10 百 100 千 1000 >;
my @myriad_kanji = < 万 億 兆 京 垓 𥝱 穣 溝 澗 正 載 極 >;
my %myriads is Map = @myriad_kanji.map( {state $i=0; $_ => 10**(++$i*4)});

sub kanjiToNumbers(Str $kazu --> Int ) {
my Str @kanji = $kazu.comb();
my Int $acc = 0;
my Int $m = 0;

for 0..(@kanji.elems-1) -> $k {
if %digits{@kanji[$k]}:exists {
$m = %digits{@kanji[$k]};
} elsif %myriads{@kanji[$k]}:exists {
$acc+=$m;
$acc*=%myriads{@kanji[$k]};
} elsif %magnitudes{@kanji[$k]}:exists {
$acc+=$m*%magnitudes{@kanji[$k]};
$m=0;
}
}
$acc+=$m;

return $acc;
}

A permanent position for a #SoftwareEngineer at the UK MetOffice.

A great colleague at one of the best places to work (except for the open plan office). Highly professional, not what you would expect after EURO2020.

Mark McCarthy: "Anyone know any scientific software engineers that might be interested in working with historical weather and #climate data? We have a vacancy in my team at the #MetOffice to help develop our observational datasets of UK and global climate🙂"

https://iframe.recruitmentplatform.com/met_office/external/details.html?nPostingId=5797&nPostingTargetId=7113&id=Q5JFK026203F3VBQB79LO8NXG&lg=UK