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.
#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.

#Linux. #Debian,#Ubuntu,#volunteering,#Jobs,#ToriOSInternship
Tilde – text editor


Tilde is a nice, curses based text editor. It is useful for if you are at the console or terminal in Linux and want a menu driven editor.

While other tools are more command driven (nano, emacs, vi, vim and joe to name a few). Tilde is being mentioned for those of you who may find it useful
As you would expect with a modern editor, tilde has support for syntax highlighting.

Which is really useful for programming or editing website code for example.
REFERENCES
TAGS
#YearOfTheFediverse,#Linux,#TextEditor,#Editor,#Text,
#Tilde,#Programming,#SyntaxHighlighting,#console,
#terminal

This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License
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
Tags
#technology #opensource #programming #coding #Python #OpenCV
Book on Haskell
If anyone is interested in learning Haskell, then this book may interesting :-
Links
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
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
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
Tags
#Coding,#Programming,#Scratch,#Python,#HTML,#CSS,#Python,#MicroBit,#RaspberryPi,#Lego,#FreeCodeCamp,#More