Haitian Software Engineer | Freelancer | Mobile and Web Apps. I share my knowledge on https://nitter.gq/t.co/mN7kZrz4g7. If you wish to support: https://nitter.gq/t.co/hkaHPMoJIF
Port-au-Prince, Haïti
Joined February 2014
- Tweets198
- Following59
- Followers125
- Likes136
Holy-Elie Scaïde 🇭🇹👨🏿💻 retweeted
50 schools across Rwanda are now connected with Starlink’s high-speed internet ❤️🛰️🇷🇼
h/t @RwandaGov and @InstituteGC → nitter.gq/InstituteGC/status/167…
As of today, 18,000 young Rwandans are waking up to more opportunities, more connections, and more chances to succeed.
Through the #TomorrowPartnership with @Starlink and @RwandaGov, we are demonstrating the art of the possible, connecting 50 remote schools in record time.
Holy-Elie Scaïde 🇭🇹👨🏿💻 retweeted
I'm off subject again. Thanks Starlink and Elon for making Starlink available to Haiti!
Many Starlink boxes already in Haiti are waiting for CONATEL authorization since March 27th to be delivered, but they won't allow it. Many others are waiting for this issue before ordering.
I just completed "No Space Left On Device" - Day 7 - Advent of Code 2022 adventofcode.com/2022/day/7 #AdventOfCode
A tricky one.
5
I just completed "Tuning Trouble" - Day 6 - Advent of Code 2022 adventofcode.com/2022/day/6 #AdventOfCode
2
I just completed "Supply Stacks" - Day 5 - Advent of Code 2022 adventofcode.com/2022/day/5 #AdventOfCode
I just completed "Camp Cleanup" - Day 4 - Advent of Code 2022 adventofcode.com/2022/day/4 #AdventOfCode
I just completed "Rucksack Reorganization" - Day 3 - Advent of Code 2022 adventofcode.com/2022/day/3 #AdventOfCode
3
I just completed "Rock Paper Scissors" - Day 2 - Advent of Code 2022 adventofcode.com/2022/day/2 #AdventOfCode
Holy-Elie Scaïde 🇭🇹👨🏿💻 retweeted
Software is a negative discipline. Programs are practically impossible to prove correct; but easy to disprove. Software only progresses by disproof (ie testing).
Thus all programmers are skeptics.
Any community that disallows skeptics is anti-software.
Holy-Elie Scaïde 🇭🇹👨🏿💻 retweeted
⚽️👎🏾❌Poukisa nou blije SEKSYALIZE yon konfwontasyon pou rann li amizan❓
Poukisa reprezantasyon sa a jwenn tout apui enstitisyonèl sa yo nan yon sosyete kote TO VYÒL ap pete plafon❓
Poukisa Brezil dwe yon Fanm❓
Poukisa se konsa pou FANM parèt menm❓
@TICKETmaghaiti
NON ❌
So, what are symbols? They're just elements of a finite set, and each cannot be divided further in the system. They can be characters, digits, emojis, and even rocks, as long as you agree on a specific count. The abstract machine will manipulate sequences of these.
1
2
All the theorems already existing in each system can thus be brought to others. The most important thing is that mental reasoning can be made tangible, due to the many binary set that exists in nature. Open/Closed, On/Off, Present/Absent, Light/Dark...
1
Algorithms are sequences of actions that transform the input you have into the output you want. The possible actions are provided by the entity doing the execution. So, no learning computer algorithms without understanding first how computers work.
1
4
Abstract machines describe how to manipulate symbols to have tangible results.
Formal systems let you make this manipulation meaningful by making it extensible.
Information theory tells you how you can transform facts to symbols.
Programming languages are products of all three.
