João Costa Seco

[TARDIS @TARDIS_eu]

We are at the 2nd & final day of the TaRDIS project kickoff meeting.

TaRDIS is #trustworthy #resilient #decentralised #intelligence for #edge systems

Use-case partners: @EdpRenewables @Telefonica_En @actyx & @infoGMV.
More information coming soon: https://t.co/HokVXd40U8

[TARDIS @TARDIS_eu]

Work package presentations proceeding with brainstorming at the TaRDIS kickoff meeting today in Lisbon.
#trustworthy #resilient #decentralised #intelligence for #edge systems

https://t.co/MFmzKXL2cR

@DTUtweet #CMS @UniofOxford

[TARDIS @TARDIS_eu]

🙌 Full house at the kickoff meeting today in Lisbon, NOVA campus.

#TaRDIS project, #horizoneurope #europeancommission, will address the ever-increasing complexities of developing correct and performant #heterogeneousswarms, #swarm systems

@Martel_Innovate

[Stop Shark Finning - Portugal @StopfinningUEPT]

Convidamos tod@s a partilhar este post.
Por favor.
Esta é uma causa que desde há muito tempo necessita de 1 apoio + forte.
Os tubarões são massacrados continuamente por causa do comércio das suas barbatanas.
Demora - de 1 minuto a dar o apoio e outro tanto a partilhar este post.

[Eduardo Sampaio @OctoEduardo]

Octopuses punch fishes. YES. OCTOPUSES. PUNCH. FISHES!!

Our new paper is out on @ESAEcology, showing that octos express this behavior during collaborative hunting with other fishes. This was probably the most fun I had writing a paper. Ever! (small 🧵)

https://t.co/Vwg9BoaSUo

[João Costa Seco @johny_dry]

Can't wait to see what's new at #GitHubUniverse #githubuniverseblastoff https://t.co/gKeMtHOIR5

[Fermat's Library @fermatslibrary]

Clever algorithm to find out whether or not 2 words are anagrams

[João Costa Seco @johny_dry]

@bernpton Congrats! Great work!

[Wonder of Science @wonderofscience]

The invisible 5-fold symmetry traced by Earth and Venus as they orbit the Sun.

Credit: Matthew Henderson

[Wil van der Aalst @wvdaalst]

Slides of the SEFM2019 keynote on "Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data" https://t.co/io3iVKbP6L. See https://t.co/2KoabcuD5S for the full paper. @sefm_conf #sefm19 #Oslo

[SEFM Conference @sefm_conf]

We will kick-off Day 3 of @sefm_conf 2019 with a keynote titled "Automated Test Generation: A Journey from Symbolic Execution to Smart
Fuzzing and Beyond" by Koushik Sen, UC Berkeley, USA - this one is not to be missed!😀 #sefm19 #Oslo

[SEFM Conference @sefm_conf]

Welcome to Day 2 of @sefm_conf 2019 in Oslo. We will be starting off with a keynote speech by @wvdaalst shortly. #sefm19 #Oslo

[Moshe Vardi @vardi]

TypeScript’s Quiet, Steady Rise Among Programming Languages https://t.co/W6glCCUur4 via @WIRED

[João Costa Seco @johny_dry]

The of Launching Vortex CoLab! @Altran @novalincs cister haslab

[Mike Hicks @michael_w_hicks]

I've moved the video for my "What is PL Research?" to Youtube, so you can watch it more easily (e.g., at 1.5X). https://t.co/YxMhCVa9Z6

[CodeAI @codeorg]

The Univ of California finally allows computer science to count towards admissions as a science class. 5 years in the making, this is a huge win for computer science and for students!
https://t.co/C7iow9c0di

[João Costa Seco @johny_dry]

@andy_leer @Raspberry_Pi @EbenUpton @guru Edge computing installation @novalincs, @LightKoneH2020, by @jcaleitao et al.

[Infer @fbinfer]

CACM review article on some of the theory the led to @fbinfer

https://t.co/iEX0jqZADx

[POPL 2027 @poplconf]

You may have only just recovered from #POPL2019 jet lag, but steel yourself... the #POPL2020 CfP is out!

https://t.co/oQeZXWkot6

[João Costa Seco @johny_dry]

@mgrnbrg