Ronnie Mainieri

Co-founder • AI/ML • Political Quant • Theoretical Physicist • Science foodie • Some 5.9s • IPS • LANL • NYU • USP

[Ronnie Mainieri @rxmpb]

An AI that figures out what your computer is doing. Good or bad. As an Arxiv paper. https://t.co/FU29hxpGIE

[Ronnie Mainieri @rxmpb]

I would be curious to read @hubermanlab take on the permanent daylight saving time the senate just approved.

[Ronnie Mainieri @rxmpb]

@FSNotesApp It is amazing you have a major release. Be safe.

[Ronnie Mainieri @rxmpb]

Verifying myself: I am rxm on https://t.co/qvUF0UUOav. jqSkRZLaGl2mJobynuLr5kCOgiLgjPJkGKdK / https://t.co/bK9QRzbRIu

[Verizon Support @VerizonSupport]

@mcwm There is a fiber cut in Brooklyn. We have no ETR, as of yet. You can use the MY Fios app for updates. *EAG

[Christian Szegedy @ChrSzegedy]

Ongoing seminar "New Technologies in Mathematics: at Harvard:
https://t.co/Kz7JNjGgc3
With links to Video/slides of Josef Urban on AI for theorem proving to my talk on Language Modeling for mathematical reasoning.

[Ronnie Mainieri @rxmpb]

@jdtriska @AWS Thanks. Seems to be a wide spread problem on the East coast. I can still reach Twitter, Google, and a few other services.

[Ronnie Mainieri @rxmpb]

Anyone having problems reaching @AWS ?

[Adam Bouhmad @bouhmad]

Internet outages across the East Coast, you're not alone: https://t.co/aaYbvsufwp

[Ronnie Mainieri @rxmpb]

@taosecurity @knebbz I cannot reach @AWS either. Nor the status page.

[Ronnie Mainieri @rxmpb]

@thegrugq @chey_cobb @SteveBellovin @mattblaze Those are unique features used as input to other models. The number of outlets increased over time, but we just got more (almost) duplicate and less info. All well known wire services and newspapers were feeding that feature extracting system. It's an internal system we built.

[Ronnie Mainieri @rxmpb]

@thegrugq @chey_cobb @SteveBellovin @mattblaze I find that with Balkanized news sources there is less information spread over more articles. Example: keeping fixed 10s of 1000s of outlets, the number of unique features extracted per day from the news keeps falling.

[Ronnie Mainieri @rxmpb]

@onurcanbkts Got us both into chaos.

[Ronnie Mainieri @rxmpb]

To the heart of using TeX.

[Pete Markowsky @PeteMarkowsky]

@swagitda_ https://t.co/tQQqDMdlDv

[Ronnie Mainieri @rxmpb]

@pait Adorei essa observação

[Ronnie Mainieri @rxmpb]

Today #Mathematica30. Congratulations. Symbolic systems changed how I studied math. https://t.co/ELFNMIjF9o

[Katie Bo Lillis @KatieBoLillis]

NEWS: The CIA has delivered to the Senate a tranche of classified documents on President Trump's pick for director, Gina Haspel, related to her controversial undercover background at the agency, that all lawmakers can view. Story TK shortly.

[Ronnie Mainieri @rxmpb]

@halvarflake Some of the pros and cons center on Axiom of Choice. Constructivism & non-standard analysis r well explored. The other is set x functorial

[Ronnie Mainieri @rxmpb]

Slurping my bantha smoothie I wonder how my focus determines my reality.

[Ronnie Mainieri @rxmpb]

@jeremyjkun You can get a XOR with R(R(x1-2 x2) + R(x2 -2 x1)). Training is a different story.

[Ronnie Mainieri @rxmpb]

I could not figure out a few lines of x86 assembly. So I downloaded the Intel manuals. WOW. It it so big that I tried to grasp it with data analytics. https://t.co/okzlr9MP9r