| 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. |
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 |
| OFTC |
#wikicensorship |
Talk about Internet censorship events. |
53 |
| Undernet |
#alexander |
Whenever you think you are done just push a bit more. |
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 |
| freenode |
#android |
Welcome to #Android | https://source.android.com/ | Android 14 is now available. https://developer.android.com/about/versions/14 | https://www.android.com/ |
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 |
| IRC-nERDs |
#casino |
Welcome to the casino! | Texas Holdem = !holdem | BlackJack = ?blackjack | Uno = !unocmds | Hangman = !hangmanstart | Lotto = !lotto |
53 |
| Undernet |
#dubova |
Welcome to #Dubova Have a nice chat! |
53 |
| Libera.Chat |
#parabola |
Welcome, friend! - Parabola is a 100% free (as in freedom), labor of love, GNU/Linux distribution | Web: https://www.parabola.nu | Forum: https://labs.parabola.nu/projects/parabola-community-forum | Wiki: https://wiki.parabola.nu | Bug tracker: https://labs.parabola.nu | Email: https://lists.parabola.nu/mailman/listinfo/assist |
53 |
| FreeUniBG |
#operwall |
Network Voting Pool -> https://Voting.FreeUniBG.eu |
53 |
| Libera.Chat |
#ipfs |
|
53 |
| EFnet |
#hiphop |
pewpew |
53 |
| Libera.Chat |
#chromium |
|
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 |
#vyos |
VyOS, the universal router. | https://vyos.net (community) and https://vyos.io (commercial services) |
53 |
| 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 |
53 |
| IRCnet |
#sopot |
DEF CON 32 https://www.youtube.com/watch?v=MmpkfM8I33Q |
53 |
| Libera.Chat |
#jenkins |
Most people have moved to matrix https://matrix.to/#/#jenkinsci_jenkins:gitter.im |
53 |
| IRCnet |
#lodz |
|
53 |
| Undernet |
#liban |
Welcome to #Liban, LEBANON. |
53 |
| DALnet |
#malang |
Welcome to #Malang ~ Enjoy Your Stay And The Game, Type !start to play scramble and Type !uno to play UNO. Good Luck! PUBG Hack https://t.me/CHETOSHACK |
52 |
| Libera.Chat |
#cataclysmdda |
A detailed turn-based dwarf fortress-like zombie apocalypse alien invasion post-apocalyptic survival horror roguelike with top down (or optionally isometric) graphics || 0.H got released! https://github.com/CleverRaven/Cataclysm-DDA/releases/tag/0.H-RELEASE |
52 |
| OFTC |
#qubes_os |
Join us on Matrix: https://riot.im/app/#/room/#Qubes-OS:matrix.org |
52 |
| DALnet |
#jepara |
|||| Welcome to #jepara @DALnet - NO!: Invite/Spam/Repeat/CAPS/Flood/Adv/BadWord - Register Nick: /ns register <password> <email> - Cegah Spam: /mode <nick kamu> +RC - Have a nice chat & enjoy here! :) ! |||| |
52 |
| DALnet |
#nusantara |
Welcome to #Nusantara with Freedom comes with responsibility. Let's be responsible citizens and build a great nation, capital of East Kalimantan |
52 |
| EFnet |
#buddhism |
࿊ ࿋ ࿌ http://buddhism-chat.org/ ࿌ ࿋ ࿊ | user list: http://users.buddhism-chat.org |
52 |
| Libera.Chat |
#frsag |
http://frsag.org # don't ask to ask, just ask # PASTE: http://paste.frsag.net # 11:37:50 alaunay | j'avoue que parfois, plus je vieillis, plus remplacer mon desktop par un windows me tente |
52 |
| Undernet |
#http |
https://www.youtube.com/watch?v=2ADP6AxQpR0&list=RD2ADP6AxQpR0&start_radio=1 |
52 |
| Libera.Chat |
#kde-release-team |
Release schedule: https://community.kde.org/Schedules |
52 |
| IRCnet |
#ipv6 |
Happy 2026::1:1 |
52 |
| Libera.Chat |
#monero-offtopic |
Monero Offtopic || Free Speech https://xkcd.com/1357/ || A place to discuss anything that isn't relevant to the main channels, including politics, bans, general venting, etc. |
52 |
| IRC-nERDs |
#shittalk |
Open shit talking. anything goes. unless its illegal like planning a coo, in that case imma butt fuck you then report your IP to the feds. No DOXing either. |
52 |
| DALnet |
#2 |
Selamat Datang Di Channel #2 @DALnet - NO!: Invite/Spam/Repeat/CAPS/Flood/Adv/BadWord - Register Nick: /ns register <password> <email> - Cegah Spam: /mode <nick kamu> +RC - Have a nice chat & enjoy here! :) |
52 |
| DALnet |
#islam |
السلام عليكم | Welcome to #islam Channel | 𝒯𝒽𝒶𝓃𝓀𝓈 𝒻𝑜𝓇 𝒶𝓁𝓁 𝓎𝑜𝓊𝓇 𝒮𝓊𝓅𝓅𝑜𝓇𝓉 𝓌𝒾𝓉𝒽 𝒾𝓈𝓁𝒶𝓂 |
52 |
| 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 😵💫 |
52 |
| Libera.Chat |
#matterbridge |
|
52 |
| Libera.Chat |
#radarr |
Radarr - Sonarr, but for movies | https://github.com/Radarr/Radarr | /r/radarr/ | Discord: https://discordapp.com/invite/u3x3Kp8 |
52 |
| Undernet |
#moms |
Welcome to Undernet's original #moms channel - Safe, friendly & respectful chat with your friends - 16+ (Cmds: !rules,@roulette,@catfacts,@useless,@rule,@trivia |
52 |
| Libera.Chat |
#crawl |
Play Dungeon Crawl Stone Soup online now! Type ??online for instructions, ??lg / !lg for play stats | PM Sequell for long queries | http://crawl.develz.org | FooTV game replays: ??footv for instructions | #crawl-dev for dev discussion, #crawl-offtopic for offtopic |
52 |
| IRCnet |
#canada |
welcome to #canada |
52 |
| Libera.Chat |
#dosbox |
OMFG DOSBOX! |
52 |
| Libera.Chat |
##altcoins |
Cryptocurrency Chat. Not Your Keys, Not Your Crypto. whattomine.com miningpoolstats.stream zergpool.com howmanyconfs.com coinatmradar.com bitinfocharts.com |
52 |
| Undernet |
#crazy |
I'll take crazy over stupid any day. |
52 |
| Undernet |
#political |
Senile Pedo Closes Kennedy Center After Destroying It: https://www.yahoo.com/news/articles/kennedy-center-close-2-years-234749211.html |
52 |
| DALnet |
#dalnetbar |
🎊🎉Welcome in #dalnetbar Channel We are Giving out Premium & Free Shells also We are Selling VPS Coming out Soon Connect to Mauritius.Darkworld.network 6667 Join #dwshells for Channel Stats http://45.63.96.126:8033/dalnetbar/ |
52 |
| Libera.Chat |
#openvswitch |
Open vSwitch, a Linux Foundation Collaborative Project || FAQ: http://docs.openvswitch.org/en/latest/faq/ || OVN meeting Thurs 9:15 am US Pacific || Use ovs-discuss@openvswitch.org for questions if you don't get an answer here. || Channel logs can be found at https://libera.irclog.whitequark.org/openvswitch |
52 |
| Libera.Chat |
#icecast |
Icecast 2.5.0 || Read the docs before asking questions, then just ask right away and be patient for answers. || MP3/AAC/NSV may work, but are not supported! || Channel is logged for future reference || If you say GPT/AI we charge quadruple! |
51 |
| Libera.Chat |
#data.se |
Ada Lovelace, Alan Turing, Charles Babbage, Bill Joy, Brian Kernighan, Dennis Ritchie, Grace Hopper, John von Neumann, Ken Thompson, Linus Torvalds, Vint Cerf, Tim Berners-Lee, Paul Mockapetris, Douglas Engelbart, Robert Kahn, Andy Bechtolsheim, Donald Knuth, Edsger Dijkstra |
51 |
| OFTC |
#hentai |
|
51 |
