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.
i forgot vsco existed, was just reminded of it
Say I’ve already watched all of Vera, Shetland, Hinterland, Hidden, Dublin Murder Squad, Law & Order UK and Marlow Murders, what should I do next?
SSD1306 display drivers and font rendering https://lobste.rs/s/vih1t5 #graphics #hardware
https://subalpinecircuits.com/ssd1306-and-font-rendering/
"GitHub Actions: macOS 15 and Windows 2025 images are now generally available"
Add `macos-15` and `windows-2025` to use them.
https://github.blog/changelog/2025-04-10-github-actions-macos-15-and-windows-2025-images-are-now-generally-available/
#GitHub #GitHubActions #CI #macOS #Windows
last release before Funkwhale 2 is out
How to Bike Across the Country
Link: https://www.brooks.team/posts/how-to-bike-across-the-country/
Discussion: https://news.ycombinator.com/item?id=43681936
A few friends have created Twitch channels with what I like to call GPS for Skycars (aka ADS-B or Automatic Dependent Surveillance–Broadcast) for aircraft tracking and monitoring with live feed of their local airports.
If you're interested, check them out on Twitch. They'd love to chat with other folks interested. The stream chat is not always monitored, but is checked periodically throughout the day.
@MonroeCoAirband
@NiagaraAirWatch
@WhiteCoairWX
📣 📣 Tickets for PyCon UK 2025 are now LIVE! 📣 📣
Come and join us this September for exciting talks, interesting discussions, hands-on workshops and sprints, and a truly welcoming, inclusive community 🐍
Whether you’re a seasoned Pythonista or just starting your coding journey, PyCon UK 2025 offers something for everyone.
🎟️ Grab your ticket here: https://2025.pyconuk.org/tickets/
We can’t wait to see you there! 🐍🚀
#PyConUK2025 #Python #SoftwareEngineering #Python #development #manchester
currently getting my hair cut fur the furst time since nico did it at the start of the pandemic lol
SoCal earthquake quick everyone post about it so we know the site has the juice!
@stefanoStefano Marinelli with that, I hope I can convince the wife to jump into the static pages wagon 🤞
DolphinGemma: How Google AI is helping decode dolphin communication
Link: https://blog.google/technology/ai/dolphingemma/
Discussion: https://news.ycombinator.com/item?id=43680899
last release before Funkwhale 2 is out
Need to quickly return to your home directory? Type "cd".
-- Dru <genesis@istar.ca>
SoCal earthquake quick everyone post about it so we know the site has the juice!
New glasses! (Long overdue, I usually wear contacts, so my old pairs were very out of date)
tem um diálogo q sempre me faz dar gostosas risadas q é assim:
- vc acha q Sócrates existiu?
e a pessoa responde:
- claro q existiu. tem foto dele. tem vídeo dele jogando.
The Path to Open-Sourcing the DeepSeek Inference Engine
Link: https://github.com/deepseek-ai/open-infra-index/tree/main/OpenSourcing_DeepSeek_Inference_Engine
Discussion: https://news.ycombinator.com/item?id=43682088
喉と全身が痛い
勘弁してほしい
A key milestone in the Equational Theories Project: after just over 200 days, the last of the 4694^2 = 22033636 possible implications between our test list of 4694 equational laws has now been formalized in Lean https://teorth.github.io/equational_theories/dashboard/ . The amount of code, data, and text needed to accomplish this was rather substantial and diverse: https://leanprover.zulipchat.com/#narrow/channel/458659-Equational/topic/Project.20language.20stats/near/512058557
The main outstanding task is now to write the paper, which is currently in an incomplete draft forrm: https://teorth.github.io/equational_theories/paper.pdf
Ruby 3.4.3 Released https://www.ruby-lang.org/en/news/2025/04/14/ruby-3-4-3-released/.
This is a routine update that includes bug fixes. We recommend upgrading your Ruby version at your earliest convenience.
Algebraic Semantics for Machine Knitting https://lobste.rs/s/koauiz #math #plt
https://uwplse.org/2025/03/31/Algebraic-Knitting.html
Stasm: GCC/Clang inline assembly wrapper, C macro pre-processor based. ASM for human beings https://lobste.rs/s/182ftx #assembly #c #c++
https://github.com/stasinek/stasm
Need to quickly return to your home directory? Type "cd".
-- Dru <genesis@istar.ca>
LLM한테 코딩을 시켜본 소감은, C++은 컴파일 가능한 코드 뽑기 단계에서 내가 포기했고, Python은 인간이 손수? 수정 좀 하면 돌아가는 수준이었고, 더 단순한? 스트립트 언어들은 안 되잖아!라고 몇 번 갈구면 꽤 쓸만하게 나왔음. 언어 자체의 복잡성 + 예제의 풍부함이 주요 원인으로 생각됨.
다만, 영어로 (Input, Output) 명세를 명확하게 지정해 줘야 함. 무얼 받아서 무얼 내놓아야 하는지, 프롬프트를 슈도 코드 수준으로 자세하진 않더라도 명세서 수준으로는 정확하게 줘야 함. 아직 LLM은 추론하는 게 아니라 Transform하는 도구임.
즉 뭘 만들지 그 본체?는 사람이 "잘" 지정해줘야 하고, 대신 언어/라이브러리 매뉴얼이나 예제 뒤지는 수고는 대신 해 줄 수 있었음. 이 정도만 해도 생산성에는 큰 도움이 되긴 하는데 프로그래머가 필요 없어지려면 아직은 갈 길이 멀다고 생각함. 최신예의, 추론한다는 모델들은 다를지 궁금하네.
【大阪万博会場の隣地】日本初のカジノ含むIR、24日に本体工事着工へ
https://www.nikkei.com/article/DGXZQOUF11CGD0R10C25A4000000/
正体を現した。
Flat origami is Turing complete via 
@fanfTony Finch https://lobste.rs/s/tanhwa #math
https://arxiv.org/abs/2309.07932
misskey.ioに新しい絵文字 
(yunochan_tohoho_end)が追加されたかも。
these are my emotional support 567 tabs
In about 24 hours — 10AM US/Pacific on Tuesday — I will be streaming on Twitch at https://www.twitch.tv/glyph_official/ to write some software.
Just finished playing this year's exciting game of sell stock, move $ to IRA, buy stock. Or as I like to call it kick the tax can until next year.
animefeminist에서 아니메 신작 리뷰 올리는 거 보면 작품이 얼마나 이상하든 1화 끝까지 다 보고 평가까지 하는 게 얼마나 어려운 일인지 실감난다...
서버찵여
おやすむみ
ねむたいからねちゃお
"I've been experimenting with integrating my news publication project with the Fediverse for nearly half a decade." Such a valuable summary. #Fediverse https://werd.io/2025/integrating-a-news-publication-into-the-fediverse
Integrating a News Publication Into the Fediverse
https://deadsuperhero.com/integrating-a-news-publication-into-the-fediverse/ [Sean Tilley]Sean has been integrating We Distribute with the fediverse for years. It's been hard - particularly at the beginning, which is the plight
werd.io · Werd I/O
Link author: 
Ben Werdmuller@ben@werd.social
misskey.ioに新しい絵文字 
(iori_cheering)が追加されたかも。
자야할텐데....
최근 일본 웹에서 성적인 광고가 너무 많이 늘어나서 사회적 문제가 되고 있는데, 그 원인을 짚는 기사. https://digital.asahi.com/articles/AST4312G2T43UTIL01KM.html
신문 잡지 같은 전통 광고 시장에서는 미디어 측에서 광고를 직접 검수하고 싣는데, 웹 광고는 그게 아니라 웹페이지는 광고 공간을 판매하면 구글이나 메타 등 플랫폼에서 계약한 광고들이 자동으로 뜨는 구조라 웹사이트 측에서 광고 내용을 미리 제어할 수가 없다.
웹사이트 운영측에서는 그런 광고가 뜨면 자사만 이미지 타격을 입기 때문에 인력을 들여서 필터링 강화 대응을 하고는 있지만 완벽하지 않다고.
Portland meetup, tomorrow Tuesday April 15th
RE: https://bsky.app/profile/did:plc:rzddvbgqwuiieu22aem3ybi7/post/3lmrvqzhumc2a
@reiver ⊼ (Charles) 
Glyph
쯔방 
