"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/

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

- Math Logic community (The Journal of Symbolic Logic)

- Statistics community (JASML, AoS)

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

- 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)

Joined Aug 2020