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.

Jana @janamarie@mystical.garden
Public
Shared by ✧✦Catherine✦✧

have you ever considered multi-colour STN-Displays? They look fantastic and make for great macro shots!

If I’m not fully mistaken this is a so called CCSTN display that doesn’t use a filter to colour the pixels, but rather an optical effect called birefringence. This display does not dim when a different voltages are applied across its pixels, but change colour! So cool and such weird tones :3

Depending on the camera and light angles used, the colours and contrast fully change

The number 42 written in a pixelated font on an emerald green grid with pink grid lines and deep blue activated pixels. There is a shine to the image Three rectangles next to each other, one is blue, the other pale green and the third is pink. They rest on a yellow-sand coloured grid with an interesting texture. A pink bar enters the image in the bottom right corner
0
0
0
Technische Universität München @tu_muenchen@wisskomm.social
Public

Understandable, reliable information is often hard to find. Our researchers develop the AIdvice assistant, funded by Google .org, that uses and to support patients with evidence-based answers: go.tum.de/411575

📷 K. Czoppelt/TUM University Hospital

Artificial intelligence to support cancer treatment

TUM researchers receive funding from Google.org for the ‘AIdvice’ project. Medical expertise is to be translated into understandable answers.

www.tum.de

0
0
0
RanolP @ranolp@hackers.pub
Public
Shared by Lee Dogeon

를 해볼까요.

  • @ranolpRanol☆P 와 동일인입니다...만 해당 계정은 근시일 내에 살릴 계획이 없습니다.
  • @ranolp 계정은 프로그래밍 언어론/해커스펍 사용기 위주 계정입니다.
  • 다시 말하자면 그 외 일상적인 내용은 트위터에서 이야기한다는 뜻입니다...
  • TypeScript와 얼추 호환되면서 제정신인 타입 추론 규칙을 가진 언어를 만들려고 타입 이론을 공부하고 있습니다.
    • 좀 많이 전에는 Bidirectional Typing (J. Dunfield, N. Krishnaswami)을 읽었었고,
    • 독일에 있는 튀빙겐 대학 내에서 연구하는 대수적 효과 언어 Effekt도 간단히 살펴보았었습니다.
    • 최근에는 힌들리-밀너-다마스 타입 추론 위에 얹은 부타입 확장을 살펴보고 있습니다.
      • 캠브릿지 대학 연구인 MLsub (S. Dolan and A. Mycroft)...
      • 을 단순화한 Simple-sub (L. Parreaux)을 시작으로 MLstruct, Ultimate Conditional Syntax 등 홍콩대 연구를 많이 보고 있습니다
      • MLscript가 정말 흥미로운 언어에요 ReScript but more Kotlin처럼 생겼음
  • 올해 들어서 An Infinitely Large Napkin으로 군론과 군의 작용, 위상수학과 대수 위상(호모토피만), 그리고 범주론을 배웠습니다.
  • 형식적 증명 보조기에도 관심이 많습니다.
    • Software Foundation을 통해 Coq (현 Rocq)를 약간 배웠습니다.
    • Lean 4도 약간 맛보기를 했습니다.
    • 의존 타입/마틴 뢰프 타입(MLTT)/호모토피 타입(HoTT) 등을 배워 간단한 증명 보조기도 만들어보고 싶네요.
      • 아마 An Infinitely Large Napkin 스터디가 끝나면 HoTT 스터디를 하지 않을까 싶네요.

16
0
0
0
0
0
0
0
0
0
0
0
Bubbler @bubbler@hackers.pub
Public
Shared by Jaeyeol Lee

프로그래밍을 할 줄 아는 그냥 회사원입니다. 대부분의 코딩과 개발은 취미로 합니다. 언어는 Rust 좋아하는데 주로 취미 개발용으로 쓰고, 회사에서는 Python과 C/C++만 씁니다. 요즘은 Zig를 찍먹해보려고 노력하고 있고, 그 외에 Haskell, Lean, APL, Picat 등등을 조금 다룰 수 있습니다. (이 글을 보시는 분들 중 뒤의 두 개를 다 아시는 분은 0명일거라고 감히 짐작해 봅니다.) 언어 외의 기술 중에는 combinatorial optimization이 현재 최대 관심사입니다.

퍼즐이나 PS(Problem solving, 프로그래밍 문제해결) 등 머리를 깊게 써서 문제를 해결하는 것을 좋아하고, 그만큼 문제를 만드는 것도 좋아합니다. 백준 온라인 저지에서 5000+ 문제를 풀고 50+ 문제를 출제하였고, 요즘은 거의 활동하지 않지만 Project Euler에도 299번 문제를 출제하였습니다.

16
1
0
1
0
0
0
0
0
0
0
0
Bubbler @bubbler@hackers.pub
Public

프로그래밍을 할 줄 아는 그냥 회사원입니다. 대부분의 코딩과 개발은 취미로 합니다. 언어는 Rust 좋아하는데 주로 취미 개발용으로 쓰고, 회사에서는 Python과 C/C++만 씁니다. 요즘은 Zig를 찍먹해보려고 노력하고 있고, 그 외에 Haskell, Lean, APL, Picat 등등을 조금 다룰 수 있습니다. (이 글을 보시는 분들 중 뒤의 두 개를 다 아시는 분은 0명일거라고 감히 짐작해 봅니다.) 언어 외의 기술 중에는 combinatorial optimization이 현재 최대 관심사입니다.

퍼즐이나 PS(Problem solving, 프로그래밍 문제해결) 등 머리를 깊게 써서 문제를 해결하는 것을 좋아하고, 그만큼 문제를 만드는 것도 좋아합니다. 백준 온라인 저지에서 5000+ 문제를 풀고 50+ 문제를 출제하였고, 요즘은 거의 활동하지 않지만 Project Euler에도 299번 문제를 출제하였습니다.

16
1
0
한겨레 @hanibsky.bsky.social@bsky.brid.gy
Public
Shared by 시오

지하철 역사 내 집회를 가중처벌하는 이른바 ‘전국장애인차별철폐연대(전장연) 방지법’이 국회에 발의된 가운데, 최근 서울시의회 국민의힘 소속 의원들이 해당 법안을 빠르게 처리해달라는 건의안까지 발의해 논란이 입니다.

서울시의회 국힘 의원들, ‘전장연 방지법’ 반대 여론 ...

서울시의회 국힘 의원들, ‘전장연 방지법’ 반대 여론 무시하고 입법 촉구

지하철 역사 내 집회를 가중처벌하는 이른바 ‘전국장애인차별철폐연대(전장연) 방지법’이 국회에 발의된 가운데, 최근 서울시의회 국민의힘 소속 의원들이 해당 법안을 빠르게 처리해달라는 건의안까지 발의해 논란이 인다. 사회적 요구를 이어 온 소수자 단체를 가해자처럼 앞세운

www.hani.co.kr · 한겨레

0
0
0
0
0
0
한겨레 @hanibsky.bsky.social@bsky.brid.gy
Public

지하철 역사 내 집회를 가중처벌하는 이른바 ‘전국장애인차별철폐연대(전장연) 방지법’이 국회에 발의된 가운데, 최근 서울시의회 국민의힘 소속 의원들이 해당 법안을 빠르게 처리해달라는 건의안까지 발의해 논란이 입니다.

서울시의회 국힘 의원들, ‘전장연 방지법’ 반대 여론 ...

서울시의회 국힘 의원들, ‘전장연 방지법’ 반대 여론 무시하고 입법 촉구

지하철 역사 내 집회를 가중처벌하는 이른바 ‘전국장애인차별철폐연대(전장연) 방지법’이 국회에 발의된 가운데, 최근 서울시의회 국민의힘 소속 의원들이 해당 법안을 빠르게 처리해달라는 건의안까지 발의해 논란이 인다. 사회적 요구를 이어 온 소수자 단체를 가해자처럼 앞세운

www.hani.co.kr · 한겨레

0
0
0
0
0
0
1
0
0
Alvin Ashcraft 🐿️ @alvinashcraft@hachyderm.io
Public

Windows and Xbox team up with ASUS to create ROG Xbox Ally handhelds.

blogs.windows.com/windowsexper

Windows and Xbox team up with ASUS to create ROG Xbox Ally handhelds

At the annual Xbox Games Showcase June 8, Xbox and ASUS unveiled the ROG Xbox Ally and ROG Xbox Ally X, Windows 11 handhelds crafted in collaboration with ASUS. These devices feature an immersive Xbox full screen experience, an aggregated gaming lib

blogs.windows.com · Windows Experience Blog

0
0
0
0
0
0
0
0
0
:heart_trans: fluffy fox girl :heart_trans: @pastelfluffyfox@transfem.social
Public

our long reservation just got changed and us along with 6 other families are being thrown out

WE NEED DONATIONS. THIS IS AN EMERGENCY

https://www.paypal.me/hazelnutflavorcoffee

@mutualaid@a.gup.pemutualaid group

Transfer money online in seconds with PayPal money transfer. All you need is an email address.

www.paypal.com

0
0
0
0
0
0
0
0
0
0
0
0
뉼비🍅 @neulrain.bsky.social@bsky.brid.gy
Public
Shared by 시오

우와아아앙 드디어~~~ 환영합니다

RE: https://bsky.app/profile/did:plc:aquzm76xau5oikuadmsjbrhb/post/3lraqlnv3sr2x

FINAL FANTASY XIV (@en.finalfantasyxiv.com)

FFXIV is trying out Bluesky! 🦋 Follow us and 🔁 while you're here so you and fellow Warriors of Light never miss #FFXIV news on Bluesky! For our fans around the world, be sure to check out our regional accounts as well! ❤️ @fr.finalfantasyxiv.com @de.finalfantasyxiv.com @jp.finalfantasyxiv.com

bsky.app · Bluesky Social

0
0
0
1
0
0
Elena Rossini on GoToSocial ⁂ @elena@aseachange.com
Public
Shared by Chee Aun 🤔

Dear Fedi friends,

I'm really proud to share with you a video I made: "Introducing the Fediverse: a New Era of Social Media" https://news.elenarossini.com/fediverse-video/

In this 4-minute video I explain what the #fediverse is to people not familiar with it, mentioning some of its great features and benefits (interoperability, no ads, no surveillance...) and I set it in contrast to the world of Big Tech social platforms. I argue that, with the rise of Big Tech oligarchs and the current political climate, there has never been a better time to join the fediverse.

I hope you will enjoy this video and that you will find it useful (maybe as a tool to introduce your friends, family, colleagues, school administrators, local government officials to it).

The fediverse has truly changed my life, making me a better, more empowered digital citizen. I am endlessly grateful for it, so this is my contribution to the cause ❤️

I am also incredibly thankful for the work of @samaabergSamuel Aaberg and @patel.riyenThe Life of Tarzan who helped me bring my vision to life with their amazing cinematography skills and their assistance throughout the process, providing brilliant feedback to the script / edits from the POV of fedi newbies.

And I was also moved by the generous help of people of the Fediverse who volunteered to translate the script into many foreign languages: @janJan Dytrych🇨🇿🇺🇦 @fritjofFritjof :emacs: :ardour: @erikkempErik Kemp 🇪🇺🟥 @sknob @severin @clabruClaudio @tarcisiosurdiTarcísio Surdi ⁂ :verified_sc: @hongminhee洪 民憙 (Hong Minhee) @danielcasanueva @ainaliJan Ainali @naclyPen

Lastly, I'm thankful for the opportunity I had to premiere the video last week at #FediForum - thank you @j12tJohannes Ernst and @anca

The video is up on my self-hosted PeerTube instance (thank you @yunohostYunoHost :neopossum_box:) and for now it is unlisted as I have no idea how my VPS will hold up. I also included an alternate location in the blog post.

I hope you'll enjoy it! It's been a real labor of love (a month of full time work on it)... I see it as my love letter to the fediverse 💌

Edit/update: THANK YOU for all the people who volunteered to have their avatar show up in the last shot. There were 750+ submissions and only 135 spots - sorry I couldn't include everyone 🥲

#TheFutureIsFederated

📺 Introducing the Fediverse: a New Era of Social Media

A 4 minute video that aims to introduce the Fediverse to people not familiar with it

news.elenarossini.com · Elena Rossini

Link author: Elena Rossini ⁂@_elena@mastodon.social

1
130
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
MTG @analoggreen@hackers.pub
Public

연봉이 '면접후 결정'이라는것이 직후 말고 시간상 이후로인가? 이번 면접은 희망연봉 물어보는것도 없네? (대충 면접관은 입장전 탈락을 마음먹은 상태구나)

0
0
0
1
0
0
1
0
0
洪 民憙 (Hong Minhee) @hongminhee@hackers.pub
Public

할아버지 댁에 Macintosh가 있었는데, 내 기억이 맞다면 이 모델인 것 같다. 할아버지는 Apple을 좋아하셔서 Apple 컴퓨터만 사셨는데, 내가 고등학교 입학할 때는 내 입학 선물로 PowerBook G4를 사준다는 핑계로 용산에 같이 가서 당신의 iMac G4도 함께 사셨다. (그게 핑계라는 건 나중에 할머니 통해서 알게 되었다… ㅋㅋㅋ)

지금 보니 키보드에 좌측 Control 키가 위에 있고 Caps Lock 키가 아래에 있네. 좋은 디폴트인데 왜 요즘 Mac은 이렇게 안 하지?

5
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
0
0
mcc @mcc@mastodon.social
Public

I have been trying to edit a simple .xlsx and send it back to my tax professional but I have been having odd problems with both LibreOffice and OpenOffice. I am mildly tempted to reconnect my ancient MacBook which I normally pull out once a year so I can use Numbers

0
0
0
1
0
0