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
1

world’s on fire, so/but i spent a couple hours this afternoon futzing with my site’s design: tightening up the header, adjusting some little layout details on posts, and fixing the (frankly broken) animation on the nav. started tinkering with a couple new design ideas, too.

anyway. let a website be a worry stone

0
0
0
0
0

I am not doing good at time management or indeed any approximation of knowing what day it is, but today was the last day to drop off art for the Somerville Open Studios and I managed to get this done just in time. Despite 1) running out of black thread (howwwww) and 2) goofing up the insignia the first time. Still. She looks good.

I probably did not need to agonize as much as I did over whether it’s the right shade of teal/blue but who am I even if I can’t overthink things.

A messenger bag hanging from a porch railing. It’s giving “medical uniform from Star Trek TNG” except it’s like. A bag.  Got the insignia and the little black waistline angle and everything.
0
0
0

Hello! I'm a wildlife photographer in Alberta, Canada. With easy access to Rockies, badlands, rolling foothills, and open skies, nature is my playground. I also travel to other parts of the globe when I can, to capture the beauty of the wider world as well.

DM me about custom prints of any of my images.

Larger portfolio 👉🏻 clickasnap.com/profile/photosb

Macro photo of a yellow and burgundy orchid with ripply side-petals and a smattering of "freckles." A second, softly blurred orchid of the same kind is in the background.A chipmunk sits on a large rock and munches on a dandelion bud.Crescent Falls in Alberta, Canada. Photographer POV: standing on the rocks at the edge of the pool, at the base of one waterfall, which serves as the top of the next cascading fall, which cascades out the bottom left side of the image.Northern lights glow green with a hint of purple, rippling in the sky above Astotin Lake, at Elk Island National Park in Alberta, Canada. The iconic tree-covered island in the middle of the lake is silhouetted in the background on the left, with the aurora on the right.
0
0
0
0
0
0
0
0
0
0
0
0
0
0

Dissociative Identity Disorder // if there’s just one thing to understand

Not only are your alters just as real as you are. but also: the host is just as fake as you are.

So it’s time to stop worrying, let’s all be fake together!

0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
0
0
0
0
0
0

글로벌 핑퐁 끝에 오라클 계정 문제 해결 성공. 힘 써준 오라클 한국 상담사에게 감사 드립니다.

OCI Free tier 쓰고 계시다면 어차피 무료 제공 용량은 같으므로 paid plan으로 업그레이드 하시길 권합니다. 만약의 문제 시에 대응이 다르더군요.

0

剛剛學到新詞「網上移民」
並不是由一個社交網絡移到另一個社交網絡。是指突破Netflix或YouTube等工具的地區封鎖,變成網絡上的外國人。

0
0

글로벌 핑퐁 끝에 오라클 계정 문제 해결 성공. 힘 써준 오라클 한국 상담사에게 감사 드립니다.

OCI Free tier 쓰고 계시다면 어차피 무료 제공 용량은 같으므로 paid plan으로 업그레이드 하시길 권합니다. 만약의 문제 시에 대응이 다르더군요.

0
0

lionhairdino shared the below article:

같은 것을 알아내는 방법

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

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

Read more →
5
2
2
0
0
0

🎉 I've bumped github.com/facet-rs/facet from "highly experimental" to just "experimental" — it has a pretty well-designed set of types, the derive macro is quite capable already, the JSON read+write crates are iterative (!!), go play with it!

0
0
0

A number of commentators today are noting the attempt of the Trump regime and its epigones to spin the tariff madness (and destruction) as boys being boys, a favorite theme of Republicans, since one can hardly blame boys for behaving like boys. Bless their hearts, behaving badly is just what men do after all, Republicans love to inform us.

On this topic, see Media Matters on Fox News' spin of the tariffs as "manly."


/1

mediamatters.org/five/fox-news

0
0
0
0

Ugh, Python got over 500 applications this year and so many of them are absolutely trash, didn't follow any of the instructions. Most years about half of our applications are like this. But usually we have a lot fewer applicants and the submissions were blank files not plausible AI nonsense.

So I'm stuck reading hundreds of incredibly low quality nonsensical submissions today in hopes to take some workload off my other unpaid volunteer mentors. This is not the volunteer gig I signed up for 15 years ago when it was mostly working with new contributors and not their AI chatbots and I'm grumpy.

0
0
0
0
0