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
3
0

Right now I like the / more than / , because the author chooses which replies appear below their post. I think it would be better if there was an expectation to regularly validate the webmentions (we have HTTP caching for that), and also for instead of html. I’m not familiar with the LD markup languages, but maybe there exists something more interoperable than microformats (with proper URIs for properties).

0

I've just published version 2.90 of , the simple, minimalistic instance server written in C. It includes the following changes:

Minor tweak to improve signature key retrieving for some Wordpress configurations.

Fixed web UI incorrect links to actor public pages for some configurations.

Fixed mismatch in the accounts being followed number in the public and people pages.

Notifications can be filtered by category (contributed by byte).

Dates are shown adjusted to the account's time zone (contributed by dandelions).

Configurable limit for poll items (contributed by dandelions).

Fixed incorrect scope when editing a post (contributed by dandelions).

Change the strip_exif logic to work with the already existing OpenBSD sandbox (contributed by oxzi).

Mastodon API: Add poll creation (contributed by davidrv00), fixed a voting bug (contributed by davidrv00), added a fix to verify_credentials (contributed by ag-eitilt).

Updated Czech, German, Brazilian Portuguese, Spanish translations (contributed by pmjv, zen, daltux).

https://comam.es/what-is-snac

If you find useful, please consider buying grunfink a coffee or contributing via LiberaPay.



0
1
1
0
0
2
0
0
0

BetterHelp : l’ubérisation de la santé mentale servie par les influenceurs

La plateforme venue des États-Unis, où elle a fait l’objet d’une sanction administrative pour avoir partagé les données personnelles de ses utilisateurs, se lance en France. Sa recette : des thérapeutes payés à la longueur de leurs échanges avec les patients, et des youtubeurs célèbres en agents d’influence.  › mediapart.fr/journal/france/17

0
0
0
1
0
1
0
1
1
0

Functional Programming in Lean 한국어 번역 - 1. Lean 알아보기

초무 @2chanhaeng@hackers.pub

Lean은 함수형 프로그래밍과 수학적 증명을 결합한 독창적인 언어로, 프로그램의 모든 요소를 수학적 표현식으로 취급하여 부작용 없는 계산을 지향합니다. 이 글은 Lean 입문자를 위해 에디터 통합 환경에서의 실시간 피드백 활용법과 표현식 평가를 위한 #eval, 타입 확인을 위한 #check 등 기초 명령어를 상세히 소개합니다. Lean의 핵심인 강력한 타입 시스템을 바탕으로 자연수(Nat)와 정수(Int)의 차이부터 시작하여, 구조체(structure)를 통한 데이터 그룹화와 귀납적 자료형(inductive datatype)을 활용한 합 타입 및 재귀적 구조를 깊이 있게 다룹니다. 특히 데이터를 안전하게 분해하는 패턴 매칭과 논리적 일관성을 위해 종료가 보장되어야 하는 구조적 재귀의 원리를 명확히 설명하며, 타입 인자를 통한 다형성(polymorphism)과 암시적 매개변수 같은 고급 기능이 코드의 재사용성을 어떻게 높이는지 보여줍니다. 나아가 익명 함수, 네임스페이스, 문자열 보간과 같은 현대적 편의 기능을 통해 Lean이 제공하는 프로그래밍 경험의 전반을 아우릅니다. 이 포스팅은 단순한 언어 습득을 넘어 논리적으로 완결된 코드를 작성하고 시스템의 견고함을 추구하는 개발자들에게 Lean의 기초 패러다임을 이해하는 필수적인 출발점이 될 것입니다.

Read more →
1
0

« Les industriels ont gagné la campagne de désinformation » : pourquoi le Zéro déchet n’a pas pris

> Dix ans après ses débuts, le mouvement zéro déchet patine. « Les pouvoirs politiques et économiques ont enterré la question », dit un adepte, tandis que certains pointent les limites sociales de ces pratiques vertueuses.
reporterre.net/Zero-dechet-pou

0

Welcome to Do Flamingos Know They're Pink

Do Flamingos Know They're Pink @index@tarakiyee.com

This blog has a new home. After years on WordPress shared hosting, it now runs on self-hosted infrastructure. Ghost on a VPS I manage, backed up to encrypted offsite storage, federated via ActivityPub.

The name is new too. "Techverständiger" served its purpose, but it was always more job description than identity. "Do Flamingos Know They're Pink" is a better question. It's the kind of question I keep circling back to: how much do we understand about the systems we're embedded in? Do the tools we build shape us in ways we can't see from the inside? Flamingos aren't born pink, they become pink gradually due to their diet.

What this blog is about

This blog will continue to be what it's always been, a documentation of my journey, interests, and all the places my work and advocacy have brought me. At its core, it's about the interrogation of technology, the systems around it, and how technology helps and harms. Some posts are policy analysis: regulation, digital sovereignty, the economics of open source. Some are technical narratives: debugging sessions, infrastructure decisions, the gap between documentation and reality. Some are rants. Some are fiction.

The common thread in my life is that I don't think technology itself is the interesting part of what I do. What's interesting is what technology does to people, institutions, and power structures. The code is incidental. The consequences are the story.

Autonomy Tuesdays

Starting next week, I'm publishing a series called the Autonomous Stack. It documents a project I've been working on for the past few months: migrating my entire digital life from proprietary services to self-hosted, open-source infrastructure.

The series runs weekly on Tuesdays. Many of the posts are drafted already, covering everything from the initial inventory, through email migration, photo import, home lab deployment, and the steps it takes to self-host services that are reliable enough to daily drive. A lot has changed since I first started self-hosting two decades ago.

It's not a tutorial, but the posts are honest about what went wrong, what cost more time than expected, and what trade-offs were made. If you've ever thought about self-hosting but wondered what the actual experience is like, not the deployment guide that ends at docker-compose up but the weeks of preparation, debugging, and documentation that surround that command, this is for you. I'll also use it as a vehicle to explore the big picture topics I talk about already and ground them in personal examples. The code is personal, and the personal is political. It will also explore pragmatism vs. ideology, a tension that runs through the whole project.

What hasn't changed

The tagline stays: another internet is possible. I still believe that, and it continues to drive me, and the migration makes it more concrete. I will not mince words, the world is incredibly bleak at the moment. If I didn't believe a different one is possible, I wouldn't be doing any of this. The infrastructure I'm writing about is the infrastructure this blog runs on. I'm practicing what I preach with renewed vigor and with greater consequences when I get them wrong. Just yesterday I thought I wouldn't be able to publish this blog because of a Ghost issue, but that was resolved.

Welcome. There's a lot to talk about.


This is part of the Autonomous Stack series, documenting my migration from proprietary services to self-hosted infrastructure.
Next week: Why I'm Doing This (stay tuned).

Read more →
0
1
0
0
0
0
0
0
0
0
2
0
0
1
0

之前見有香港人俾日本髮型屋劏嘅post,無啦啦整個翻譯費出嚟仲要價成萬羊,所以就想介紹自己剪開嗰間東京Salon。

價錢公道、手勢好好、非常有耐性同細心,而且店員對外國客人都肯溝通,係唔可以指意佢地啲英文水平㗎喇,建議要嚟剪嘅客人自己用AI翻譯做定少少功課,俾張相佢地睇你想點剪,咁就唔會有大問題。

因為我都唔可能次次陪啲香港朋友去剪,所以我係咁教佢地,俾想要嘅髮型嘅相佢地再加AI翻譯assist下就搞得掂。

我搵開店長岡田先生剪,指名費都係加多一千,朋友們唔指名效果都唔錯。

地點喺新宿,交通方便,下次過嚟玩可以考慮。

同朋友講開就寫個帖講埋。
因為今日去個場少靜有啲擔心就幫佢出post推一推😂😂

https://a.r10.to/hktRPp

後續:

我:你剪得好好所以我喺我page 介紹咗你呀
岡田店長:😳😳好多謝你呀,請問你啲讀者係咩人嚟?
我:香港人為主呀
岡田店長:🥹🥹多謝你欣賞,不過我⋯⋯四月同我太太跳出嚟做老細開新舖喇,如果唔嫌棄嘅話可以請你同你啲網友嚟體驗下。
我:當然!俾你IG我啦

佢話IG暫時乜都無好抱歉,因為尚未開業😂
不過入面有地址,新舖位置方南町。

幫人幫到底就幫佢介紹埋喇
最重要係佢要有生意我先搵得返佢剪😂😂

https://www.instagram.com/littohair_honancho?igsh=am5jcGxjc3huZmM1

https://www.instagram.com/_u/littohair_honancho

0

Making some SDR adjustments.

Upper side is all P25 and conventional scanning.

Lower side will be all the ISM band scanning, along with BTLE, with the add on some weather balloon, ADSB and mayyyyyybeeee try to get some ACARS, but the antenna I don’t think is best for it.

Still power and USB to run.
Rack the i7-9thGen PC
Add another USB hub and 5 SDRs.

Wait what?

Yes
Another set of SDRs.

0
1
0
0
0
0
0
0
0
0
0
0
0

25 years ago today, Bad_CRC posted the primordial meme video "All Your Base Are Belong To Us" on Newgrounds.

In honor of this important anniversary, I downloaded the original Flash SWF file from Internet Archive, played it using Ruffle in a full-screen window, and replaced the audio with the original MP3 of "Invasion of the Gabber Robots" by The Laziest Men on Mars. So this is probably the highest fidelity encoding possible, without going back to the original forum GIFs.
jwz.org/b/yk3i

Screenshot
0
0
0
0