/mastodon/gutocarvalho @gutocarvalho

Recent searches

Search options

Only available when logged in.

0 posts0 participants0 posts today

**Hourly Otters (New)** @HourlyOtters@mas.to · Apr 5

Apr 5

Hourly Otters (New) @HourlyOtters@mas.to

Hello, here's an #Otter!

**Hourly Otters (New)** @HourlyOtters@mas.to · Mar 30

Mar 30

Hourly Otters (New) @HourlyOtters@mas.to

Look at this #Otter!

**Hourly Otters (New)** @HourlyOtters@mas.to · Mar 27

Mar 27

Hourly Otters (New) @HourlyOtters@mas.to

#Otter pic!

**Hourly Otters (New)** @HourlyOtters@mas.to · Mar 27

Mar 27

Hourly Otters (New) @HourlyOtters@mas.to

HourlyOtters presents: a #Otter!

**Mela News** @MelaNews@mastodon.uno · Mar 26

Mar 26

Mela News @MelaNews@mastodon.uno

Otter presenta Meeting Agent, assistente vocale AI per riunioni Risponde a domande, programma incontri e redige email utilizzando dati aziendali. Include trascrizione, partecipazione e riepiloghi automatici. #AI #Otter #Productivity #TechNews

**José A. Alonso** @Jose_A_Alonso@mathstodon.xyz · Mar 25

Mar 25

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Readings shared March 24, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/24-readings_shared_03-24-25 #AI #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Lisp #LogicProgramming #MachineLearning #Math #Otter #Prolog #Prover9

Vestigium · Mar 24Readings shared February 24, 2025The readings shared in Bluesky on 24 March 2025 are Formal verification of machine learning models in Lean. ~ Matéo H. Petel. #ITP #LeanProver #MachineLearning Why Lisp syntax works. ~ Fernando Borre

**Hourly Otters (New)** @HourlyOtters@mas.to · Mar 25

Mar 25

Hourly Otters (New) @HourlyOtters@mas.to

Hello, here's an #Otter!

**Cute & Funny Animals** @CuteFunnyAnimals@mastodonapp.uk · Mar 24

Mar 24

Cute & Funny Animals @CuteFunnyAnimals@mastodonapp.uk

#HelpingMyFriends #Monkey #Monkeys #Otter #Otters.

#Animal #Animals #CuteAnimal

**José A. Alonso** @Jose_A_Alonso@mathstodon.xyz · Mar 24

Mar 24

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Curso "Razonamiento automático (2008-09)". https://jaalonso.github.io/cursos/d-ra-08 #RazonamientoAutomático #Otter #Mace2 #Prover9 #Mace4 #DemostraciónInteractiva #IsabelleHOL

**José A. Alonso** @Jose_A_Alonso@mathstodon.xyz · Mar 19

**José A. Alonso** @Jose_A_Alonso@mathstodon.xyz · Mar 18

Mar 18

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Curso "Razonamiento automático (2007-08)". https://jaalonso.github.io/cursos/d-ra-07 #RazonamientoAutomático #Otter #Mace2 #Prover9 #Mace4 #DemostraciónInteractiva #IsabelleHOL

jaalonso.github.ioRazonamiento automático (2007-08)

**Mark A. Rayner** @markarayner@mas.to · Mar 16

Mar 16

Mark A. Rayner @markarayner@mas.to

Day 6: I believe they have accepted me as one of their own, though I'm worried about Larry, who keeps asking: "Is it just me, or do I smell wet dog?"

wet border collie amongst a group of otters floating in the water

#dog #dogs #otter

**Alex@rtnVFRmedia Suffolk UK** @vfrmedia@social.tchncs.de · Mar 15

Mar 15

Alex@rtnVFRmedia Suffolk UK @vfrmedia@social.tchncs.de

I'm intrigued by the #BBC headline that this #otter was "uninvited" - reading as if its not uncommon to invite an otter into your house in #Scotland

#wildlife #Britain #Shetland

https://www.bbc.co.uk/news/videos/cdjymg2pjg4o

BBC NewsUninvited otter wreaks havoc in family kitchenA family was surprised by the uninvited guest who wreaked havoc in their kitchen in Shetland.

**José A. Alonso** @Jose_A_Alonso@mathstodon.xyz · Mar 15

Mar 15

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Readings shared March 14, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/14-readings_shared_03-14-25 #ATP #CompSci #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #Mace #MachineLearning #Math #Otter #PVS #TypeTheory

Vestigium · Mar 14Readings shared February 14, 2025The readings shared in Bluesky on 14 March 2025 are La théorie des types, de Russell aux assistans à la demostration. ~ Thierry Coquand. #TypeTheory #ITP #Logic #Math Local look-ahead guidance via ve

**José A. Alonso** @Jose_A_Alonso@mathstodon.xyz · Mar 14

Mar 14

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Curso "Razonamiento automático (2005-06)". https://jaalonso.github.io/cursos/d-ra-05 #ATP #Otter #Mace #ITP #PVS

jaalonso.github.ioRazonamiento automático (2005-06)

**José A. Alonso** @Jose_A_Alonso@mathstodon.xyz · Mar 13

**José A. Alonso** @Jose_A_Alonso@mathstodon.xyz · Mar 12

Mar 12

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Curso "Razonamiento automático (2004-05)". https://jaalonso.github.io/cursos/d-ra-04 #ATP #Otter #Mace #Jape #Logic #ITP #PVS

jaalonso.github.ioRazonamiento automático (2004-05)

**José A. Alonso** @Jose_A_Alonso@mathstodon.xyz · Mar 12

Mar 12

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Curso "Demostración automática de teoremas (2004-05)". https://jaalonso.github.io/cursos/dat-04 #ATP #Otter #Mace #Logic #Math

jaalonso.github.ioDemostración automática de teoremas (2004-05)

**José A. Alonso** @Jose_A_Alonso@mathstodon.xyz · Mar 12

**José A. Alonso** @Jose_A_Alonso@mathstodon.xyz · Mar 11

Mar 11

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Curso "Razonamiento automático (2003-04)". https://jaalonso.github.io/cursos/d-ra-03/index.html #ATP #Otter #Mace #ITP #Jape #PVS

jaalonso.github.ioRazonamiento automático (2003-04)

Drag & drop to upload

Recent searches

Search options

Administered by:

Server stats:

#otter