Cristóbal Camarero

Trying to automatize high order theorem proving. Then and much later

[John Arundel @bitfield]

Which is better, Rust or Go? Which language should you choose for your next project, and why? How do the two compare in areas like performance, simplicity, safety, features, scale, and concurrency? It turns out both languages have much to recommend them: https://t.co/mTbdWTYmXI

[Stephen Wolfram @stephen_wolfram]

I never expected this: finally we may have a path to the fundamental theory of physics...and it's beautiful
https://t.co/1zNCYDMxhM

[Cristóbal Camarero @NakaCristo]

@mvankerkhove Can I make a COVID question? I see nobody talking about employing people that have recovered and have antibodies. How useful would be to hire immune medics? And for things like delivery of goods?

[sistedes @sistedes]

Primeros Premios @FundacionBBVA y SCIE a los jóvenes investigadores en informatica. Enhorabuena!

[Fundación BBVA @FundacionBBVA]

Los Premios de Informática abordan los retos de la revolución tecnológica @FundacionBBVA https://t.co/iWVqfKK95p

[Cristóbal Camarero @NakaCristo]

@raabydos ¡Enhorabuena! Yo estoy en camino a Madrid a recibir mi premio.

[Cristóbal Camarero @NakaCristo]

My #AI has just generated an insertion sort algorithm from the specification and a few simple lemmas. #programsynthesis

[Cristóbal Camarero @NakaCristo]

My #AI now understand simple modular arithmetic and finds that increments by 3 send a multiple of 3 to the next. #programsynthesis

[Cristóbal Camarero @NakaCristo]

Successful refactorization: from 6 to 20 times faster. A program generation that lasted 10m27s now lasts 32s.

[Cristóbal Camarero @NakaCristo]

Sum of multiples of 3 found automatically by my system. Does not understand yet the mod operator to make increments by 3. #programsynthesis

[Cristóbal Camarero @NakaCristo]

Finished adding notation and rules for my program synthesizer to use set notation. #programsynthesis

[Cristóbal Camarero @NakaCristo]

Is the proposition "forall (L:list) (i:int), L[i]=L[i]" true, false or an out of range error? #programsynthesis

[Cristóbal Camarero @NakaCristo]

@copperpot88 Thanks.

[ATC UNICAN @ATC_unican]

ATC researcher C. Camarero awarded a BBVA Foun./SCIE Research Award for contributions to HPC architecture. Congrats! https://t.co/5mZN2Qg3e5

[Cristóbal Camarero @NakaCristo]

My automatic programming system is now more meta by having programming rules as facts instead of having them hardcoded.

[MIT Technology Review @techreview]

New anti-aging strategy clears out old cells, increases life span of mice by 25% - https://t.co/A7bIRIx5gl

[Barry Ptolemy @TranscendentMan]

In a Huge Breakthrough, Google's AI Beats a Top Player at the Game of Go https://t.co/y63UmPoVcb

[Cristóbal Camarero @NakaCristo]

#AtuomatedProgramming A program that removes duplicates.

[Cristóbal Camarero @NakaCristo]

The resulting programs are bug-free, since the #AI verifies them with an internal theorem prover. That is, unless the AI itself has a bug.

[Cristóbal Camarero @NakaCristo]

#AutomatedProgramming of a list filter. My #AI is writing programs!