| Libera.Chat |
#agda |
Asked a question? Stay online for an answer! | https://agda.zulipchat.com | https://wiki.portal.chalmers.se/agda | https://agda.readthedocs.io | https://agda.github.io/agda-stdlib | https://agdapad.quasicoherent.io/~Padova2025 | https://plfa.github.io | https://github.com/pigworker/CS410-18 | https://www.cs.nott.ac.uk/~psztxa/g53cfr | https://tinyurl.com/sywtltt | https://1lab.dev |
54 |
| Libera.Chat |
#startups |
Welcome to #startups - https://www.startupschool.org |
54 |
| freenode |
##hardware |
No religion, politics, cryptocurrency talk, or unfair discrimination. Nvidia, Intel, AMD, ARM, Qualcomm and etc. are the main topics. |
54 |
| Undernet |
#liban |
Welcome to #Liban, LEBANON. |
54 |
| Libera.Chat |
#opus |
IETF audio codec discussion | latest releases: opus 1.6.1, opus-tools 0.2, opusfile 0.12, libopusenc 0.3 |
54 |
| Libera.Chat |
#rocq |
The Rocq Prover (https://rocq-prover.org/) - 9.0.0 is out: https://rocq-prover.org/releases/9.0 - Zulip: https://rocq-prover.zulipchat.com/ - Discourse: https://discourse.rocq-prover.org/ - Wiki: https://github.com/rocq-prover/rocq/wiki |
54 |
| DALnet |
#eggdrophelp |
🥚 Welcome to #EggdropHelp @ DALnet's Eggdrop-Help Premium Resource | LATEST! Stable release Eggdrop resource: https://www.eggheads.org/downloads/ 🥚 |
54 |
| Libera.Chat |
#sopel |
Welcome to #sopel, birthplace of Sopelunking! | Latest version: 8.0.4 | Website/Docs: https://sopel.chat/ | GitHub: https://git.io/sopel | Tell us your .version when asking for help | Keep questions in-channel; don't PM random people | Sopelurking welcome! |
54 |
| Libera.Chat |
##dependent |
Martin-Löf intuitionistic type theory | https://archive-pml.github.io | https://github.com/dpndnt/library | https://tinyurl.com/sywtltt | <roconnor> I'm amazed anyone does anything cause everything is so hard to do. | <dolio> The 'real number' is not the thing you measure, it's the idealization of the process of making infinitely many, ever more precise measurements. |
54 |
| Libera.Chat |
#lvm |
Discussions and Support of LVM2 (the Linux Logical Volume Manager) - https://www.sourceware.org/lvm2/ |
54 |
| Undernet |
#femsubmissionsex |
|
54 |
| OFTC |
#wikicensorship |
Talk about Internet censorship events. |
54 |
| ChatSansar |
#nepal |
Welcome to Nepal Chat - https://NepaliChat.com - ChatSansar Network. Enjoy Your Stay Here in ChatSansar! New Moderators will now need to go through facial recognition |
54 |
| Libera.Chat |
#html |
HyperText Markup Language | Welcome! | https://html.spec.whatwg.org | #css for styling | No WYSIWYGs | Validate first: http://validator.nu | HTML reference: say e.g. `html div | Paste links, not code: `paste |
54 |
| IRCnet |
#debian.de |
#debian.de | Trixie 13.3 | https://paste.debian.net | channel.debian.de |
54 |
| Undernet |
#oradea |
Welcome To #Oradea ! ( Welcome back W - www.undernet.org/news/w-birthday-return ) |
54 |
| Libera.Chat |
#claws |
Claws Mail 4.3.1 Unleashed!! Chngnamh! | When asking for support, have patience while waiting for a response |
53 |
| Libera.Chat |
##sweezero |
A small but great programming community. | https://zero.swee.codes | RULES https://swee.codes/sweezero-chat-rules.txt | We ❤️ IRC | rip bridge 😵💫 |
53 |
| Undernet |
#crazy |
I'll take crazy over stupid any day. |
53 |
| Undernet |
#dubova |
|
53 |
| IRCnet |
#lodz |
|
53 |
| IRC-nERDs |
#tesla |
This is the unofficial channel for Tesla the AI/Tech company. | Tesla Stock: ^stock tsla | https://www.tesla.com | https://reddit.com/r/teslamotors |
53 |
| EFnet |
#hiphop |
pewpew |
53 |
| Libera.Chat |
#gameoftrees |
Game of Trees version control system - https://gameoftrees.org |
53 |
| Libera.Chat |
#wikimedia-cloud-admin |
🦄🎉 https://etherpad.wikimedia.org/p/WMCS-2026-01-29 | Channel is logged at https://wm-bot.wmcloud.org/logs/%23wikimedia-cloud-admin/ | ping cteam | clinic duty: komla |
53 |
| Libera.Chat |
##spacex |
[NEXT] 𝕏 🚀 Starlink (17-33) - SLC-4E - Vandenberg SFB (7-Feb 17:05Z) 🚀 Crew-12 - SLC-40 - Cape Canaveral SFS (11-Feb 11:00Z) 🚀 Starlink (17-34) - SLC-4E - Vandenberg SFB (11-Feb 14:07Z) 🚀 [Road closures] Type: !c / !closures ☆ [Live] www.spacex.com/launches ☆ [Under Construction] SHIP 39-47 & B19-21 ☆ [Jobs] www.x.com/SpaceX/jobs |
53 |
| KampungChat |
#alamanda |
,%%`,%%`,%%`,% Jangan takut bermimpi setinggi langit, karena mimpi adalah sayap yang akan membawamu terbang,Dan jangan ragu melangkah di bumi yang keras, karena langkahmu adalah saksi bahwa kau berani hidup [ https://lovedotfm.xo.je ] %,`%%,`%%,`%%, |
53 |
| DALnet |
#cewek |
Welcome to #cewek, ketik !start untuk bermain 10 in 1 Game, atau !scrambleon untuk bermain scramble. Untuk menemani harimu, yuk dengerin playlist di AwkDwe Radio : https://alhastream.com/p/awakdewe/ |
53 |
| Libera.Chat |
##covid-19 |
COVID-19 (SARS-CoV-2) coronavirus | Twitter feeds no longer available | Resources: https://github.com/ljl-covid/links | Zotero: https://is.gd/7UgsH2 | Logs: http://reisenweber.net/irclogs/libera/__covid-19/ | Bot too verbose? Try ##coronavirus |
53 |
| IRCnet |
#cybernet |
♫♪.ılılıll|̲̅̅●̲̅̅|̲̅̅=̲̅̅|̲̅̅●̲̅̅|llılılı.♫♪ \\'3lc0m3 to #cybernet | Imagine waking up and the last 30 years were just a bad dream |
53 |
| Undernet |
#canada |
|
53 |
| IRC-nERDs |
#casino |
Welcome to the casino! | Texas Holdem = !holdem | BlackJack = ?blackjack | Uno = !unocmds | Hangman = !hangmanstart | Lotto = !lotto |
53 |
| Libera.Chat |
##news-chat |
Discussion channel for the news from ##news | Can't talk? Register & identify with NickServ, https://is.gd/OIMOg5 |
53 |
| Libera.Chat |
#gentoo-virtualization |
Gentoo virtualization: openstack, xen, vmware, qemu, kvm, virtualbox, vserver, openvz, slices, jails and containers on Gentoo systems | kvm and libvirt? enable the qemu use flag |
53 |
| DALnet |
#tasikmalaya |
★·.·´¯`·.·★ Selamat datang di Channel Tasikmalaya @ DALnet ★·.·`¯´·.·★ |
53 |
| Rizon |
#worldchat |
Welcome to #WorldChat Enjoy your stay! |
53 |
| Libera.Chat |
#overseers |
Sourceware Overseers Open Office Hours every second Friday of the month from 16:00 UTC to 17:00 UTC (but do feel free to ask questions any time) - https://sourceware.org/mission.html#organization |
53 |
| Rizon |
#r9k |
Welcome to #r9k, a friendly place for whale-mannered indervidiuals. | SadCrab (15-09-1996 - 03-06-2014) https://i.imgur.com/tXSlxil.jpeg |
53 |
| Libera.Chat |
##general |
Welcome to ##general | Channel Guidelines: don't be an arsehole [more detailed guidelines pending] | register to talk: https://libera.chat/guides/registration |
53 |
| Libera.Chat |
#jenkins |
Most people have moved to matrix https://matrix.to/#/#jenkinsci_jenkins:gitter.im |
53 |
| IRCnet |
#sopot |
DEF CON 32 https://www.youtube.com/watch?v=MmpkfM8I33Q |
53 |
| Rizon |
#videogames |
All gaming discussions on Playstation, Xbox, Nintendo, PC/Linux/Mac/Steam, Mobile and VR for all gamers! | Discord: https://discord.gg/NYEN3wVfAy | Steam Community: https://steamcommunity.com/groups/videogames | Website: https://www.slyktech.com | Twitch: https://www.twitch.com/slykgames |
53 |
| freenode |
#google |
https://exorg.net . Welcome to Google IRC Chat [All Topics are Welcomed]. Respect Others! [For user in the channel, contact l0g or Neo] [#Google users can get FREE ZNC or TheLounge & WebHosting with subdomain, PM Neo] |
53 |
| AfterNET |
#afternet |
Welcome to AfterNET - http://www.afternet.org/afternet/ - Be sure to check out #wordle for a fun word game! |
53 |
| Libera.Chat |
#gentoo-games |
https://wiki.gentoo.org/wiki/Project:Games | ask a question, wait for an answer | for wine/windows gaming, join #winehq, #gentoo-wine or https://forums.gentoo.org | for video/sound card help, try #gentoo or #gentoo-desktop |
52 |
| Undernet |
#alexander |
|
52 |
| Libera.Chat |
#chromium |
|
52 |
| Libera.Chat |
#ccc |
https://www.ccc.de/ |
52 |
| DALnet |
#makasar |
۩۞۩๑ Welcome To #Makasar @dalnet ๑۩۞۩๑ ¤ TAMAN SARI R.i.P @KraKatau / @Resists |
52 |
| IRCnet |
#canada |
welcome to #canada |
52 |