Marco Solieri

Enthusiast computer scientist: researcher on embedded and real-time systems, and on programming languages and logic; teacher; sysadmin; FLOSS supporter.

[Marco Solieri @SoujaK]

Just posted a photo @ Lucca, Italy https://t.co/oJrfg7rqyH

[Marco Solieri @SoujaK]

@arturodicorinto Progressi di Bletchely su ing. computer restarono a lungo segreti—difficile immaginare sostanziale impatto (infatti pietre miliari di Zuse e IBM ne furono largamente indipendenti). Parallelamente negli stessi anni informatica (≠ ing. computer) era teoricamente fondata da logici

[Marco Solieri @SoujaK]

@arturodicorinto Ottimo.

Resta molto ardito, sebbene immaginifico, affermare che l'informatica moderna nasca dalla crittografia (e discipline affini), perché il legame fattuale è debole (o assente). Semmai la madre è la logica matematica, con Turing ma anche Godel, Church, Kleene, Von Neumann...

[Marco Solieri @SoujaK]

@arturodicorinto Questo passaggio ha del romanzato: Turing contribuì alla teoria della computazione e ad Enigma, ma i due sforzi sono largamente indipendenti l'uno dall'altro.

[Steven Strogatz @stevenstrogatz]

How Close Are Computers to Automating Mathematical Reasoning? | Quanta Magazine https://t.co/2EMTU2mi8B

[Marco Solieri @SoujaK]

@tklengyel @stabellinist We have an experimental prototype for x86 (to be released by Sept) but we haven't tried *combining* it w/ CAT, yet. It's in my wishlist. It should allow finer granularity in partitioning and reduce self conflicts for partitioned domains.

[I-MECH project @IMECH_Project]

3rd edition of OSPM summit, 1st day!!!
Our colleagues from Evidence Srl have successfully demonstrated the EtherCAT master!!!

[I-MECH project @IMECH_Project]

Don't forget to watch the live streaming presentation made by I-MECH partner Marco Solieri from UNIMORE about the "I-MECH: Real-time virtualization for industrial automation". #automation, #modular, #industry, #machine
https://t.co/t7XflfHhFe

[Marco Solieri @SoujaK]

@cstheory Quite superficial. What about, e.g, subscription-based services? You can pay with dollars instead of private data, without sacrificing your digital freedoms. Truth is, they most probably don't care, or know—not a single word about them in their "cost evaluation".

[Marco Solieri @SoujaK]

@thejonmccoy @thesp0nge I have trouble understanding the very notion of computing language for many of these. Rephrasing your question: how can one (dis)prove that a Turing equivalent formalism can be encoded there?

[Marco Solieri @SoujaK]

@thejonmccoy @thesp0nge Too broad to be answered without isolated examples (e.g., divergence is necessary). May you narrow your interest, perhaps to a specific language family?

[Brenan Keller @brenankeller]

A QA engineer walks into a bar. Orders a beer. Orders 0 beers. Orders 99999999999 beers. Orders a lizard. Orders -1 beers. Orders a ueicbksjdhd.

First real customer walks in and asks where the bathroom is. The bar bursts into flames, killing everyone.

[Marco Solieri @SoujaK]

The world is about to redefine the kilogram

It involves complex science and beautifully simple philosophy.

https://t.co/nxinIPwF9Y

[I-MECH project @IMECH_Project]

@IMECH_Project F2F meeting, this time at the @infoGMV premises!!
A fruitful discussion is taking place between I-MECH #BuildingBlock leaders and #pilotowners. Happening now!

[Marco Solieri @SoujaK]

Smart Roads: the Digital Revolution: Sept 27th, Autodromo di Modena [Modena Automotive Smart Area] https://t.co/dA9iqDLExn

[Marco Solieri @SoujaK]

'I was shocked it was so easy': ​meet the professor who says facial recognition ​​can tell if you're gay | Technology | The Guardian - https://t.co/WTdqxy07yk

[Bruno Borges @brunoborges]

$ whoami
ubuntu

$ whereami
In a Docker container. Inside a Kubernetes cluster. Running in a VM. On top of a Hypervisor. In someone else's datacenter.

$ howdidigethere
No. Fucking. Clue.

[Hermes Center @HermesCenter]

[ITA] La camera porta di soppiatto la dataretention a 6 anni

https://t.co/2BPxIruTmo

[Marco Solieri @SoujaK]

@konisolde @ownCloud @ownClouders @CERN @ownClouders Does the CERN Advanced STORage system actually use OC?

[Marco Solieri @SoujaK]

A programmer turned Wikipedia into a classic text adventure https://t.co/yTXNBoCC29