Skip to content
View 1dotd4's full-sized avatar
🐑
Keep it secure
🐑
Keep it secure

Highlights

  • Pro

Organizations

@mhackeroni

Block or report 1dotd4

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
1dotd4/README.md

Mona loading

A slow internet connection may help you think about your choices.

✨ About me

I run some services, maintain some servers, and design programs.

This is not my home page, and I will use GitHub just as a mirror.

⚑ Projects you may see here eventually

  • πŸͺ’ Bowline, a spin-off of Alchemy, to create a sort of ✨ Prime Radiant ✨.
  • πŸ”­ Corpus and other pattern tools to help ⭐ research ⭐.
  • πŸ›°οΈ Systems and 🌟 sophisticated 🌟 software.

🌱 A word about software

  1. To reduce emissions, reduce computer time, but not like in Suns Boot Fast.
  2. To reduce computer time, reduce dangerous software specifications, because Software does not fail.
  3. To reduce dangerous software specifications, improve interfaces, documentation, readability.

A way to validate is the clean-room design. Some inspiration may come from your tools, like Semantic Linefeeds.

Also keep in mind the four essential freedoms of software that GitHub does not respect.

Mona whispering

Pinned Loading

  1. alchemy alchemy Public

    An extensible computer algebra library written in Scheme (this is a mirror).

    Scheme 2

  2. corpus corpus Public

    A tool for indexing and searching PDFs. -- mirror

    Scheme 1

  3. git-overview git-overview Public

    Git overview

    Scheme 3

  4. moodle_updater moodle_updater Public

    Send notification update of changes of moodle content on a telegram channel.

    Python