| Libera.Chat |
##hott |
Homotopy Type Theory and Univalent Foundations | Book: http://homotopytypetheory.org/book/ | Code: http://homotopytypetheory.org/coq/ | Blog: http://homotopytypetheory.org |
14 |
| Libera.Chat |
#iphonedev-chat |
|
14 |
| Libera.Chat |
#nikola |
Nikola, a Static Site and Blog Generator (written in Python) | Website: https://getnikola.com/ | Bleeding-edge docs: https://docs.getnikola.com/ | Logs: https://irclogs.getnikola.com/ | Please be patient; timezones may defer a response. |
14 |
| Libera.Chat |
##astrophysics |
An open discussion forum for uncensored chats or debates about astronomy and physics. Special topics of interest include cosmology, theoretical physics, black holes. quantum mechanics, general relativity, the holographic principle, the simulation hypothesis, the many worlds hypothesis, exoplanets, and astrobiology. |
14 |
| Libera.Chat |
#lgm |
https://libregraphicsmeeting.org - LGM 2026: April 22-25 in Nuremberg |
14 |
| Libera.Chat |
#remirepo |
👋 Use the Wizard: https://rpms.remirepo.net/wizard/ - [ 🇬🇧 English or 🇫🇷 French please ] - PHP 8.1.34 / 8.2.30 / 8.3.29 / 8.4.16 / 8.5.1 🇺🇦 #StandWithUkraine |
14 |
| Libera.Chat |
##bsd.se |
Can the real #freebsd.se please stand up | <@tvaalen> I år kommer allt bli bra. | <@bzlm> oppy poppy friday | 13:38 <@tvaalen> 1337'o'clock. | 13:38 <@tvaalen> HELVETE! |
14 |
| Undernet |
#mp3punk |
|
14 |
| Libera.Chat |
#froxlor |
Official Froxlor Channel | https://froxlor.org | Current stable release version: 2.3.0 https://bit.ly/rls2300 | Main communication now on Discord: https://discord.gg/7dqQQNbrNh |
14 |
| Undernet |
#cancerchat |
Welcome to #CancerChat! Honest-Open Cancer Chat and Support! UNO Game is available in #vodafone. |
14 |
| Undernet |
#gigahost.no |
|
14 |
| Undernet |
#nebunaticii |
....::: Los Locos y la Mas Divertida Trivia para todos ! Para Poner En Marcha La Trivia tipea !jugar :::.... |
14 |
| Undernet |
#smurfvillage |
Merry Christmas!! Jingle bells, batman smells....... |
14 |
| Libera.Chat |
##simplicity |
https://github.com/BlockstreamResearch/simplicity -- https://github.com/BlockstreamResearch/rust-simplicity/ -- :NEW: Simplicity launched on Liquid mainnet -- Delving Simplicity Series: https://github.com/BlockstreamResearch/simplicity/discussions/categories/delving-simplicity |
14 |
| Undernet |
#uname-a |
|
14 |
| Libera.Chat |
#bsdrp |
** BSDRP 2.0 is out (UEFI, ARM) ** |
14 |
| Undernet |
#manchester |
welcome – chat, news, football and culture. A friendly place to meet people from Manchester and beyond. |
14 |
| Libera.Chat |
#finland |
|
14 |
| Libera.Chat |
#xoreos |
xoreos 0.0.6 || A reimplementation of BioWare's Aurora engine (and derivatives) || https://xoreos.org/ || https://github.com/xoreos/ || https://wiki.xoreos.org/ |
14 |
| Libera.Chat |
#vulnhub |
VulnHub ~ https://www.vulnhub.com/ |
14 |
| Undernet |
#linuxers |
El poder transformador de la Inteligencia Artificial en la Tecnología ( https://linuxers.xyz ) |
14 |
| Libera.Chat |
#fedora-iot |
|
14 |
| Libera.Chat |
#maxima |
The Maxima computer algebra system | https://maxima.sourceforge.io | Docs: https://maxima.sourceforge.io/documentation.html | Mailing lists: https://maxima.sourceforge.io/maximalist.html |
14 |
| Libera.Chat |
##mycology |
Welcome, mycophiles! We discuss all things Ethno/mycology, foraging, personal and commercial mushroom cultivation, medicinal fungi and myco/bio-remediation. Type .help for bot commands <3 | ** Tips, Tricks, and Teks: https://tinyurl.com/EthnoLinks, TPB search for "Lets Grow Mushrooms", buy from https://www.mushroomvideos.com/ |
14 |
| Undernet |
#nastycode |
|
14 |
| Libera.Chat |
#sml |
The Standard ML programming language | Docs: https://www.standardml.org/ | Libraries: https://github.com/standardml | ML 2021: https://icfp21.sigplan.org/home/mlfamilyworkshop-2021 | Please wait several hours for an answer |
14 |
| Undernet |
#triviamania |
Exhibiting Knowledge in Fun Learning. Enjoy the GAMES! [ !word | !uno | !hangmanstart | !bomb ] |
14 |
| Undernet |
#preview |
W █ e █ l █ c █ o █ m █ e |
14 |
| Undernet |
#physics |
Detection of disk-jet coprecession in a tidal disruption event https://www.science.org/doi/10.1126/sciadv.ady9068 |
14 |
| Undernet |
#forum |
⚜ Life! ⚜ Free Speech! ⚜ cbn.com/prayer ⚜ Jubilee Year! ⚜ archive.org ⚜ kiwix.org ⚜ tinyurl.com/IRC-Forum ⚜ tinyurl.com/efex-article-2 ⚜ |
14 |
| Libera.Chat |
##earthquakes |
Worldwide earthquake reports: https://www.reddit.com/r/EEW/wiki/index | Also at #earthquakes:matrix.org | GlobalQuake is now proprietary and no longer offers a local server to run: https://github.com/xspanger3770/GlobalQuake/blob/announcement/README.md |
14 |
| Libera.Chat |
#asahi |
|
14 |
| Undernet |
#ufo |
Comet 3i Atlas - Is it a SEED of LIFE or something STRANGE - I took a PICTURE https://www.youtube.com/watch?v=HqzQnf2pTRc |
14 |
| Libera.Chat |
#launchpad-dev |
Moved to Matrix - https://matrix.to/#/#launchpad:ubuntu.com |
14 |
| Libera.Chat |
#libressl |
LibreSSL is a version of the TLS/crypto stack forked from OpenSSL in 2014 |
14 |
| Libera.Chat |
##libstdcxx |
Libstdc++ developer chinwag | https://gcc.gnu.org/onlinedocs/libstdc++/ | Patch queue: https://patchwork.sourceware.org/project/gcc/list/?q=libstdc%2B%2B |
14 |
| Undernet |
#trabzonspor |
Fatihin fethettiði, Yavuzun yönettiði, Kanuninin doðduðu efsane þehir TRABZON! ( www.Trabzonspor.org ) |
14 |
| Libera.Chat |
#sickbeard |
There is no spoon - the node is not free. |
14 |
| Libera.Chat |
#fedora-ppc |
Fedora PowerPC discussions; Alt Arch discussions are welcome in #fedora-alt-arches |
14 |
| Undernet |
#friends |
|
14 |
| Libera.Chat |
##bitcoin |
|
14 |
| Libera.Chat |
#gemini-it |
Community del protocollo Gemini in lingua italiana | gemini://geminiprotocol.net/ | https://geminiquickst.art/it/ | https://codeberg.org/gemini-italia | #cos-e-gemini:matrix.org | Se è la prima volta che ti colleghi al canale, ci farebbe piacere sapere con quale pronome chiamarti e se hai una capsula Gemini |
14 |
| Undernet |
#mp3-classicoldies |
***** MERRY CHRISTMAS - Get a Lot of MP3-albums, oldies, classics and all kind of styles, also movies and videos. ***** |
14 |
| Undernet |
#bucharest |
|
14 |
| Libera.Chat |
#pbot |
Perl IRCv3 Bot | https://github.com/pragma-/pbot |
14 |
| Libera.Chat |
#2600hz |
KAZOO: Cloud-Based Telecom for Everyone | https://github.com/2600hz/kazoo/ | https://forums.2600hz.com/ | https://docs.2600hz.com/dev/ | Bi-weekly community call at https://parley.2600hz.com/?autocall=mod-community (see forum calendar for dates and time) |
14 |
| Libera.Chat |
#rust-fr |
|
14 |
| Undernet |
#scan |
|
14 |
| Libera.Chat |
##macos |
|
14 |
| Libera.Chat |
#ascension.run |
i saw mommy kissing santa claus while my dad was filming it from the cuck chair |
14 |