CyberSecurity part 24

Functional Programming in Coq

Staying on the theme of programming and cybersecurity, this course is about Functional Programming in Coq and was mentioned on the Libreplanet discuss mailing list. It may be useful generally as a way to learn skills that can be applied to other languages or just generally.

• Functional Programming in Coq

#CyberSecurity,#Coding,#Functional,#Programming,#COQ

ToriOS Internship Program – version 1.0

• We need people who enjoy #programming and want to do it for fun, to create really nice small things that can be used easily by almost anyone.
• All levels of programming are fine.
• People need to have #motivation to do this because they want to, themselves. They need motivation to learn more because they are growing.
• They must have the ability to #fail and #learn from it.
• As long as those exist, #skills will come. Anything anyone already has to begin with is fine.
• Rust, serde, FLTK, DBus, X11/etc, XDG, lexer, TUI, Linux, Every Window Manager there is, Rust coreutils/chroot/squashfs?/etc for building, TOML/JSON/INI/etc, HIG/UI/UX accessibility, Bash scripting.

---

Goals:

1- Oxidize the C++ programs used in ToriOS, and improve them. 2- Oxidize the scripted builds. 3- Oxidize the scripts used in ToriOS, and use serde for configuration, support multiple formats in and out. 4- Build separate libraries for separate tasks. Many small libraries that can be reused are better than one big one for everything. 5- Bring these components together and create a desktop environment using any window manager. 6- Replace GNU with Rust equivalents to make Oxidized Linux as the base of the operating system. 7- Configure multiple window managers using the same graphical tool, allowing for the conversion of one window manager format to another, seamlessly. 8- build menus for window managers with an oxidized menu generator. 9- Oxidize FLTK applications menu program. 10- Make portrait and landscape layouts for the desktop. Using dbus to load things when needed.

---

Longer term wish list goals:

1- Rust + FLTK to create a modern panel/tray system. 2- Handle the virtual desktops, use ~/Desktop.d/... for handling multiple desktops with multiple icon layouts. Just a desktop manager, not a file manager. 3- Build our design of a very modular onscreen keyboard. 4- Make all GUI apps display a TUI when no $DISPLAY exists. 5- Volume manager to trigger whatever events are configured. 6- Pre-built Phone images to flash as well as ISOs to download. 7- replace any GTK specific programs with Rust + FLTK versions. 8- use a native Rust GUI toolkit when one is mature enough.

---

Note:

The word [#Oxidize] is used to mean converting an older program to use Rust, instead of whatever programming language it was originally written in.

---

IF AND ONLY IF YOU MEET ALL THE REQUIREMENTS, please apply by sending an email to: [ ali AT torios DOT top ]

• Subject Line must contain [ToriOS Internship ver 1.0]
• Introduce yourself – mention your REAL name.
• Country – wherever you currently live.
• Written consent that have read + agree on each and everything mentioned in this post.
• Please explain WHY you think I should let you in?
• NO begging please. Begging means reject.
• DO NOT send any Resume/CV because that means reject.

---

• Original LinkedIn post

#Linux. #Debian,#Ubuntu,#volunteering,#Jobs,#ToriOSInternship

Open CV Tutorial

Open Computer Vision Tutorial. This looks interesting and something else to have an experiment with at some point. Would also be good at the Paignton Library STEM group meetings.

Posted to Mastodon on 23/12/2021 by Danie

Links

• Tutorial Link
• Python
  • OpenCV
• qoto Mastodon

Tags

#technology #opensource #programming #coding #Python #OpenCV

Book on Haskell

If anyone is interested in learning Haskell, then this book may interesting :-

• Learn You a Haskell for Great Good!

Links

• Haskell

Tags

#Coding,#Programming,#Language,#Haskell

Code Club Saturday 6th November part 2

I spent about ½ an hour on Friday setting up and preparing for Code Club, here are a few photos of the room all set up and ready to go.

Links

• Paignton Library
  • Projects page
• Code Club

Tags

#Paignton,#Library,#CodeClub,#Coding,#Programming,#Scratch,#HTML,#Python,#More,#Tech

Code Club Saturday 6th November

The next Paignton Library Code Club is Saturday 6th November 2021. Usual time.

We will just carry on from where we left off last time, catch up on what has been undertaken since the last code club.

Links

• Paignton Library
  • Projects page
• Code Club

Tags

#Paignton,#Library,#CodeClub,#Coding,#Programming,#Scratch,#HTML,#Python,#More,#Tech

Code Club 4/10/2021

I am back at Code Club today, 2nd session since our return. If you are still not sure what Code Club is, then you have clearly being living in a cave since about 2012. Anyway, it is a coding club for children, generally 9-13 years of age.

The Paignton Club is a little more advanced, in that some of the attendees are working through a responsive web design course.

It would be really good to get MORE code clubs in Torbay, and in fact would be really nice if those clubs could collaborate, share expertise, maybe some resources.

Links

• Code Club
• Paignton Library
• Projects
• Advanced projects
• Stem ambassadors

Tags

#Coding,#Programming,#Scratch,#Python,#HTML,#CSS,#Python,#MicroBit,#RaspberryPi,#Lego,#FreeCodeCamp,#More

Write your own compiler

Another post found on Mastodon. This was posted by Dr. Brian Callahan.

Links

• Blog series

Tags

#Write,#Own,#Compiler,#Programming,#Blog,#coding #code #program #programming #compiler #compile #compilers