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
0

CJK 언어는 음절문자를 사용하는 특성상 아무데서나 끊어서 개행(改行)할 수 있고, 라틴 문자(키릴・그리스 문자도 마찬가지.)처럼 단어 단위 끊기와 음절단위 하이프네이션 원칙이 적용되지 않습니다. 따라서 CJK 텍스트는 어디서나 워드브레이크가 일어나도 괜찮도록 엔진 단위에서 처리를 달리하기 때문에 텍스트랩 설정 때문에 CJK 언어로 쓰인 문단의 텍스트플로가 달라지면 그게 더 큰일입니다.

RE: https://bsky.app/profile/did:plc:v2ob6je7otkaffdktzdaywzp/post/3lmfb5z66622e

2
0
0
0
0

很久之前發現m2 MBA螢幕有一條條暗暗的橫線,當時隱約覺得應該中了機王
因為買了一段時間了(2023年4月),只怪自己沒檢查好

剛剛心血來潮一找,不對啊我的MBA有三年份的Apple Care! :catjam:

馬上預約下週面試完拿去檢查送修 :blobtoofast:

0
0
0
0
0
1
0
0

Just got my hands on two Dell Optiplex 3080 MT with 10th Gen Intel Core i5-10500 / UHD 630 graphics and 8Gb ram for free. Well now one is definitely going to become my desktop machine and the other is TBC or maybe will just become spares for the main ? Going to install for sure and upgrade the ram plus install an M2 drive.
0
0
0
0
0
0
0
0
0
0
0

I am genuinely here for the "I don't want kids, don't pressure me" and "kids? In this economy?!" discourse. But I'm extremely annoyed at how often folks are crossing the line into "you are wrong to want children" or "you can't possibly be happy with kids because they're a responsibility."

No one should pressure you to have kids. But likewise, no one should tell people who genuinely love being parents (like me) that they're wrong or delusional or lying. That's bullshit.

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

I don't know who needs to hear this but you are still allowed to have fun and see friends and eat a slow dinner and celebrate things, even while "all this" is going on. Make your five calls, be part of a protest, pick your piece of "the work" each week but also make sure to nourish yourself and your networks because we are going to continue needing each other.

0
0

Unlike most others, we have made certain choices at Vivaldi that IMHO are important in this time and age. We believe the choices were important when we made them, but even more so today.

Our servers are in Iceland and they are our servers and not some cloud servers. We use them for all Vivaldi services, including things like Sync, Blogs, Forums and Vivaldi Social.

Electricity in Iceland is green. Most all of the power in use is hydro, with a little bit of geo thermal.

We do make use of CDNs for speed, etc., of course.

0
0
0

A thing that I've seen less discussion about from the Shopify AI memo is point 5

> Before asking for more Headcount and resources, teams must demonstrate why they cannot get what they want done using AI.

This was always the way in which "AI" was going to take your jobs.

Not by literally being able to replace you but by constructing an arbitrary barrier to the job existing in the first place.

0
1
4
1
0
1
4

도막도 shared the below article:

같은 것을 알아내는 방법

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

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

Read more →
5
2
2
0
0
4
0
0
0
1