Magos Logis Logan @jmw150@qoto.org
- Background
- Logic, Mathematics, Electronics
- Hobbies
- Philosophy, Programming, Video Games
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
@paullammers@eldritch.cafe
Also, you know decompilation is 100% accurate without deep learning. So, this paper is more about human readability, which is really easy to mess with. This paper also describes a program that also cannot reach 100% accuracy on clean unobscured code.
A synthesis + deep learning approach would be a good next step in this arms race. It could lead to proper accuracy and human readability.
http://www.neurosymbolic.org/
@paullammers@eldritch.cafe
Code is just data loaded into the CPU. So the real action is constructed from ops with a cypher. Then that, the real program, is executed.
@paullammers@eldritch.cafe
It means it will become more common for software developers to encrypt their binaries.
The irony is that you have to be a racist to be offended by Watto.
A kid is not going to understand that he is supossed to be, anymore than a random character, unless taught the stereotype and that it somehow should be derogatory.
More like, what did Disney mean by that. Then it is pretty obvious. It interferes with their McDonalds flavored media style.
@allzeefeelz @sternengucker @stux @Arcana
Ah yes of course. The Florida man.
Agreed. It is a practical issue large countries have as well. It can take a few minutes for a police response in the open country.
@stux @calculsoberic@mstdn.social
Conceal carry is normal. Unless it is a gun convention, open carry is taken as weirdly aggressive. And it is a separate permit. And a lot of places, i.e. schools, bars, forbid weapons.
Concealed carry also makes the controversy more muted. An educated free citizen can obtain a firearm pretty easily even without permission, and not many would know.
- 3d printing schematics exist online for guns.
- A free citizen can communicate with a gun owner without being monitored and trade for it. - Basic guns and ranged weaponry are not that hard to manufacture in the traditional way.
Lol yeah that was funny. Texans are such a meme. The most American Americans.
@cjd @stux @PainvisionAr @14point88niggawatts @eee @laconicif @Arcana
Well they do. Rape of Nanking, starving of Chinese under Mao, gas camps, etc...
But, it is a pretty obvious way to make other countries hate you for generations. So now Geneva Conventions exist, at least attempting to outline what mutually assured damage should be avoided.
@PainvisionAr @Arcana @stux @cjd @eee @laconicif
Concerning, yeah. A racist government would happily napalm and carpet bomb another country. Much like medieval Europe salted fields sometimes.
The situation in Russia, and even China, would be very different if their people had the means to defend themselves.
Windows and Mac users not being able to change anything but the wallpaper on their desktop...
Super easy, even on a wm.
Yeah. I would argue it is even anti-intellectual.
Sadly I doubt this would ever gain traction in the USA.
Feels like an out of context sound byte. Like he was referencing his engineer hiring policy or something.
Platonism, Formalism -> mathematical theism
Structuralism -> mathematical agnosticism
Constructivism, Logicism, Finitism -> mathematical atheism
- Background
- Logic, Mathematics, Electronics
- Hobbies
- Philosophy, Programming, Video Games
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
