AI for Educators Blueprint by Noah Johnson Ed.D., Vivian Mitchell MPH 2023

2023.10.13: bk.cyb/ai/edu/
Noah Johnson Ed.D., Vivian Mitchell MPH 2023`Educators Blueprint:

. a brief review of the book:

Noah Johnson Ed.D., Vivian Mitchell MPH 2023`

The AI for Educators Blueprint: 

81 Ways to Skyrocket Student Success, Reclaim Hours in Your Day, 

& Revolutionize Your Classroom Safely and Equitably

(ChatGPT Prompt Guide + AI Integration Framework) 

The Art Of Note Taking by Thinknetic.net 2022

 22.11.19: bk.adds/doc/Thinknetic 2022`The Art Of Note Taking: 

. this is a brief review of the book:

Thinknetic 2022`The Art Of Note Taking: 

Your Research-Based Guide To Taking Notes That Will Stick To Your Memory

https://amzn.to/3GwIYFE[ad]

. the writer is Dianna Aquino,

a teacher with a doctorate, who was an honor student.

. the thinknetic.net founder is Michael Meisner.

5-star/surprised by benefits of handwriting:

Amazon CodeWhisperer and Microsoft Github Copilot:

2022.7.4: news.adds/dev/CASE/
Amazon CodeWhisperer and Microsoft Github Copilot:

summary:

. AI is being used for CASE

(computer-assisted software engineering).

. it is being trained on opensource code

and then applies techniques used by that code

to the specific needs of your code.

. the resulting code is free of any licensing agreements

because is considered fair use 

unless the software ideas are protected by patents

rather than merely copyright or copyleft.

. Amazon CodeWhisperer may be able to tell you

the license of the project its ideas were lifted from,

but Microsoft Github Copilot claims all its code

is sourced from and licensed by an AI, 

not from the projects that the AI studied.

refs:

https://aws.amazon.com/codewhisperer/

https://github.com/features/copilot/

https://openai.com/blog/openai-codex/

https://techcrunch.com/2022/07/01/open-source-developers-urged-to-ditch-github-following-copilot-launch/

https://techcrunch.com/2022/06/23/amazon-launches-codewhisperer-its-ai-pair-programming-tool/

https://sfconservancy.org/blog/2022/feb/03/github-copilot-copyleft-gpl/

https://sfconservancy.org/blog/2022/jun/30/give-up-github-launch/

https://lists.copyleft.org/pipermail/ai-assist/

https://lists.sfconservancy.org/pipermail/give-up-github/

openstax.org free college textbooks

 2022.7.2: news.adds/edu/
openstax.org/free college textbooks

I list about 80% of the openstax books

that were of the most interest to me

and organized some in the order that

I read them during college,

or will read them in the future.

@joboaler youcubed.org getting all kids inspired by math

 2022.5.9: news.adds/math/edu/
@joboaler youcubed.org getting all kids inspired by math:

summary:

Stanford Mathematics Education Professor 

https://ed.stanford.edu/faculty/joboaler

Jo Boaler, promotes inclusive math training

that shows all kids they have a brain for math.

. her resources include the website youcubed.org

that includes a free online student course.

https://www.youcubed.org/online-student-course/

. she has several videos explaining her way,

along with many books.

https://smile.amazon.com/Jo-Boaler/e/B001IODJ5U

total formal verification is not possible in 2020

'20.11.3: co.quora/adds/cyb/sec/total formal verification is not possible in 2020:

current efforts at formal verification

cannot yet find all unknown vulnerabilities in software:

. as pointed out by the SeL4 team, in

“What is Proved and What is Assumed”

who used formal verification to debug a microkernel,

they are still vulnerable to inaccuracies of the hardware model;

ie, assuming the hardware acts a particular way

when under special conditions it actually does something else.

. some CPU chip instructions are reprogrammable by the manufacturer

with on-chip microcode; eg Intel Microcode

 (https://en.wikipedia.org/wiki/Intel_Microcode);

this could either make the CPU more correct

or make it vulnerable to malicious modification?

. also, there was some of the SeL4 software

that was not practically verifiable yet:

"there may still be faults remaining in

specific low-level parts of the kernel

(TLB, cache handling, handwritten assembly, boot code)."

the first automation was written language

2020.7.28..31: adds/cs/the first automation was written language:
here is what humans have over other animals:
. our language uses symbols that can entirely describe
our understanding of the world;
and our understanding of the world is so vast
that we can survive without adapting our genome
by engineering environmental adaptations.
. also,
language in its written form is
more important than speech (the verbal form);
because it represents a form of automation of our memory;
giving us not only communication
but a virtually infinite memory size.
. the first reliable computations involved
writing the steps of an algorithm
so that we could automate the part of our mind
that remembered each step and their ordering.

Intel's lack of documentation stalled MINIX

11.21: news.cyb/adds/doc/Intel's lack of documentation stalled MINIX:
. in an IEEE Computer interview,
[ieeeComputerSociety 2014]
Tanenbaum revealed he designed MINIX when
AT&T closed the source for Unix Version 7
and they could no longer use it
when teaching about the design of an OS.
. but it kept crashing until he heard a rumor
(nothing in the documentation mentioned it)
that the Intel chip when overheating
was causing an interrupt 15.
If his student Robert hadn't revealed the interrupt,
"there would have been no MINIX" he said.

common core math's subtraction

10.20: web.math/common core math/has new subtraction:
businessinsider:
. the new way is realizing a subtraction problem
is asking you to measure the distance between 2 numbers;
You do that, in turn, by measuring the distance between
landmarks (easy, round numbers).

phys.org 2015:
we all do arithmetic like this in our heads all the time.
Say you are buying a scone at a bakery for breakfast
and the total price is US$2.60.
You hand the cashier a $10 bill. How much change do you get?
Now, you do not perform the standard algorithm in your head.
You first note that you'd need another
40 cents to get to the next dollar, making $3,
and then you'd need $7 to get up to $10,
so your change is $7.40.

called the counting up subtraction method.
from the smaller number
count up to the nearest 10, 100, etc;
to that add the largest number's smaller digits.

I, robot (2004)

10.24: tv.adds/robotics/I, robot (2004):
summary:
. the movie "I, robot" had me realizing
how complicated good programming is.
[full synopsis]

SciStarter.com and citizenscience.org

12.12: news.adds/democratizing science/
SciStarter.com and citizenscience.org:

Citizen Science Association and SciStarter
are about making science more accessible
and crowd-sourcing science projects.

reputation-based trust management

2.12: news.cyb/sec/reputation-based trust management:
2.14: summary:
. even if the NSA keeps vulnerabilities in place
so that they may continue accessing their backdoors;
they do not want you pawned by other nation states.
. they recommended "reputation management",
which I believe refers to
reputation-based trust management.

NSA`Tailored Access Operations`Rob Joyce:
. admins need to lock things down as far as possible;
whitelisting apps, locking down permissions,
patching as soon as possible,
and using reputation management.
. when up against a new piece of malware
it will be missed by Signature-based antivirus
but could still be caught by reputation.

#robotics #AI heaven-or-hell-its-your-choice.com

1.10..11: news.cs/robotics/heaven-or-hell-its-your-choice.com:
summary:
. Alan Keeling` Heaven or Hell It's Your Choice;
is a book warning us about the coming robotics age.
. his idea of machine learning dangers is delusional
but he's onto something when he warns that
the current political systems will create killer robotics.
. robotics is a weaponizable technology
and it needs to be tightly controlled by a global government
in order to keep various military powers
from programming the robots to kill each other.
. the reason for capitalism is a sort of fascism
where good people take resources from the others
and good is defined by who's most profitable.
. let the free market decide who makes the money
and thus who can support unlimited breeding rates.
. it's civil war as each culture fights to expand;
and, free markets are the battleground;
but, robotics can be used to cheat capitalism
by sabotaging or killing competitors.
. we need to insist that all robotics are open sourced;
and prove that any robot unleashed in the real world
is following a constitution that hurts no humans.

Raffi Khatchadourian`doomsday invention #robotics

12.14: cs/ai/Raffi Khatchadourian`doomsday invention:
. an article in the New Yorker, nov 23, p64,
Raffi Khatchadourian "the doomsday invention:
will artificial intelligence destroy us?":
. Nick Bostrom wrote in "superintelligence:
paths, dangers, strategies"
that humans risk being killed off when the robotic network
"gains the ability to improve itself,
and in short order exceeds the intellectual potential
of the human brain by many orders of magnitude."

#robotics beware offensive autonomous weapons

8.1: news.cs/robotics/beware offensive autonomous weapons:
8.3: summary:
. we are getting close to robotics that are
so talented they may serve as soldiers;
but scientists warn we should avoid
such a robotics arms race.
. supercomputers will be used to design
robotic soldiers we don't fully understand.
. robots designed for mutually assured destruction
could cause the extinction of the human race
much more effectively than nuclear weapons.

eternal civilization foundations

2.18: news.adds/eternal civilization foundations:
openculture introduces longnow.org:
. longnow's Manual for Civilization
aims to select 3,500 books deemed to be
most likely to sustain or rebuild civilization.

democratized hardware design

9.17: news.adds/openware/democratized hardware design:
co.yt#ARMdevices.net Sep 15, 2014:
Google Project Ara Keynote: 
“What if hardware was more like software?
Google’s Project Ara and the
democratization of the hardware ecosystem.”

Code.org`Code Studio

9.12: news.adds/cp4e/Code.org`Code Studio:
techcrunch.com:
Code.org Launches Code Studio,
A Toolset And Curriculum For Teaching Kids Programming
Rather than having kids pick up a language like Python
(as you would in a college or AP Computer Science class),
Code Studio teaches the underlying concepts in programming
through the composition of interlocking graphics,
a lot like MIT’s  Scratch, though Code Studio uses HTML5
(so it can run in most browsers).

robot-human interactions

12.28: summary:
. ideas about robot-human interactions
inspired by the movie Her,
about falling in love with AI .

empirical vs normative uncertainty

5.9: news.phi/empirical vs normative uncertainty:
Will MacAskill @ MIRI:

. with just a bit of Moral philosophy research
we can radically alter the value of our options.
So individuals, philanthropists, and governments
should all spend a lot more resources on
researching and studying ethics .
. picking policy can make use of voting systems .
. when unsure about what we ought to do,
it's due to various sorts of uncertainty: