Marco Gario

[Scott Galloway @profgalloway]

The viewership metrics were inflated by 150 to 900%. Whole companies shifted their strategy to video. Companies going bankrupt, people losing jobs, FB gets away with 0.18% of annual income ($40M / $22B), a slap on the wrist.

https://t.co/6Gdw2eRY7a

[Undo @undo_io]

Do you know about the neat stuff you can do using the #python integration in #gdb? @gregthelaw shares some of this top tips in this screencast https://t.co/LC1kA9VR10
#gnu #debugging

[Marco Gario @GarioMarco]

@alastair_d_reid @porglezomp Suggest portfolio solving (a la Satzilla) ? Lots of Machine learning potential there!

[Claire Xen 🏳️‍⚧️🧙🏻‍♀️ 💖💛💙 BLM 🏴🚩 @oe1cxw]

This file says "Copyright (C) 2019 Brown University, By: Soheil Hashemi 2019". https://t.co/dxbouVfQkU But it's in large parts just copy and paste from https://t.co/Y7wwtmtFCU, which I wrote. For large portions of the file the only difference is the indenting. cc @BrownUniversity

[Computer Science @CompSciFact]

'You either believe in the law of the excluded middle, or you don't.' -- Lew Lefton

[Marco Gario @GarioMarco]

@hillelogram Nice summary! To me the key difference is the focus on "arbitrary" inputs (PBT) vs "validated" inputs (MT), eg as part of a pre-existing test suit. From a practical standpoint, there might not be a reason to distinguish them...

[Nathaniel Popper @nathanielpopper]

We lost the $150 million in cryptocurrencies that we held for customers because our founder died and he was the only one with the passwords to the wallets. Welcome to the financial future! https://t.co/81auPh1lxZ

[Marco Gario @GarioMarco]

pySMT 0.8.0 is out! More PRs by contributors than by core developers!!!Thanks everyone! 💖
https://t.co/9Pku1uCi4h

[XKCD Comic @xkcdComic]

Consensus New Year https://t.co/EBzm1DWmeI https://t.co/eEWjE7G0Xt

[CAIRNE @cairne_eu]

Italy is the first EU country whose government supports CLAIRE, leading the way to realising our bold and inclusive vision for European excellence in #AI: https://t.co/s0zLSH5fCI 🇮🇹 🇪🇺👍 ... Any guesses on who's going to be next? @EU_Commission

[Lindsey @lindsey]

Interning on the @rustlang team was one of the most fun things I did during my Ph.D. There were five of us interns in 2011, and *all* of us returned the following summer; that's how good an experience it was. Go apply!

[UK NML ChemBio&GC @NML_ChemBioGC]

BBC News - Kilogram gets a new definition https://t.co/v0u9IVsYAI #siredefinition @bipmmedia @npl

[Marco Gario @GarioMarco]

@geofflangdale @ciphernyx @oe1cxw @johnregehr Python interfaces make it easy to experiment with different ideas quickly. Smtlib simplifies changing backends easily. Our work on https://t.co/F7Vt6NKjoV tries to combine both aspects. Still, many nice solvers and features to integrate...

[GitHub @github]

Open source 💻
Community 👯‍♀️
T-shirts 👕
Oh my!
Year 5 of Hacktoberfest is rolling around again; get involved, whether it’s your first time or fifth: https://t.co/Atp1cqi4mc

[Marco Gario @GarioMarco]

@oe1cxw We are very satisfied with @appveyor for CI against windows. Although mostly python, we do need to build some bindings with Visual Studio https://t.co/uAEdLeAVSH

[Marco Gario @GarioMarco]

Interesting ideas on how to structure a code review as an art critique. First describe then critique. Could be a good exercise to write documentation on existing codebases https://t.co/X5zDOMUFju

[Andrea Micheli @andreamicheli]

I have just signed the #CLAIRE initiative in support of European excellence in human-centred AI. Find out more about it at https://t.co/MZwFu1TLZS and help us spread the word! https://t.co/xKFSYR5Z4z

[Marco Gario @GarioMarco]

J-1 International Intern - Automated Speech Recognition Verification - Princeton, New Jersey https://t.co/ipqt4EfIQ0

[Filippo Valsorda @filippo.abyssdomain.expert @FiloSottile]

Finally someone explaining to engineers that the world of regulations does not work like they imagine it does. https://t.co/Me3rmXrJjT

[Marco Gario @GarioMarco]

@pycharm 2x performance improvement in parser module without changing a single line of code! https://t.co/K7kUjSJ48A