| Libera.Chat |
##hott |
Homotopy Type Theory and Univalent Foundations | Book: http://homotopytypetheory.org/book/ | Code: http://homotopytypetheory.org/coq/ | Blog: http://homotopytypetheory.org |
13 |
| Undernet |
#science |
https://attheu.utah.edu/facultystaff/scientists-discover-a-hidden-rna-aging-clock-in-human-sperm/ |
13 |
| Libera.Chat |
#tinycorelinux |
Welcome to the #tinycorelinux IRC Channel | www.tinycorelinux.com | Latest Releases: 15.x | Need help with extensions? Take a look at their .info files, i.e. gcc.tcz.info | Please identify with NickServ to speak: /msg NickServ HELP REGISTER , /msg NickServ HELP IDENTIFY |
13 |
| Libera.Chat |
#mageia-qa |
Meetings on the First and Third Thursdays of the month at 20:00 UTC, except when they coincide with Dev meetings; then 24 hours later. Mageia 10 alpha test ISOs Riseup pad: https://pad.riseup.net/p/mageia-10-alpha |
13 |
| Libera.Chat |
#iphonedev-chat |
|
13 |
| EFnet |
#kft |
KFT | Welcome! | USA: wake up now, vote in November! | NEWS in #kFtnews | | !kFthelp | Go Ukraine! | FTP Site available |
13 |
| EFnet |
#ottawa |
|
13 |
| Undernet |
#palawan |
Merry Christmassss ( https://palawantourismcouncil.com ) |
13 |
| EFnet |
#mensa |
How will Trump blame his genocide on the socialists? (friida answer: joe biden) |
13 |
| OFTC |
#debian-freelancers |
🍥 DebConf? { lamby, highvoltage, petn-randall } |
13 |
| Libera.Chat |
#gentoo-udev |
eudev has now been deprecated. sys-fs/udev is now supported on glibc *and* musl |
13 |
| TechNet |
#services |
Welcome to #services | SERVICES STAFF ONLY |
13 |
| Libera.Chat |
#bsdcafe |
|
13 |
| Undernet |
#simleu |
Welcome! |
13 |
| OFTC |
#biz |
Business & Finance |
13 |
| Undernet |
#radioklass |
Bine Ai Venit ( Te astept si pe /server -m irc.radioklass.eu ) |
13 |
| Libera.Chat |
#lora |
LoRa Modulation and LoRaWAN protocol |
13 |
| Undernet |
#undernet.dk |
Greetings & Salutations. You are most welcomeI. Please feel free to get comfortable and let us mingle in harmony <3 |
13 |
| Undernet |
#trabzonspor |
Fatihin fethettiði, Yavuzun yönettiði, Kanuninin doðduðu efsane þehir TRABZON! ( www.Trabzonspor.org ) |
13 |
| Libera.Chat |
#phpbb |
Welcome to #phpbb -- Official Support Channel for phpBB | phpBB 3.3.8 available: https://phpbb.com/downloads or https://bit.ly/3TUmh1l | Rules: https://phpbb.com/support/irc | NOT for Extension support. If you require assistance with Extension or Style development, join #phpbb-coding | Don't ask to ask...just ask! (NO /msg PLEASE!) | NOTE: All chat is being logged |
13 |
| 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) |
13 |
| Libera.Chat |
#fedora-iot |
|
13 |
| IRCnet |
#ircnet.pl |
https://tb.tahio.eu - free tunnelbroker service | https://www.ircnet.pl/serwery | Try also erssi - https://github.com/kofany/irssi/tree/evolved-irssi |
13 |
| Libera.Chat |
#armbian-devel |
armbian - Linux for ARM development boards | www.armbian.com | Github: github.com/armbian | Development talk |
13 |
| Libera.Chat |
#rust-fr |
|
13 |
| Libera.Chat |
#wikipedia-en-afc |
Welcome to the Articles for creation discussion channel! | Our edit feed is at #wikipedia-en-afc-feed | Our main page is https://w.wiki/3MgQ | Leave messages at https://w.wiki/3BK8 | Submissions: https://w.wiki/3MgR | Help desk: https://w.wiki/3MgS | Showcase: https://w.wiki/3MgT |
13 |
| Libera.Chat |
#gentoo-wsl |
Gentoo on WSL discussion and development | Freshly baked official images available at https://distfiles.gentoo.org/releases/ |
13 |
| Libera.Chat |
#ansible-windows |
Discussion of Ansible for Windows management, home of Ansible Windows Working Group (see https://github.com/ansible/community/wiki/Windows) |
13 |
| Libera.Chat |
#gentoo-zh-offtopic |
Gentoo 中文离题聊天群 | Telegram: https://t.me/gentoo_zh_offtopic | Matrix: #gentoo_zh_offtopic:shabi.id |
13 |
| OFTC |
#cryptoparty |
The robots are taking over! |
13 |
| OFTC |
#freebsd |
https://www.freebsd.org/handbook || Prod Releases: 13.0, 12.2 |
13 |
| Libera.Chat |
#lua-fr |
Bienvenue sur le salon #lua-fr, le chan francophone de Lua (Cours lua: https://julien.hammerdale.ovh/lua/1-lua_par_l_exemple/ — Cours Löve: https://julien.hammerdale.ovh/sheepolution/0-avant_propos/) |
13 |
| TechNet |
#support |
Welcome to #support | Please wait patiently for a staffer to help you | Once you have been helped, please part the channel. Do not idle here. |
13 |
| IRCnet |
#as__roma |
|
13 |
| Libera.Chat |
#vorbis |
Ogg Vorbis audio compression. If no one's here, try #xiph. |
13 |
| OFTC |
#rocm |
Radeon Open Compute community chat | https://rocm.docs.amd.com/ and https://rocm.blogs.amd.com/ for latest info | ROCm 6.0.2 is out! | See #Radeon for AMDGPU/ROCK/OpenGL/Vulkan | Stick around: your question may not be answered immediately |
13 |
| IRCnet |
#tesla |
|
13 |
| Undernet |
#londontrivia |
|
13 |
| Libera.Chat |
#mssql |
|
13 |
| Libera.Chat |
#haskell-ops |
[#haskell moderators : http://haskell.org/haskellwiki/IRC_channel/Management - Users are welcome to join for specific discussion but asked not to idle ] |
13 |
| IRCnet |
#wrltbe |
|
13 |
| Libera.Chat |
#debian-es |
Docs → debian.org/doc/FAQ debian.org/doc/manuals/reference wiki.debian.org || Para pegar usa paste.debian.net || Repositorios → www.debian.org/mirror/list || ESTO NO ES #ubuntu-es || RTFM manpages.debian.org || Que imagen descargo? → cdimage-search.debian.org || Debian Estable → Trixie 13.0 || Actualizando a Trixie? → debian.org/releases/bookworm/releasenotes |
13 |
| Undernet |
#uzzi |
|
13 |
| Undernet |
#triviaoasis |
T R i V i A O a S i S the Kewlest Trivia on the Net! |
13 |
| DALnet |
#security |
[★] Prefer Use English [★] There Is No Perfect Security In This World | Update & Backup your systems |
13 |
| Undernet |
#chess |
The channel keeps 'DenSpike' as manager as a tribue in his memory, as per chanop community requested. |
13 |
| IRC-nERDs |
#idlerpg |
"" |
13 |
| Libera.Chat |
#cats |
We Love Cats || Alt-channel for EFNet:#cats |
13 |
| OFTC |
#ceph-orchestrators |
Ceph Orchestrator and cephadm development | https://tracker.ceph.com/projects/orchestrator | https://ceph.io/ |
13 |
| OFTC |
#haiku-offtopic |
Off-topic chat room for the community of the Haiku® operating system | Main channel: #haiku | Chat is not publicly logged. |
13 |