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.

daniel roe 🇺🇦 @danielroe.dev@bsky.brid.gy

5/5/2025, 10:10:30 AM

Public

just released v2 alpha of Nuxt Image! 🙏 feedback wanted 💪 improved, stronger types 🚧 better provider types before release please try it out and let us know how it goes for you! github.com/nuxt/image/r...

Release v2.0.0-alpha.1 · nuxt/...

Release v2.0.0-alpha.1 · nuxt/image

This is an alpha version of Nuxt Image v2 👀 Highlights We'd love your feedback! This release contains quite a lot of changes, including (of course) breaking changes. It also brings a great deal of...

github.com · GitHub

쯔방 @pbzweihander@yuri.garden

5/5/2025, 10:09:53 AM

Public

그려주실분 커미션비 냅니다

RE: https://mitir.social/notes/a7eg973tay

쯔방 @pbzweihander@yuri.garden

5/5/2025, 6:21:44 AM

Public

어린이날 기념 유리 가든 어린이 커미션이나 넣어볼까 하다가 이미 교복비스무리한것도 입고 있어서 굳이 싶군

노동절 기념 일하는 유리 가든이나 신청할껄 :blobcatgooglynotlikethis:

오브젝티프 @objectif@mitir.social

5/5/2025, 9:35:46 AM

Public

Shared by

쯔방

@pbzweihander@yuri.garden쯔방 :yuri: :yurigarden: :garden: 노동절 기념 "단결 ✊ 투쟁" 머리띠 매고 "여성의 연대 | 해방의 선봉" 써 있는 조끼 입고 어깨 걸고 팔뚝질하며 민중가요 부르는 유리 가든

"유리의 유는 유니온의 유"

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

5/5/2025, 10:08:47 AM

Public

Compiling Haskell into Lean: A common abstract syntax for Haskell and interactive theorem provers. ~ Talitha Holcombe. https://digitalcommons.chapman.edu/eecs_theses/3/ #Haskell #FunctionalProgramming #ITP #LeanProver

Compiling Haskell into Lean: A Common Abstract Syntax for Haskell and Interactive Theorem Provers

In this work, we introduce a program conversion tool, HS-TO-LEAN, that uses GHC's ghc-lib-parser API to translate Haskell programs into Lean code, which is then validated by the Lean compiler. The repo can be found at https://github.com/holcombet/hs-to-lean/tree/main. The result is a successful compilation of a fragment of Haskell into correct and executable Lean code that users can prove theorems about. We conducted a case study using a heap sort algorithm to support our claim that HS-TO-LEAN produces verifiable Lean code. Our approach is inspired by recent advances in formal verification of Haskell programs in Coq, and we currently restrict our attention to total Haskell. The compiler produces an AST that serves as a common level of abstraction between a fragment of Haskell and Lean. The abstract common fragment promotes translation between languages by simplifying and restructuring GHC's original AST, improving the readability and linearization of the AST. Future work on HS-TO-LEAN will extend the compiler to translate to other interactive theorem provers, including Coq, Agda, and Isabelle, making it portable and accessible to a range of verification efforts and communities. Future work also includes implementing bidirectionality, supporting the translation of Haskell code to a target proof assistant and vice versa. This method will expose an interesting level of abstraction that is applicable to all of the languages involved and produce a more maintainable compiler. These results contribute to the ongoing work in the formalization and verification of mathematics and programming and present a viable approach to unifying the formal systems of different proof assistants.

digitalcommons.chapman.edu · Chapman University Digital Commons

Kur0den0010@一酸化ニでん素 @kur0den0010@chpk.kur0den.net

5/5/2025, 10:08:34 AM

Public

にゃー

Jimmy The Shark @jimmyorz@g0v.social

5/5/2025, 9:24:17 AM

Public

Shared by

MJ+

Georgeeeeee 🐘 ++ @cafebug@g0v.social

5/5/2025, 9:58:22 AM

Public

Shared by

MJ+

大家那麼急忙地去換匯美金，是不是大家都一次換百萬啊，要不然差距也還好啊 (咦

MJ+ @voyager@g0v.social

5/5/2025, 8:15:48 AM

Public

說起來中國國民黨也不是國民黨
就好像阿北的民眾黨不是蔣渭水的民眾黨

Patrick Wu @patrick@o0o.social

5/5/2025, 9:57:23 AM

Public

Shared by

MJ+

@voyagerMJ+ 總感覺不對去查了下…

中國的國民黨叫中國國民黨革命委員會，台灣的國民黨叫中國國民黨

yamanoku @yamanoku@hollo.yamanoku.net

5/5/2025, 10:06:11 AM

Public

お腹が壊滅状態です

Latte macchiato @privateger@plasmatrap.com

5/5/2025, 10:05:34 AM

Public

I wonder if its possible to get a liter jug of coca cola concentrate as a normal person

Update error Nodebb v4.3.0

KirillJsx @kirilljsx@community.nodebb.org

Hello everyone! I encountered this problem when updating, it swears at <code>Eslint</code> The error occurs due to a version conflict between eslint package versions between different dependencies. <pre><code>admin@:~/projects/nodebb$ ./nodebb build Dependencies outdated or not yet installed. Installing them now... npm error code ERESOLVE npm error ERESOLVE could not resolve npm error npm error While resolving: nodebb@4.3.0 npm error Found: eslint@8.57.1 npm error node_modules/eslint npm error peer eslint@"^6.0.0 || ^7.0.0 || >=8.0.0" from @eslint-community/eslint-utils@4.4.0 npm error node_modules/@eslint-community/eslint-utils npm error @eslint-community/eslint-utils@"^4.2.0" from eslint@8.57.1 npm error @eslint-community/eslint-utils@"^4.2.0" from eslint@9.18.0 npm error node_modules/nodebb-plugin-sso-oauth2-multiple/node_modules/eslint npm error eslint@"9.x" from nodebb-plugin-sso-oauth2-multiple@1.4.2 npm error node_modules/nodebb-plugin-sso-oauth2-multiple npm error nodebb-plugin-sso-oauth2-multiple@"^1.4.2" from the root project npm error peer eslint@"^7.32.0 || ^8.2.0" from eslint-config-airbnb-base@15.0.0 npm error node_modules/eslint-config-airbnb-base npm error eslint-config-airbnb-base@"15.0.0" from eslint-config-nodebb@0.2.1 npm error node_modules/eslint-config-nodebb npm error dev eslint-config-nodebb@"1.1.4" from the root project npm error 3 more (eslint-config-nodebb, eslint-plugin-import, nodebb-plugin-2factor) npm error npm error Could not resolve dependency: npm error dev @stylistic/eslint-plugin-js@"4.2.0" from the root project npm error npm error Conflicting peer dependency: eslint@9.26.0 npm error node_modules/eslint npm error peer eslint@">=9.0.0" from @stylistic/eslint-plugin-js@4.2.0 npm error node_modules/@stylistic/eslint-plugin-js npm error dev @stylistic/eslint-plugin-js@"4.2.0" from the root project npm error npm error Fix the upstream dependency conflict, or retry npm error this command with --force or --legacy-peer-deps npm error to accept an incorrect (and potentially broken) dependency resolution. npm error npm error npm error For a full report see: npm error /home/admin/.npm/_logs/2025-05-05T09_37_06_860Z-eresolve-report.txt npm error A complete log of this run can be found in: /home/admin/.npm/_logs/2025-05-05T09_37_06_860Z-debug-0.log Error installing dependencies! message: Command failed: npm install --omit=dev stdout: null stderr: null /home/admin/projects/nodebb/src/cli/package-install.js:138 throw e; ^ Error: Command failed: npm install --omit=dev at genericNodeError (node:internal/errors:983:15) at wrappedFn (node:internal/errors:537:14) at checkExecSyncError (node:child_process:889:11) at Object.execSync (node:child_process:961:15) at pkgInstall.installAll (/home/admin/projects/nodebb/src/cli/package-install.js:129:9) at Object.<anonymous> (/home/admin/projects/nodebb/src/cli/index.js:50:18) at Module._compile (node:internal/modules/cjs/loader:1434:14) at Module._extensions..js (node:internal/modules/cjs/loader:1518:10) at Module.load (node:internal/modules/cjs/loader:1249:32) at Module._load (node:internal/modules/cjs/loader:1065:12) { status: 1, signal: null, output: [ null, null, null ], pid: 295719, stdout: null, stderr: null } Node.js v22.2.0 </code></pre> Found a solution - this will temporarily disable strict checking of peerDependencies: <pre><code>npm install --omit=dev --legacy-peer-deps ./nodebb build </code></pre>

TechCrunch @TechCrunch@mstdn.social

5/5/2025, 10:02:10 AM

Public

TeleMessage, a modified Signal clone used by US govt. officials, has been hacked https://tcrn.ch/42QWygs

Cheng-Ren🦊🐺 @chengren21@misskey.io

5/5/2025, 10:00:52 AM

Public

タヌキの特権、タヌキ吸い(ぽこ♀、まる♀) #北きつね牧場

Leonieke @leonieke@mstdn.fenslaw.nl

5/5/2025, 9:59:57 AM

Public

En als je dan zo half dommelend en wiegend in een trein zit te staren naar buiten, dan is er eigenlijk maar één gedicht om te onthouden 📖

*Bericht aan de reizigers*
Bestijg de trein nooit zonder uw valies met dromen,
dan vindt ge in elke stad behoorlijk onderkomen.

Zit rustig en geduldig naast het open raam:
gij zijt een reiziger en niemand kent uw naam.

Zoek in 't verleden weer uw frisse kinderogen,
kijk nonchalant en scherp, droomrig en opgetogen.

Al wat ge groeien ziet op 't zwarte voorjaarsland,
wees overtuigd: het werd alleen voor u geplant.

Laat handelsreizigers over de filmcensuur
hun woordje zeggen: God glimlacht en kiest zijn uur.

Groet minzaam de stationschefs achter hun groen hekken,
want zonder hun signaal zou nooit één trein vertrekken.

En als de trein niet voort wil, zeer ten detrimente
van uwe lust en hoop en zuurbetaalde centen,

Blijf kalm en open uw valies; put uit zijn voorraad
en ge ondervindt dat nooit een enkel uur te loor gaat.

En arriveert de trein in een vreemdsoortig oord,
waarvan ge in uw bestaan de naam nooit hebt gehoord,

Dan is het doel bereikt, dan leert gij eerst wat reizen
betekent voor de dolaards en de ware wijzen...

Wees vooral niet verbaasd dat, langs gewone bomen,
een doodgewone trein u voert naar 't hart van Rome.

-----------------------------------------
uit: Verzamelde Gedichten (1964)
Schrijver: Jan van Nijlen

#Interrail #EuropeanTrainTravel #CityTrip

Leonieke @leonieke@squilla.vitaulium.eu