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
Next semester is going to be tough. Online stuff is going away for some reason.
Magos Logis Logan
boosted
Magos Logis Logan
boosted
UNESCO recently published a recommendation for “#OpenScience”:
https://www.unesco.org/en/natural-sciences/open-science
It recommends that Member States ensure “publicly funded research, including scientific publications, […] source code and open hardware, is openly licensed […]”, encourage “multilingualism in the practice of science, in scientific publications and in academic communications”, and more. 👍🏽
I wonder if I should adversarial noise my pictures. But it is kind of like an arms race of soft encryption.
https://proceedings.neurips.cc/paper/2019/file/335cd1b90bfa4ee70b39d08a4ae0cf2d-Paper.pdf
Magos Logis Logan
boosted
Magos Logis Logan
boosted
my favorite kind of firmware to implement by far is firmware that needs ascii art comments
I wonder if grammar based types exist.
I see types based of predicates (dependent types) and algebraic types. Maybe Antlr informally counts as that. But it only really parses and scans stuff.
Aka we are fucked on security.
Well that is happening. I joked about a C->Rust compiler. But here you go.
Splash is going well. Deep learning has really invaded the programming space this year.
Neural surrogates for programs
https://dl.acm.org/doi/10.1145/3486607.3486748
Toward Neural-Network-Guided Program Synthesis and Verification
https://arxiv.org/abs/2103.09414
Scalable and Modular Robustness Analysis of Deep Neural Networks
https://arxiv.org/abs/2108.11651
Natural language guided programming
https://arxiv.org/abs/2108.05198
Attending this SPLASH conference one thing I realized, is that I really do need a constant stream of coffee to function properly.
I should pack cold brew or something next time. 😅
Magos Logis Logan
boosted
I turn on my PC.
The local wildlife are immediately sterilised by the excessive output from my four exposed nuclear reactors running at a critically risky heat output.
The sound of 10,000 cooling fans deafens the city’s morning traffic as my warehouse of 500 parallel-chained AMD Razer Threadrippers bursts into life, forming the equivalent processing power of 2015 in one room.
Nearby, my cluster of Nvidia 5090 Test Cards begins to warp the local time continuum as they calculate answers man was never meant to know.
Very gently, I open Microsoft Teams.
Instantly, the already deafening noise of fans increases to a murderous wail as they try to keep my equipment at operating temperatures. A nuclear reactors’ fusion catches up with its cooling and explodes destroying the lives of millions. The floor begins to melt away as my processors over clocked ten-fold reach critical mass and descend directly into hell. My Nvidia cluster collapses into a singularity and begins to devour the planet.
Quickly now, I open a text chat, it’s a bit laggy.
The sheer struggle of loading some text destroys the remaining systems. Me and my equipment are deleted from reality by an unknown overseer.
Humanity is not ready for instant messaging
Magos Logis Logan
boosted
stop doing reference counting
- references were never supposed to be counted
- hours of time spent refcounting with no use outside rust devs spiking compile times
"yes please give me a shitty thing that's worse than a garbage collector" - Statements dreamed up by the utterly deranged
LOOK what Rustaceans have been demanding your respect for all this time, with all the borrow checkers we built for them
let x = 4
let y = &x
"Hello I would like &variable please"
They have played us for absolute fools
AI rant
If I were to make a book about the most influential theorems of the 1900s, this would definitely make it in the book.
"Approximation by superpositions of a sigmoidal function"
The possible use of signal processing and control applications, is basically the same as deep learning. Later papers show that deep learning is even less limited. But think, all of modern computers and electronics, live in a subset of what machine learning can simulate.
Magos Logis Logan
boosted
RT @bodil
So many takes today on how severely a WhatsApp outage affects the developing world where the conclusion is "therefore you're a bad person if you want Facebook gone" rather than "how did we let so much essential infrastructure fall into the hands of the worst people possible?"
Magos Logis Logan
boosted
"What if we tried designing C a second time?"
submitted by neo1971tq
- 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
