"Not sure if I’ve seen this one here before"

submitted by MattRubin

https://reddit.com/r/ProgrammerHumor/comments/y9a161/not_sure_if_ive_seen_this_one_here_before/

RT @GreensEFA@twitter.com

Did you know that Italy has banned facial recognition software?🇮🇹

We are in Milan this week to find out how they did it.👀

#BiometricSurveillance limits freedom & violates privacy. That's why we want the EU to ban it.

Learn more: https://greens.eu/3PoAQsW

I miss neuroscience. This is stuff so simple, but still thought provoking.

https://www.cell.com/trends/cognitive-sciences/fulltext/S1364-6613(17)30221-8

Could be interesting.

Actual statement

https://www.whitehouse.gov/ostp/ai-bill-of-rights/

QT: https://freeradical.zone/@thenewoil/109116621410525327

Biden proposes new “Bill of Rights” to protect Americans from AI harms https://arstechnica.com/information-technology/2022/10/biden-proposes-new-bi...

Humans are cool.

I should be reading about automated reasoning logics. But cognitive stuff is good too.

https://www.frontiersin.org/articles/10.3389/fnins.2014.00265/full

My boss gave me 133 or so pages of math to read before Friday morning. I need to find something in this kind of logic to improve upon before then. Sleep should be happening now.

What’s Decidable About Program Verification Modulo Axioms?

https://arxiv.org/pdf/1910.10889.pdf

Decidable Synthesis of Programs with Uninterpreted Functions

https://arxiv.org/pdf/1910.09744.pdf

Decidable Verification of Uninterpreted Programs

https://arxiv.org/pdf/1811.00192.pdf

>C++ is authoritarian

Not even remotely you can code the way you like and use any feature you like whether it's from C++98 or C++20

>Rust is pretty liberal.

Lol not even remotely the complier is forcing you to code in a specific style

Not even remotely you can code the way you like and use any feature you like whether it's from C++98 or C++20

>Rust is pretty liberal.

Lol not even remotely the complier is forcing you to code in a specific style

Things are getting interesting. The book is only about 90 pages long.

But in summary, it becoming possible to make programs that are both bug free, and can cover a problem domain that cannot be feasibly solved with simple manual programming.

https://www.amazon.com/Neurosymbolic-Programming-Foundations-Trends-Languages/dp/1680839349

That is a pretty paper

Program Synthesis with Equivalence Reduction

- Background
- Logic, Mathematics, Electronics

- Hobbies
- Philosophy, Programming, Video Games

I am a mathematical logician.

I am pretty curious about how to use automated reasoning systems to help discover new things, use and verify old ideas, and generally make my life easier.

Current events I try to keep up on

- Algebra community (JoA, JoAG, JoPaAA, SIGSAM)

- Math Logic community (The Journal of Symbolic Logic)

- PL community (POPL/PLDI/OOPSLA)

- Formal Methods community (CAV/TACAS)

Passing the learning curve up to current events

- Abstract Algebra (Dummit, Foote)

- Commutative Algebra (Eisenbud)

- Algebraic Geometry (Hartshorne)

- Mathematical Logic (Mendelson)

- Model Theory (Marker)

Extra context and fun things

- Process Metaphysics (Rescher)

- Mathematics Without Foundations (Putnam)

- History of Abstract Algebra (Grey)

- History of Algebraic Geometry (Dieudonne)

Joined Aug 2020