Pinned ping

I wrote an article about the need for low-carbon and 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.

wimvanderbauwhede.github.io/ar

Pinned ping

Yay, I now have running on a PYNQ-Z1 FPGA board. It has a 650MHz dual-core Arm Cortex-A9 with 512MB RAM. That is not enough memory to run though.

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.

Anyone know of a quick and easy way to solve "Error fetching notifications: 500" in ? It used to work, I did not change anything to my setup, so I guess it is to do with the growing size of the database.

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:

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!

nani.lepiller.eu

I wrote an article about the need for low-carbon and 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.

wimvanderbauwhede.github.io/ar

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

wimvanderbauwhede.github.io/ar

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 am looking for volunteers who could translate my article on Frugal Computing (low-carbon, sustainable computing), preferably in Chinese, Japanese, Spanish and French, but other languages are also very welcome.

Thanks for boosting!

wimvanderbauwhede.github.io/ar

This is a truly great picture

"Photo of the Day: China Says Goodbye to Crypto Mining"

"On May 2 [2021], an ethnic Tibetan woman in Sichuan province’s Heishui county holds parts of a cryptocurrency mining machine that was sent from Xinjiang for local installation, including power cords that look like a bouquet of flowers. Such machines are now being deactivated following China’s recent ban on crypto mining."

caixinglobal.com/2021-07-13/ph

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

I wrote an article about the need for low-carbon and 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.

wimvanderbauwhede.github.io/ar

any 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

Hi folks, 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."

link.springer.com/article/10.1

Hello!! #SummerSchool is open for participant signups :BlobCatSurprised:

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

Come to class: docs.google.com/forms/d/e/1FAI

(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🙂"

iframe.recruitmentplatform.com

Show older
Cybrespace

cybrespace: the social hub of the information superhighway jack in to the mastodon fediverse today and surf the dataflow through our cybrepunk, slightly glitchy web portal support us on patreon or liberapay!