hometown - Link to source

I think my paper on Dummett, proof assistants and pluralism has shaped up rather nicely, and it will be good to see it out in the Proceedings of the Aristotelian Society in a few months’ time. You can read the preprint now.

Thanks to everyone who gave me feedback on earlier drafts, and discussed these issues along the way.

There's more to be done, but I hope to have clarified some issues around how we can think about the relationship between constructive and classical reasoning, and how philosophers might engage with what is going on in the application of dependent type theory in proof assistants, programming language design, and the formalisation and mechanisation of reasoning.

consequently.org/writing/what-…

#logic #prooftheory #typetheory #philosophy

What can We Mean? On Practices, Norms and Pluralisms — consequently.org

consequently.org
#philosophy #typetheory #logic #prooftheory
This entry was edited (1 year ago)

mastodon - Link to source

Should #Conversations_im add stun.conversations.im as a fallback for #XMPP servers missing XEP-0215: External Service Discovery?

I’ve hesitated to add anything resembling "calling home" (no update checker, no metrics).

However, the main goal here wouldn’t be improving A/V call success (though it helps) but making P2P file transfers more reliable. Many servers still lack HTTP Upload, and the refactored Jingle File Transfer would benefit greatly from a fallback STUN server.

  • Yes (72%, 63 votes)
  • No (27%, 24 votes)
87 voters. Poll end: 1 year ago

#xmpp #conversations_im

Peter Vágner reshared this.

in reply to Daniel Gultsch

mastodon - Link to source

ZeroZX

If it can be deactivated in the configuration, then I don't see an issue with that. I would appreciate a warning though somewhere, maybe just a Message Toast on both sides that the fallback is used. That would help notice wrong configurations.

It would be great if conversations could verify that stun/turn works completely in addition to that. (Might also be a separate tool).

mastodon - Link to source
New LibreOffice #podcast! In episode 1 we talk about marketing the suite, and free and open source software (FOSS) in general: peertube.opencloud.lu/w/2mvsmp… #foss #OpenSource #freesoftware

LibreOffice Podcast, Episode #1 – Marketing Free Software

Italo Vignoli and Mike Saunders from The Document Foundation, the small non-profit behind LibreOffice, discuss marketing free and open source software. Join our marketing community: https://www.lib...
PeerTube Luxembourg
#FreeSoftware #foss #opensource #podcast

reshared this

mastodon - Link to source
Pohlavár Himl se mu vysmál, ale špiclové byli krátcí. "Nedo" utekl až do Síně slávy
sport.aktualne.cz/vaclav-nedom…

Pohlavár Himl se mu vysmál, ale špiclové byli krátcí. "Nedo" utekl až do Síně slávy

Uplynulo pět let ode dne, kdy byl Václav Nedomanský uveden do Síně slávy v Torontu. Projděte si příběh střelce, který kvůli snu emigroval za oceán.
Ondřej Zoubek (Aktuálně.cz)

mastodon - Link to source
Int'l men's day, suicide prevention

Sensitive content

mastodon - Link to source
While doing an unrelated Google search, I discovered a Youtube video about a fascinating toy from the 70's. I've never owned or seen one of these, but the way they managed to make the toy seem to be intelligent is just amazing. There's no computer chips, no data processing, none of that. Just an 8-Track player at the heart of the thing. 2XL: The '70s Toy that Faked AI with an 8-Track: youtube.com/watch?v=amuRIydCoJ…

2XL - The ‘70s toy that faked A.I. with an 8-Track

2-XL - a smart toy created from a very simple idea. 00:00 Start 00:55 Power 01:54 Testing 1203:23 Player repair07:37 Cart repair11:18 First demo14:05 Talking...
YouTube
in reply to Jayson Smith

mastodon - Link to source

David Goldfield

I had a 2XL back in the day. It really was just an 8-track tape player with four buttons to jump too each of the tracks. Each track was recorded in such a way that, whenn you switched tracks at the right time, you'd get a different response. As you say, it had no intelligence but it sure did a nice job faking it. Unless you were one of thhose kids who understood how 8-track tapes worked.
in reply to David Goldfield

mastodon - Link to source

James Dean (has moved)

@DavidGoldfield I also had a 2XL, didn't know how it worked until long after they were both dead. I had two, not at the same time, and quite a few tapes. Some were, Battman's Gotham City, Riply's Believe it or Not, Spiderman (unsure of full title,) and Music Maker, which was the coolest one! It allowed you to use diferent musical snippets to make a song! Primitive now of course.
@David Goldfield

mastodon - Link to source
confilegal.com/20241119-el-abo…
Meme en seis viñetas: "¿Qué somos?! "¡¡Funcionarios!!" "¿Qué defendemos?" "¡¡Lo público!!" "¿Y qué queremos?" "¡¡Que no nos quiten la Sanidad Privada!!"

El abogado del Estado Edmundo Bal sobre MUFACE: "es una auténtica vergüenza que el Gobierno nos deje de...

El concierto de Mutualidad General de Funcionarios Civiles del Estado (MUFACE) ha quedado desierto. Las aseguradoras que hasta ahora prestaban este servicio, Adeslas, ASISA y DKV, han optado por no presentarse al nuevo convenio vigente para 2025-2026…
Blanca Valdés (Confilegal)

mastodon - Link to source

Damnit 念无双people, why are you stingy with the promos??
Ok at this rate I want to say all I want is for A Moment But Forever to release now so that I can stare at the pretty people.
Ok ONE specific pretty person, admittedly.
Also realised that it's not that I dislike #xianxia. So much of xianxia is catered to the 20s demographic. I want the characters to be more mature and older. We older folks want our fantasy stories too & this is a rare one that caters to older audiences.

#Cdrama #Cdramas

#CDrama #CDramas #xianxia
This entry was edited (1 year ago)

mastodon - Link to source

Cinco detenidos en #Brasil🇧🇷 (un policía y cuatro miembros de las fuerzas especiales del Ejército) por planificar el asesinato del entonces todavía presidente electo Lula, del vicepresidente electo Geraldo Alckmin y el juez del Supremo Alexandre de Moraes en diciembre de 2022

Detalle: han sido detenidos en Río de Janeiro, mientras operaban en la protección de la cumbre del #G20

#golpe #terrorismo #política #noticias
g1.globo.com/politica/blog/cam…

#Brasil #noticias #política #golpe #terrorismo #G20
This entry was edited (1 year ago)

mastodon - Link to source

Oha, das ist provokativ: Dieser Blogartikel sagt:

- Nutzt kein #PGP / #GPG
- Nutzt kein #XMPP + OMEMO
- Nutzt kein #Matrix (im Sinne: verlasst euch nicht auf die Verschlüsselung)
- E-Mails verschlüsseln ist sinnlos

Ich kenne den Autor nicht und würde ihn nicht erwähnen, würde der Artikel nicht in ernstzunehmenden ITSec-Newslettern zitiert

soatok.blog/2024/11/15/what-to…

Meinungen? #itsec #security


What To Use Instead of PGP - Dhole Moments

It’s been more than five years since The PGP Problem was published, and I still hear from people who believe that using PGP (whether GnuPG or another OpenPGP implementation) is a thing they s…
Dhole Moments
#xmpp #matrix #gpg #security #pgp #itsec

mastodon - Link to source
Good morning Fediversistas! We walk out into winter once more, the snow thick on the ground, the dawn delayed by ominous clouds, the air sharp in our lungs, snowballs collect on leg fur and wellington boots, fingers tingle as we remove gloves to feed the swans, we are grateful for the snow, for the pictures it paints across the landscape, for the new day, and we walk on into it
A willow tree beside a brook in a snowy tree lined valley on a wintry morning

mastodon - Link to source

Discover the Buddhist Diamond Sutra, the World’s Oldest Surviving Complete Printed Book (868 AD)

openculture.com/2023/08/discov…

Discover the Buddhist Diamond Sutra, the World's Oldest Surviving Complete Printed Book (868 AD)

It isn't easy to say which book is the oldest in the world, because the answer depends on what, exactly qualifies as a book.
Colin Marshall (Openculture.com)

mastodon - Link to source

El nuevo reglamento de Extranjería incluirá una regularización excepcional de miles de migrantes que pidieron asilo sin éxito

eldiario.es/desalambre/nuevo-r…


El nuevo reglamento de Extranjería incluirá una regularización excepcional de miles de migrantes que pidieron asilo sin éxito

La reforma del reglamento de la Ley de Extranjería será aprobada este martes en el Consejo de Ministros.
Gabriela Sánchez (ElDiario.es)

mastodon - Link to source
Pro-democracy activist Benny Tai has been jailed for 10 years over organizing an unofficial primary election in 2020, as Hong Kong’s High Court delivered sentences in the city’s largest national security case to date. hongkongfp.com/2024/11/19/brea…

Benny Tai, Joshua Wong among 45 Hong Kong pro-democracy activists jailed up to 10 years in landmark national security case

Benny Tai was among 45 Hong Kong pro-democracy figures sentenced on Tuesday after being convicted of conspiring to commit subversion.
Kelly Ho (Hong Kong Free Press HKFP)

mastodon - Link to source
🧣Artist: #DavidZinn in City: #Tipton #HiddenLakeGardens MI USA 🇺🇸 11/2024 - Title:
🟡 "Anastasia waits for good luck to
fall into her lap. 🍀🐹
🔴 "Anastasia wartet darauf, dass ihr
das Glück in den Schoß fällt."
#StreetArt #Art #Chalkart #Artist #SidewalkChalk #3DArt #Optimism #Luck #GoodMorning !
Streetart. A small hamster (named Anastasia) with a tree was painted with chalk on the tiled floor next to a flower pot. It sits next to a (painted) tree trunk in a (painted) hole and looks up into the treetops. However, these are not painted, but small shamrocks that grow next to the clay pot and have been integrated into the chalk painting without further ado. Title: "Anastasia waits for good luck to fall into her lap."
#art #artist #3dart #goodmorning #streetart #davidzinn #chalkart #sidewalkchalk #optimism #tipton #hiddenlakegardens #luck
⇧