Libera.Chat

#2701

##hott

10

Homotopy Type Theory and Univalent Foundations | Book: http://homotopytypetheory.org/book/ | Code: http://homotopytypetheory.org/coq/ | Blog: http://homotopytypetheory.org

#2702

#how-much-work

4

#2703

#hp

3

#2704

#hpc

45

All things High Performance Computing (HPC)

#2705

#hplusroadmap

59

biohacking, nootropics, transhumanism, open hardware | this channel is LOGGED: http://gnusha.org/logs | https://diyhpl.us/wiki | not quite sponsored by george church | banned by the MIT media lab and the FDA

#2706

#hpy

12

https://hpyproject.org - https://github.com/hpyproject/hpy - IRC logs: https://libera.irclog.whitequark.org/hpy

#2707

#hrwiki

5

Homestar Runner Wiki || www.hrwiki.org || Wiki help: http://hrwiki.org/wiki/Help:Contents || IRC help: http://www.hrwiki.org/wiki/Help:IRC || Welcome the crap to the channel. Please keep discussion and language family-friendly in here. Thanks. || The Sneak! How was that? I told that poor sap I'd give him what for! Yes... now go and steal me fresh jam!

#2708

#hrwiki-forum

3

#2709

#hrwiki-rc

7

Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days

#2710

#hsbxl

10

#2711

#hsgr

5

https://www.hackerspace.gr

#2712

#hskrk

42

People from Hackerspace Kraków can be found on the Telegram group: https://t.me/hackerspace_krk

#2713

#hsp-cringe

4

#2714

#hspoz

77

HSPOZ working group | website: https://hspoz.pl | channel bridged to matrix, other rooms: https://matrix.to/#/#hs-knyfyrtel:juniorjpdj.pl

#2715

#hsrm

3

https://www.rm-hs.de | ¯\_(ツ)_/¯

#2716

#hswaw-hamradio

5

https://wiki.hackerspace.pl/projects:hamradio

#2717

#hswaw-infra

34

well there's your problem | how2hscloud: https://hackdoc.hackerspace.pl/doc/codelabs/ | File more issues: https://b.hswaw.net/new | Matrix: #infra:hackerspace.pl , join for redundancy

#2718

#hswaw-paperwork

13

#2719

#hswro

19

Hackerspace Wrocław | https://www.hswro.org/ | bridged with Telegram

#2720

#hswro-members

4

HS:Wro Members | bridged with Telegram, XMPP, Matrix | See also: #hswro-offtopic

#2721

#hswro-offtopic

4

#2722

#html

58

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

#2723

#html-ops

4

yo

#2724

#htmx

11

Unofficial HTMX IRC channel - Feel free to ask and help others | https://htmx.org | https://hyperscript.org | https://hypermedia.systems

#2725

#htop

11

htop developers channel | https://htop.dev/ | https://github.com/htop-dev

#2726

#hts

50

Tvheadend Support ~ Log https://libera.irclog.whitequark.org/hts ~ Forum https://tvheadend.org ~ All help welcome!

#2727

#httpd

135

Apache HTTP Server help httpd.apache.org || Register/identify with Nickserv bit.ly/3uc2cqo || Step one: Check the error log || versions 2.4.65 (2025-07-23, GA) || Getting Started goo.gl/hzi1I || Paste apaste.net or pastie.org (not pastebin.com/paste2.org) || Dev questions -> #httpd-dev

#2728

#httpd-dev

9

#2729

#huawei

4

#2730

##huffaz

10

IaaaS (Inhalant Abuse as a Service) | “yo, got drogz?”

#2731

#hug-bunny

3

#2732

#huggle

22

Please help us with ideas to improve Huggle! | Huggle: http://enwp.org/WP:HG | Current version: 3.4.14 | Repository: http://goo.gl/yT6jMa | Mailing list: http://bit.ly/xE7ila | Logging is allowed

#2733

#hugo

28

#2734

#hugoh

3

Welcome to the Zerbaib help channel

#2735

#humblebundle

4

Humble Bundle | Bundles: https://www.humblebundle.com | Store: https://www.humblebundle.com/store | Support: https://www.humblebundle.com/store | Widgets: http://calvein.github.io/humble-games | Discord: https://discord.gg/9m7p4hnRUN | We stopped linking directly to weekly/monthly/book bundles as it's got so crazy there is usually a dozen bundles going on at once now anyway!

#2736

#hungary

11

https://goo.gl/maps/WH738 || http://en.wikipedia.org/wiki/Hungary

#2737

#huntwitter

4

#2738

#hup.hu

25

Visszatertunk! #hup.hu @ irc.libera.chat | hup.hu/user/$yourIRCnick cloak kerheto | https://hup.hu/faq/irc

#2739

#hurd

99

http://hurd.gnu.org http://sv.gnu.org/p/hurd | channel logs: https://logs.guix.gnu.org/hurd http://richtlijn.be/~larstiq/hurd/ | FAQ: http://darnassus.sceen.net/~hurd-web/faq/ or https://www.gnu.org/s/hurd/faq.html | Want to help? http://gnu.org/s/hurd/contributing.html | disk image: https://tinyurl.com/yc5u7n9y | installer image: https://tinyurl.com/ycurvwro | related: #archhurd,#hurdfr

#2740

#hurdfr

7

Bienvenue sur #hurdfr ! | http://hurd.gnu.org | FAQ: http://darnassus.sceen.net/~hurd-web/faq/ or https://www.gnu.org/s/hurd/faq.html | CD d'installation de Debian GNU/Hurd : https://tinyurl.com/ycurvwro | Image disque : https://tinyurl.com/yc5u7n9y

#2741

#hut

15

A CLI tool for sr.ht - https://sr.ht/~xenrox/hut - v0.7.0

#2742

#hutzelbrutzel

3

#2743

#hvcc

5

The heavy hvcc compiler for Pure Data patches.

#2744

#hvlinux

3

High Voltage Linux - https://www.hvlinux.net (under permafrost, may thaw out later) || https://ster.zone (index zone) || Incredible resource: https://linux-hardware.org

#2745

#hxpctf

22

hxp CTF is over - https://hxp.io

#2746

#hy

4

#hy Hy, a Lisp dialect that’s embedded in Python

#2747

#hydrogen

3

Happy drumming for life Hydrogen! http://hydrogen-music.org/ //**//**// Last release is 1.2.6 http://hydrogen-music.org/release-126 //**//**// Doc: https://github.com/hydrogen-music/hydrogen/wiki

#2748

#hyperbola

35

The official IRC channel of Hyperbola Project - https://www.hyperbola.info | Notes from the project: https://www.hyperbola.info/news | Build your own packages: https://wiki.hyperbola.info/doku.php?id=creating_packages | No bot-accounts allowed for this channel!

#2749

#hypothesis

4

#2750

#hyproverlay

5