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

xan is a CLI tool that reads & displays visualizations from CSV files in the terminal.

It features shell tab completion, parallel processing, filtering, sorting, and previewing CSV data in histograms, tables, heatmaps and more.

medialab (medialab on GitHub) made xan & is Terminal Tool of the Week! ⭐️

terminaltrove.com/xan/

0
0
0
0

This tiny thorn caused me a today.

Thankfully, I am for this inevitability and always carry a toolkit and a spare tube inside the frame of my , aswell as a pump on the frame.
(I love how neatly all of that packs.)

I could've patched the tube but decided to simply swap it and patch it later.
It took a while because it's my first time but I wasn't in a hurry.

There was a really nice bench nearby to work on and a small to wash my hands in afterwards.

The tip of a tiny thorn pierced through the tyreThe thorn lying on a wooden surface with my fingernail next to it for scaleA gravel path with a creak meandering on the other side, surrounded by a few trees.

Through the trees you can see a part of a meadow surrounded by further trees.
0
0
0

What's a good resource for folks who just discovered they're getting fëcked over by Big Font MegaCorp™ and want an alternative that's not one of the big free font providers?

Alternatives to the obvious services seem to be very well hidden from "regular webdev folk".

0
0
0
0

🇧🇪 picks of the day:

➡️ @namipNAM-IP Computer Museum - Computing history museum in Namur (in French)

➡️ @UniversitedeLiegeUniversité de Liège - The University of Liège (in English & French)

➡️ @ikobIKOB - Museum - Contemporary art museum in Eupen

➡️ @Kunstenpunt - Flanders Arts Institute, supporting, promoting & researching art (in Dutch)

➡️ @ORB_KSBRoyal Observatory of Belgium - Royal Observatory of Belgium (in English, Dutch, French)

➡️ @Scivil - Centre for citizen science in Flanders

➡️ @worldofjoshWorldofJosh.be - Belgian urban exploration (in French & English)

🧵 1/4

0

via Sahel Sounds (on bandcamp at https://sahelsounds.bandcamp.com/ ):

Friends - we’re happy to announce that Etran de L’Aïr made it safely to the USA and will be kicking off their North America tour in Seattle tonight!

Check below for full dates and tickets. New merch available at the venues. Hope to see you in the crowd!

Also check out their brand new single “Agadez” if you haven’t already - etrandelair.bandcamp.com/track/agadez

Tour info behind CW in reply…

0
0

It's tough to put on a small local event these days, so we always appreciate the the contribution of our sponsors in making our event more accessible to more people. If you'd like to get your name on stage with a really excellent line-up of speakers, please reach out!

RE: https://bsky.app/profile/did:plc:lx2w4hjplqcet2bfmljqpaab/post/3lmd5ext2j22b

0
0
0
0
0
0
0

If you are not publishing a date with
your online articles you are going to a special kind of hell where time is just a sloppy swamp and everything that happened is also happening right now but everything that is happening now happened 20 years ago.

I don't make the rules,
and I don't wish you ill,
but put a freakin date on your articles 😭

0
0
0

よっこいどっこいしょ :saba:
0e5be63fb3 (upstream/main) Change unfollow button label from "Mutual" to "Unfollow" in web UI (#34392)
6a39f00745 Refactor `<FavouritedStatuses>` and `<BookmarkedStatuses>` into TypeScript (#34356)
bdf9baa2e8 Refactor `<FollowedTags>` into TypeScript (#34355)
887336f2c6 fix(deps): update dependency tesseract.js to v6.0.1 (#34388)
f66d092b32 Fix usage of incorrect API endpoint for suggestion deletion (#34398)
36afb4557a Fix incorrect deprecation warning for `DELETE /api/v1/suggestions/:id` (#34397)
d81983f181 Fix the delete suggestion button not working and using a deprecated endpoint (#34396)
ebfd48b0f2 Remove 4.1 support from SECURITY.md (#34386)
f31b533435 New Crowdin Translations (automated) (#34395)
94ae96b9bc chore(deps): update dependency haml_lint to v0.62.0 (#34394)

0
0
0
0
0
0
0
0
0
0
0
0
0

It's tough to put on a small local event these days, so we always appreciate the the contribution of our sponsors in making our event more accessible to more people. If you'd like to get your name on stage with a really excellent line-up of speakers, please reach out!

RE: https://bsky.app/profile/did:plc:lx2w4hjplqcet2bfmljqpaab/post/3lmd5ext2j22b

0
0
0

We're interrupting this stream of speaker promos to let you know that we still have sponsorships available! These start at $2,000 and include tickets, logos on stage/our website, and higher tiers include some stage time to tell our audience about your company! 2025.northbaypython.org/sponsor

0

Draft notes from the April 1 townhall: fediforum.org/2025-04/

Thanks everybody who reached out since, and the many extremely good one-on-one and small group conversations with ideas for the next iteration of FediForum. Keep them coming!

Planned next steps: another townhall likely next week, and a rescheduled & adapted FediForum in May.

0
0
0
0
0
0
0
0

같은 것을 알아내는 방법

Ailrun (UTC-5/-4) @ailrun@hackers.pub

이 글은 일상적인 질문에서부터 컴퓨터 과학의 핵심 문제에 이르기까지, '같음'이라는 개념이 어떻게 적용되고 해석되는지를 탐구합니다. 특히, 두 프로그램이 '같은지'를 판정하는 문제에 초점을 맞춰, 문법적 비교와 $\beta$ 동등성이라는 두 가지 접근 방식을 소개합니다. 문법적 비교는 단순하지만 제한적이며, $\beta$ 동등성은 프로그램의 실행을 고려하지만, 계산 복잡성으로 인해 적용이 어렵습니다. 이러한 어려움에도 불구하고, 의존 형 이론에서의 형 검사(변환 검사)는 $\beta$ 동등성이 유용하게 활용될 수 있는 중요한 사례임을 설명합니다. 이 글은 '같음'의 개념이 프로그래밍과 타입 이론에서 어떻게 중요한 역할을 하는지, 그리고 이 개념을 올바르게 이해하고 구현하는 것이 왜 중요한지를 강조하며 마무리됩니다.

Read more →
5
2
2
0
0