| Libera.Chat |
#isabelle |
Unofficial channel for the Isabelle/HOL theorem prover: http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html || isabelle_zulip bridges to https://isabelle.zulipchat.com/ which keeps logs. |
9 |
| EFnet |
#wutang |
|
9 |
| Undernet |
#radioplay |
< RadioPlay > The best music on the WEB! ( Radio Online FM >> http://Radio.COM.RO & http://wWw.RadioPlay.Ro ) |
9 |
| Rizon |
#idling |
NO CHATTING ALLOWED - CHATTING = AUTOBAN |
9 |
| Libera.Chat |
#ergodis |
Ce chan est “bridgé” au serveur Discord | Sondage date assemblée https://beta.framadate.org/polls/AG_Ergodis_2026 | Rédaction ordre du jour https://bepo.fr/wiki/Association_Ergodis/Assembl%C3%A9e_2026 |
9 |
| Libera.Chat |
#h-node |
url: https://h-node.org - src: https://git.savannah.nongnu.org/cgit/h-source.git - bugtracker: http://savannah.nongnu.org/bugs/?group=h-source |
9 |
| Libera.Chat |
##ctv-bip-review |
The topic is: The topic is: review for BIP-119 Check Template Verify, see https://utxos.org. Channel logged at https://gnusha.org/ctv-bip-review. Recurring meeting 12:00 PT every other Tuesday (starting January 11th). If you joined this meeting after the start time, please check the logs first :) today's meeting: see https://rubin.io/bitcoin/2022/04/17/next-steps-bip119/ for context |
9 |
| EFnet |
#codex |
|
9 |
| Undernet |
#rainbow |
Say my name and leave a message ( DuCu ) & /msg irpgbot !help , have fun ( https://coinfeed.icu ) |
9 |
| Undernet |
#vis |
bun venit in "vis" unde toti nespalatii si distrusii stau cu "+" ( https://uzzicurva.com ) |
9 |
| DALnet |
#electronics |
Electronics discussion and help - if you ask nicely! | No user serviceable parts inside, but we aren't your standard users... | Please allow 6-8 hours for someone to wake up and answer you. | http://hackaday.com/2016/02/08/local-hacker-discovers-card-edge-connectors/ |
9 |
| Libera.Chat |
#wikimedia-frsre |
|
9 |
| Undernet |
#hellas |
Official channel of Hellas since 1996 - Keeping the Light on! |
9 |
| DALnet |
#colombia |
Colombia: este país es un meme |
9 |
| Libera.Chat |
#packit |
Welcome to the Packit project | https://packit.dev | Please contact us on #packit:fedora.im when the IRC-Matrix bridge is broken |
9 |
| Libera.Chat |
#neutrinet |
|
9 |
| DALnet |
#idle |
Idle is what we do here! |
9 |
| Libera.Chat |
#ubuntu-br |
Regras do Canal: http://bit.ly/WL7hQz || Pergunte e ESPERE uma resposta, que pode demorar algumas horas. Tenha paciência! || Ubuntu 20.04 é recomendado para todos -- http://releases.ubuntu.com || Canal técnico do Ubuntu Brasil || Notícias de segurança: https://usn.ubuntu.com |
9 |
| Libera.Chat |
#bitcoin-blocks |
Bitcoin blocks and fees feed | Source: https://gist.github.com/chris-belcher/61b1abf9f60063aac495a2546876b3e2 | Suggestions/comments to belcher | anyone want to run the bot? my raspberry pi keeps crashing :\ |
9 |
| Libera.Chat |
#freebsd-docker |
|
9 |
| Undernet |
#xauusd |
-= Educational And Analytical Purposes Only =- |
9 |
| Libera.Chat |
##rocketleague |
THIS IS ROCKET LEAGUE 🥅 ⚽🚗 Training Packs: tinyurl.com/2mx3eynt | Please stay on topic! No politics |
9 |
| Libera.Chat |
#sarpi |
SARPi Project - Slacking on a Raspberry Pi ... using and supporting Slackware Linux |
9 |
| OFTC |
#zcash |
Zcash: using zero-knowledge proofs to change the face of cryptocurrency forever :: Chat with us on Slack! http://inviteme.z.cash/ |
9 |
| Libera.Chat |
##archlinux-cn-nsfw |
這邊是 #archlinux-cn 頻道附屬車行道,行人請注意避讓。Telegram 邀請鏈接見 #archlinux-cn-offtopic 置頂,請勿外傳。 |
9 |
| Libera.Chat |
#xnethack |
xNetHack - https://github.com/copperwater/xnethack - report issues on github - xNetHack 9.0 coming soon! |
9 |
| QuakeNet |
#krzaq |
|
9 |
| OFTC |
#debian-vim |
Maintenance of vim-related Debian packages |
9 |
| OFTC |
#ebbr |
|
9 |
| Libera.Chat |
#informatik.lmu |
|
9 |
| Libera.Chat |
##arm |
|
9 |
| Undernet |
#e&e |
|
9 |
| Libera.Chat |
#lunar |
[ Lunar-Linux - It's out of this world! https://lunar-linux.org/ ] |
9 |
| Libera.Chat |
##astrology |
As above, so below |
9 |
| Libera.Chat |
#redhat-cpe |
Community Platform Engineering - Building and supporting communitys in Fedora and CentOS - https://docs.fedoraproject.org/en-US/cpe/ |
9 |
| DarkWorld |
#super-vps |
Welcome to https://www.super-vps.com / a place where you can rent reliable , fast and cheap, servers, with root access, We expect to can ren out by 28th Desember. FIRST 3-5 customers get 1 month FREE rent =). https://webmail.super-vps.com for checking email. :) / EVERY 1-5 seriously need a vps/ RENT 1 month FREE FIRST from January 2024, see if you like |
9 |
| Undernet |
#dogfucking_girls |
we all like dogs very much, so the key is dog__v_ |
9 |
| Undernet |
#gethelp |
I would like to thank all of you,those who kept joining this channel for years:) ( http://www.Winter4all.blogspot.ro ) |
9 |
| Libera.Chat |
#wikimedia-npp |
Discuss new page patrol and its many related topics |
9 |
| Libera.Chat |
#lustre |
Latest release: 2.12.9(EOL) / 2.15.8(LTS) / 2.17.0 > https://www.lustre.org/roadmap/ |
9 |
| Libera.Chat |
#fimu-ib016 |
IB016 @ FI MU | https://paradise.fi.muni.cz/auth/irclogs/fimu-ib016 |
9 |
| IRCnet |
#pijak |
|
9 |
| Undernet |
#catholic |
Welcome to Catholic, Enjoy your stay. |
9 |
| Undernet |
#radioberceni |
Bun venit pe canalul #RadioBerceni |
9 |
| QuakeNet |
#tribesascend |
|
9 |
| QuakeNet |
#worldchat |
|
9 |
| Libera.Chat |
#archlinux-cn-game |
|
9 |
| Undernet |
#uptime |
|
9 |
| Libera.Chat |
##crude |
behold: the ancient, sacred ruins of the #crude empire. Mainly used to flood on Fridays | https://i.redd.it/3g35a21u4q8y.jpg | no systemd fans allowed. |
9 |
| Libera.Chat |
#salt-devel |
Welcome to #salt-devel! | This channel focuses on development of https://github.com/saltstack/salt/ and related projects. For user support, visit #salt and for conversation visit #salt-offtopic. |
9 |