| 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 |
#w3m |
w3m is a pager with WWW capability. *New Release: version 0.5.5* Don't ask to ask. Be patient. GitHub repo is not actively maintained - see https://github.com/tats/w3m/issues/304 for details. Check https://w3m-pager.org for a maintained alternative. Got no answer? Try the mailing list: ~rkta/w3m@lists.sr.ht |
14 |
| Libera.Chat |
#ocp |
OpenCubicPlayer :: This is a slow channel, if you ask a question, don't expected immediate answers :: FreeBSD -> audio/ocp :: https://stian.cubic.org/project-ocp.php :: original project -> http://www.cubic.org/player/ |
14 |
| Libera.Chat |
#kde-rust |
KDE Rust | https://community.kde.org/Rust |
14 |
| Rizon |
##bwf |
Welcome to ##BWF, If you wanna banter with a friend, you came to the right place,, TooT and Enjoy the Chat 😃☕❤ discord https://discord.gg/2SVsCyrNVP TooTs https://www.youtube.com/watch?v=ASywAfBAVrQ Pray for Ukraine and Israel. For Trivia, join #trivial. |
14 |
| IRCnet |
#pabianice |
koko max ! |
14 |
| Rizon |
#midnightexpress |
ᓚᘏᗢ Art Bell, UFOs, Aliens, Paranormal, Talk Radio, Podcasts, Computers, Sci-Fi, Video Games, General Nerd Chat & Tasteful Babe Pics | Stream & Chat http://midnightexpress.neocities.org | https://discord.gg/mQZkMNS |
14 |
| Libera.Chat |
#deadnet |
Listen to http://snr.dance !| Join the forum! http://bb.deadnet.se | http://deadnet.se |
14 |
| DALnet |
#karo |
¦|¦|¦|¦|¦|¦| Welcome to #KarO on DALNET [ Bagi yang inggin access kembali HUB nick CigerGo ] |¦|¦|¦|¦|¦|¦ |
14 |
| Libera.Chat |
#wine |
|
14 |
| IRCnet |
#bash.org.pl |
|
14 |
| OFTC |
#debian-xen |
Debian Xen Team | https://pad.hackalot.nl/debian-xen | stable: 4.17 | testing: 4.20 | unstable: 4.20 |
14 |
| OFTC |
#pulseaudio |
You must be registered to talk | Stable release: 17.0 | Troubleshooting: https://www.freedesktop.org/wiki/Software/PulseAudio/Documentation/Users/Troubleshooting/ |
14 |
| IRCnet |
#chojnice |
|
14 |
| Libera.Chat |
##latinitas |
Latin-only chat! | Lexicon Latino-Latinum http://lexica.linguax.com/forc.php | Instrumenta: http://bit.ly/1k4c7om ~ http://bit.ly/1dpgINw ~ http://bit.ly/1rOb13J | podcast/acroama www.spreaker.com/user/rodericus || Scrībe Graecē in ##ELLHNISTI |
14 |
| Undernet |
#scan |
|
14 |
| DALnet |
#kendari |
WeLcomE to #Kendari@DALnet ¤ Ketik !start untuk memulai game Famili 100 ¤ need help ? visit #Kendari ¤ need BNC/shells/eggdrop/hosting/VPS/Dedicated Server ? visit #Kendari |
14 |
| Undernet |
#gunit |
|
14 |
| OFTC |
#debian-meeting |
Go to https://wiki.debian.org/IRC/debian-meeting and book the chan for meetings or sessions! | Next: 100 Paper cuts project kick-off - 2019-06-17 19:00 UTC |
14 |
| Libera.Chat |
#crosstool-ng |
Discussion and support channel around crosstool-NG - http://crosstool-ng.org/ - https://github.com/crosstool-ng/crosstool-ng - Latest release: 1.27.0 - IRC logs: http://crosstool-ng.org/download/ibot-logs/ - Don't get an answer? Email: crossgcc@sourceware.org |
14 |
| OFTC |
#biz |
Business & Finance |
14 |
| EFnet |
#weather |
No functional weather script at the moment. Working on it. ( |
14 |
| Libera.Chat |
#hacklabto |
Hacklab.TO official channel. https://hacklab.to/archives/return-of-the-open-houses/ |
14 |
| Libera.Chat |
#wikipedia-spam-t |
This is the central talk venue for the en.wikipedia Anti-Spam effort, for multi-wiki see #wikimedia-external-links | Manual: https://w.wiki/3NkH and https://w.wiki/3NkJ | Public logging here is prohibited | Need voice on a channel? Ask here |
14 |
| Undernet |
#palawan |
Merry Christmassss ( https://palawantourismcouncil.com ) |
14 |
| Undernet |
#scripture |
To show that God thru the Scriptures can change lives, for the better http://www.scripturechannel.org |
14 |
| Libera.Chat |
#minikanren |
Discussion of logical programming and other comp sci issues. Off topic is fine |
14 |
| Libera.Chat |
#klipper |
|
14 |
| Rizon |
#japan-chat |
[Hello, welcome to Japan-Chat. Be nice.] |
14 |
| Undernet |
#4 |
❓ |
14 |
| Libera.Chat |
#freedroid |
Current release: FreedroidRPG 1.0 - https://www.freedroid.org/ - git clone https://codeberg.org/freedroid/freedroid-src.git - bugs + feature request: https://bugs.freedroid.org - patches: https://rb.freedroid.org - translations: https://www.transifex.com/projects/p/freedroid-rpg/ |
14 |
| IRCnet |
#cinema |
|
14 |
| Undernet |
#6 |
❓ |
14 |
| Undernet |
#9 |
❓ |
14 |
| Libera.Chat |
#bugzilla |
Official home of the Bugzilla project https://www.bugzilla.org/ - This channel is for development discussion. If you need help with your Bugzilla, go to #bugzilla-support |
14 |
| Libera.Chat |
#wallstreetbets |
|
14 |
| Rizon |
#conspiracy |
Wait a day or 2 for a reply here. Both Russia and Ukraine seem to want the war, but why? US and W. Europe pushing homosexuality, immorality, paying people to have babies, and out of control immigration to self destruction. x0.no/mmsz Good sites: www.backlash.com search: www.mojeek.com Empire NWO federal reserve dollar collapse survival mercury autism SARS-CoV-2 vaccine kills >1:8000. |
14 |
| Undernet |
#latitude |
-=- www.latitude.sh -=- Dedicated Server / DDoS Protection / Cloud and MORE - |
14 |
| IRCnet |
#lamers |
|
14 |
| Undernet |
#radioplay |
< RadioPlay > The best music on the WEB! ( Radio Online FM >> http://Radio.COM.RO & http://wWw.RadioPlay.Ro ) |
14 |
| EFnet |
#ircart |
@list textart for commands | textart git - github - bit.ly/3dh6CEZ |
14 |
| Undernet |
#punkmp3 |
|
14 |
| EFnet |
#rekt |
GET REKT |
14 |
| Libera.Chat |
#cfairies |
⚧️ computer fairies / http://netizen.club/ ⚧️ | best viewed in 1024x768 |
14 |
| Libera.Chat |
#qutebrowser-offtopic |
Discussion for everything which is offtopic in #qutebrowser, except for qutebrowser, which is offtopic in #qutebrowser-offtopic, and should go to #qutebrowser (and not #qutebrowser-offtopic-offtopic) ;-) |
14 |
| Libera.Chat |
#openbsd.fr |
|
14 |
| Libera.Chat |
#ostree |
|
14 |
| DALnet |
#klcc |
Welcome to #KLCC - Kuala Lumpur City Centre | Malaysia - Happy New 2025! ♥️🫰For AOP Applications send me a memo Thank You ☺️ |
14 |
| Libera.Chat |
#made |
themade.org the Museum of Art and Digital Entertainment |
14 |
| Libera.Chat |
#873gear |
Welcome to the 873gear channel. IRC873 EOL 01 OCT 2024. https://discord.gg/UXJ6NbPgGh |
14 |