Mick de Neeve

Irish trad+jazz cellist, philosopher+programmer, logic+AI researcher, humanist.
Follow & I tend to follow back, to increase network density of shared interests.

[Mick de Neeve @mickdeneeve]

Had a paper published in #Baltic International Yearbook of #Cognition, #Logic and #Communication, following #University of ##Latvia conference. Plausibly my only peer-reviewed publication. Hope I did justice to late Steve Larson, whom I admire. https://t.co/vDQLheKGcH #semantics

[Mick de Neeve @mickdeneeve]

No more #Arctic summer ice: #Antarctica wants to take back control of its borders.
#climatechange

[Jos Collignon @CollignonJos]

Gaat ook de Zuidpool z'n buitengrenzen beter bewaken?

[Mick de Neeve @mickdeneeve]

Leonardo da Vinci with his muse Lisa del Giocondo, photo taken around 1515 by Herbert George Wells.
#leonardodavinci #monalisa #hgwells

[Mick de Neeve @mickdeneeve]

So here's an old #AI hallucination of mine, and while I must've been quite mistaken about the number of disks required, I was on the right track given #Microsoft's stake in #OpenAI (#ChatGPT).
#artificialintelligence #microsoftwindows #windows2000

[Mick de Neeve @mickdeneeve]

Herbie Hancock's business card, 1960.
#herbiehancock #jazz #piano

[Mick de Neeve @mickdeneeve]

"Information is the only resource that grows while it is used."

- Prof. Johan van Benthem (logic), University of Amsterdam, 1995

#universityofamsterdam #uva #information #logic

[Mick de Neeve @mickdeneeve]

#BennyHill's #wishingwell (#britishcomedy, 1969)

[Mick de Neeve @mickdeneeve]

@IJzendoornV Een of andere onverlaat dacht w.s. dat een beetje 'audience participation' wel leuk zou zijn. En als je gewoon wil kijken en je mond houdt, krijg je vast priemende blikken (i.i.g. in Engeland). Wat mij verbaast is het gebrek aan kritiek in de Britse media (m.u.v. The Guardian).

[Mick de Neeve @mickdeneeve]

Nailed it.
#mathematics #infinity

[Mick de Neeve @mickdeneeve]

#koningsdag #koningsnacht #willemalexander #maxima #amalia

[Mick de Neeve @mickdeneeve]

@eoinyk @SimonCatRiley If this is, as I presume, in an EU member state, then showing the Union Jack would be as inappropriate as showing the Stars & Stripes.

[Mick de Neeve @mickdeneeve]

Rest in peace #AhmadJamal. Your own voice should've been heard more widely, but it has ultimately been heard via @milesdavis.

[Mick de Neeve @mickdeneeve]

@sjoerdddejong De Krim is Oekraïnes grootste troef, maar dat is wel iets wat ze zo lang mogelijk moeten uitstellen om openlijk te erkennen.

[Mick de Neeve @mickdeneeve]

@Z06Ronald @SlapendNL @Nieuwsuur Ik keek later met heel andere ogen naar Rambo 3, waar de mujahedin gezellige jongens waren waarmee je kon lachen, voetballen en thee drinken.

[Mick de Neeve @mickdeneeve]

@SlapendNL @Nieuwsuur Dat verklaart dan vermoedelijk dat destijds merkwaardige besluit van Balkenende om 'politieke' steun te verlenen.

[Mick de Neeve @mickdeneeve]

@SlapendNL @Nieuwsuur Jazeker, waarvoor dank. Dat was wel na de 'mission accomplished' van Bush, maar ook ruim voor de opkomst van IS. Wat het eerste betreft had ik dan weliswaar gelijk, maar over het tweede schoot ik, toegegeven, tekort.

[Mick de Neeve @mickdeneeve]

@SlapendNL @Nieuwsuur Je hoeft ook niet aardig te doen hoor, dat zeg ik toch net, maar ik ben wel benieuwd waarop je die wijsheid dan baseert.

[Mick de Neeve @mickdeneeve]

@SlapendNL @Nieuwsuur Dat is niet zo aardig om mensen dom te noemen, en met een hashtag erbij al helemaal niet. Maar vooruit, deel je kennis dan maar die aantoont dat Nederland samen met de Amerikanen en de Britten deelnam aan de aanvankelijke inval.

[Mick de Neeve @mickdeneeve]

@SlapendNL @Nieuwsuur De inval van 2003 steunde Nederland alleen 'politiek', niet militair. Maar omdat de oorlog Irak (en Syrië) vervolgens zeer instabiel maakte (gek hè), werden we er alsnog ingezogen nadat IS de macht greep. Die inval boodt Poetin overigens een rechtvaardiging voor z'n eigen inval.

[Mick de Neeve @mickdeneeve]

@eoinyk I'd seen posts about this before but this is the one that might explain the real motivation: making it next to impossible for Labour to negotiate an EU customs union deal (which'll one day be needed to sort out the Northern Ireland mess). https://t.co/O4WobIDZ1k