What is Hackers' Pub?

Hackers' Pub is a place for software engineers to share their knowledge and experience with each other. It's also an ActivityPub-enabled social network, so you can follow your favorite hackers in the fediverse and get their latest posts in your feed.

0
0
0
0

Conservative economics has a temporal bias: immediate costs are ‘real’ while long-term benefits are ‘speculative.’ Hence infrastructure and education are ‘expenses’ rather than investments. It’s temporal discounting elevated to political philosophy.

0
0
0
0

Conservative economics has a temporal bias: immediate costs are ‘real’ while long-term benefits are ‘speculative.’ Hence infrastructure and education are ‘expenses’ rather than investments. It’s temporal discounting elevated to political philosophy.

0

The powerful APIs that power our fedidb.com website are open to all.

We appreciate the fact that our APIs aren't being abused, and will keep these open without the need for API keys/registration.

You can do some pretty neat things, like find all open PeerTube servers in Asia, running the latest version api.fedidb.org/v1.1/software/p

Data is meant to be free ✨

0
0
0
14
0
0

Alright, people of !
I just pushed the button — is now live on the App Store for , , and !

Manfred is a lightweight, opinionated Mastodon client focused on simplicity.

It’s still missing a few features, so for now it’s completely free — grab it, try it, and let me know what you think!

App Store link: apps.apple.com/de/app/manfred-
Feedback welcome here or via the app. Boosts appreciated! :mastodon:

0
0
0
0
0
0
0
0

🎊축하합니다! 🎊👑킹👑받으셨다니 👍❤정말❤축하해요! 🎉👑킹👑은 좋은 거에요 👑킹👑은🤴임금님🤴이잖아요👑킹👑받았다는 거는👍 내가🤴임금님🤴이 된 것 같다는🌈느낌을🌈받았다는 거에요👍❤정말정말♨️🎊축하해요🎊

0
0
0
0
0
0
0
0
0
0
2
0
0
0
0
0
1
0
0
1
0
0
0
0
0
1
0
0
0

I've always wanted someone to write a type-safe framework for tensor manipulation that
a) fully leverages first-class types, and
b) is ergonomic

Maybe that someone has to be me; I wrote a proof-of-concept in Idris and used it to implement transformers:
github.com/bgavran/TypeSafe_Te

It supports standard tensors, and *non-cubical* tensors given by applicative functors, as well tensor indexing.

So if you have a 't : Tensor [BinTree, BinTree] Double' and you index outside of the shape of the tree, you get a *compile-time* error.

Indexing is powered by containers, transposition by Naperian functors, and non-cubical tensors by applicative functors (see cs.ox.ac.uk/people/jeremy.gibb)

I was surprised how far one can go with this idea, and how pleasant it was in general to implement all of this in Idris.

What all of this does is enable you to implement the *generalised transformers* as described here (glaive-research.org/2025/02/11) - transformers that operate on not just vectors, but potentially trees, and other structures too.

0
0