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

๋Œ“๊ธ€ ๋ง‰๊ธฐ ์˜ต์…˜์„ ๊ตฌํ˜„ํ•˜๋ ค๊ณ  ํ–ˆ๋”๋‹ˆ, ์—ฐํ•ฉ์šฐ์ฃผ์—์„œ ๋Œ“๊ธ€์„ ๋ง‰์•˜๋‹ค๋Š” ๊ฒƒ์„ ๋‚˜ํƒ€๋‚ด๋Š” ํ•ฉ์˜๋œ ์†์„ฑ ๊ฐ™์€ ๊ฒŒ ์—†๋Š” ๊ฒƒ ๊ฐ™๋‹ค. ๋‚ด๊ฐ€ ๋ฉ‹๋Œ€๋กœ ์–ดํœ˜๋ฅผ ํ•˜๋‚˜ ์ •ํ•ด์„œ ์จ๋„ ๋˜๊ฒ ์ง€๋งŒโ€ฆ ์Œโ€ฆ

์กฐ๊ธˆ ๋” ์ฐพ์•„๋ณด๋‹ˆ GoToSocial์ด ์ƒํ˜ธ์ž‘์šฉ ๋ฐฉ์นจ์ด๋ผ๋Š” ํ™•์žฅ ์‚ฌ์–‘์„ ๋…์ž์ ์œผ๋กœ ์ •์˜ํ•ด์„œ ์“ฐ๊ณ  ์žˆ๋Š”๋ฐ, ์ด๊ฑธ ๋‹ค ๊ตฌํ˜„ํ•˜๋ ค๋ฉด ์ƒ๊ฐ๋ณด๋‹ค ํ’ˆ์ด ๋งŽ์ด ๋“ค ๊ฒƒ ๊ฐ™๋‹ค. ๊ทธ๋ฆฌ๊ณ  ์—๋ชจ์ง€ ๋ฆฌ์•ก์…˜์„ ์œ„ํ•œ canEmojiReact ๊ฐ™์€ ์†์„ฑ๋„ ์ถ”๊ฐ€ํ•ด์•ผ ํ•  ๊ฒƒ ๊ฐ™๊ณ . (canLike ์†์„ฑ์€ ์ด๋ฏธ ์ •์˜๋˜์–ด ์žˆ๋‹ค.)

2

ไธ€ๆ™‚ๆœŸ Emacs ใ‚’ไฝฟใฃใฆใ„ใŸใฎใง a ใฎๅทฆ้šฃใŒ ctrl ใงใชใ„ใจใ‚ใกใ‚ƒใใกใ‚ƒๆŒ‡ใŒใใคใ‹ใฃใŸ (ctrl ใŒๅทฆไธ‹็ซฏใซใ‚ใ‚‹ใจ ctrl ใจๅŒๆ™‚ๆŠผใ—ใ—ใ‚ˆใ†ใจใ—ใŸใจใใซ้ซ˜็ขบ็އใงๆŒ‡ใ‚’ๆ”ฃใ‚‹

0
1
0
0

ใ‚ญใƒผใƒœใƒผใƒ‰ใซๆฑ‚ใ‚ใ‚‹ใ‚‚ใฎ: ใŸใฎใ—ใ„๏ผˆใƒกใ‚ซใƒ‹ใ‚ซใƒซใ‚ญใƒผใ‚นใ‚คใƒƒใƒ, ใ‚ญใƒผใ‚นใ‚คใƒƒใƒใ‚นใƒฏใƒƒใƒ—ๅฏ่ƒฝ, ใ‚ซใƒฉใƒ ใ‚นใ‚ฟใƒƒใ‚ฌใƒผใƒ‰/ๆ ผๅญ้…ๅˆ—/ใ‚ขใƒชใ‚น้…ๅˆ—, US้…ๅˆ—, ใ‚ญใƒผใ‚นใƒฏใƒƒใƒ—/SandS/ใƒฌใ‚คใƒคใƒผๅˆ‡ใ‚Šๆ›ฟใˆ๏ผ‰

1

ใ€ŽenableAppleAI โ€“ ไธบๅ›ฝ่กŒ Mac ๅผ€ๅฏ Apple ๆ™บ่ƒฝ๏ผŒM1 ่Šฏ็‰‡ไปฅไธŠ่ฎพๅค‡ๅณๅฏใ€
enableAppleAI ๆ˜ฏไธ€ไธชๅœจ GitHub ๅผ€ๆบ็š„ Apple ๆ™บ่ƒฝๅฏ็”จ่พ…ๅŠฉ่„šๆœฌ๏ผŒๅฎƒ่ƒฝๅคŸไธบๅ›ฝ่กŒ็š„ Mac ่ฎพๅค‡ๅผ€ๅฏ Apple ๆ™บ่ƒฝ๏ผŒM1 ่Šฏ็‰‡ไปฅไธŠ่ฎพๅค‡ๅณๅฏไฝฟ็”จใ€‚ๆ— ้œ€้•ฟๆœŸ่ฟ่กŒๅŽๅฐๆœๅŠก๏ผŒๆ— ้œ€้•ฟๆœŸ
โ€ฆโ€ฆ
้˜…่ฏปๅ…จๆ–‡๏ผš :sys_link: appinn.com/enableappleai/

0

๋ญ”๊ฐ€ ๋ฏธ์ฟ ๋Š” ์–‘๊ฐˆ๋ž˜๊ฐ€ ๊ท ํ˜•์žˆ๊ฒŒ ๋‹ฌ๋ ค์žˆ์œผ๋‹ˆ ๊ท ํ˜•์žˆ๊ฒŒ ์–‘์ชฝ์„ ๋˜‘ ๋—์„๋•Œ ์˜ˆ์œ๊ฒƒ๋„ ์žˆ๊ณ  ์‚ฌ์ด๋“œํ…Œ์ผํ™” ํ–ˆ์„๋•Œ ๋ฌ˜ํ•˜๊ฒŒ ์˜ˆ์œ ๊ฒƒ๋„ ์žˆ์Œ

0

For over one year I've been harassed, threatened, doxxed, misgendered and abused by Luna the Foxgirl, author of Inochi2D.

Due to her attacks and manipulation of others, I no longer feel safe contributing to Linux GPU drivers, and I will be retiring my current model.

asahilina.net/luna-abuse/

0

ๅŽŸๆœฌๆŠŠ็Žฉๅ‰ฉ็š„ๅœŸๆๆˆๅฒ่Šๅง†ๅฝข็‹€็š„ๆ“ด้ฆ™็Ÿณ๏ผŒ
ไฝ†ไธŠ้‡‰ๅพŒๅฐฑ่ฎŠๆˆไธ€้ปž้ƒฝไธๅฏฆ็”จ็š„ๅฐๅปข็‰ฉใ€‚


-14-ๆทบ้’็“ท

ๅฒ่Šๅง†ๅฝข็‹€็š„ๆ“ด้ฆ™็Ÿณ
0
0
0

ๅคงๅฎถๅฅฝ๏ผๆˆ‘ fork ไบ†้—ช็ซ™็ซ™้•ฟ @slashineๆ–ฏๆ‹‰้—ช ็š„่ฟ™ไธชๆŸฅ็œ‹ๆœฌๅœฐๅค‡ไปฝๅ˜Ÿๆ–‡็š„ๅทฅๅ…ท๏ผŒๅœจๅ…ถๅŸบ็ก€ไธŠๅšไบ†ไธ€็‚น็‚นๆ”นๅŠจๅ’ŒๅŠŸ่ƒฝ็š„ๅขžๅŠ .

ๆ”นๅŠจ๏ผš
- โ€œๅ˜Ÿๆ–‡ไธŽๅ›žๅคโ€็š„ๆ•ฐ้‡้‡ๆ–ฐๅšไบ†่ฎก็ฎ—๏ผŒไน‹ๅ‰็š„ๆ•ฐๅญ—ๆœ‰่ฏฏ๏ผ›
- ๅฐ†่‡ชๅทฑๅ›žๅค่‡ชๅทฑ็š„ๅ˜Ÿๆ–‡ๅฝ’็ฑปๅˆฐๅŽŸๅˆ›๏ผŒไธๅ†ไฝœไธบๅ›žๅค.

ๅŠŸ่ƒฝๅขžๅŠ ๏ผš
- ๆ—ถ้—ด้€‰ๆ‹ฉๅ™จ. ๅฏไปฅ้€‰ๆ‹ฉๆŸไธ€ๆฎตๆ—ถ้—ดๅ†…็š„ๅ˜Ÿๆ–‡ๆŸฅ็œ‹๏ผŒๆฏ”็ดขๅผ•ๆ›ดๅผบๅคง๏ผ›
- ็ปŸ่ฎก่กจๆ ผ. ๅ…จๆ–นไฝ็š„็ปŸ่ฎกๆ•ฐๆฎ๏ผŒๅฏไปฅ็œ‹ๅˆฐ่‡ชๅทฑๅ„็ง็ฑปๅž‹ๅ˜Ÿๆ–‡็š„ๅˆ†ๅธƒ๏ผ›
- ๅ˜Ÿๅ˜Ÿ่ถ‹ๅŠฟๅ›พ. ๅฐ†ๆฏๅคฉ็š„ๅ˜Ÿๆ–‡ๆ•ฐ้‡ๅšๆˆๆŠ˜็บฟๅ›พ็š„ๅฝขๅผ๏ผŒๅ“ชๅคฉๅ‘็š„ๅคšไธ€็›ฎไบ†็„ถ.

ๅ…ทไฝ“็š„ๆ•ˆๆžœไปฅๆˆ‘่‡ชๅทฑ็š„ๆ•ฐๆฎไธบไพ‹๏ผŒ่ฏท็œ‹ๅ›พ.

้กน็›ฎๅœฐๅ€๏ผšgithub.com/zero-mstd/mav-z/

ๆœ‰็–‘้—ฎๅฏไปฅ้—ฎๆˆ‘ๆˆ–่€…ๅคงๅฎถไบ’็›ธๅธฎๅฟ™~ๆ„Ÿ่ฐข้—ช็ซ™็ซ™้•ฟๅผ€ๅˆ›ๆ€ง็š„่ดก็Œฎ๏ผ

ๆœฌๅœฐๅ˜Ÿๆ–‡ๆŸฅ็œ‹ๅทฅๅ…ท็š„ๆ•ˆๆžœๆผ”็คบ

ๆœ‹ๅ‹ไปฌๅฅฝๅ•Š๏ผ่ฟ™ไธชๆŸฅ็œ‹ๆœฌๅœฐๅค‡ไปฝๅ˜Ÿๆ–‡็š„ๅทฅๅ…ทๆˆ‘ๅˆๅšไบ†ไธ€ๆณขๆ›ดๆ–ฐ๏ผŒๅ› ไธบไน‹ๅ‰็š„ไฝฟ็”จๆ–นๆณ•ๆญฅ้ชคๅคชๅคš๏ผŒ่ฟ˜ๆ˜ฏๆœ‰็‚น่ฟ‡ไบŽ็น็ไบ†๏ผˆไน‹ๅ‰้œ€่ฆๆ‰‹ๅŠจ่งฃๅŽ‹ๅญ˜ๆกฃใ€่ฆๆŠŠๆ–‡ไปถๅฝ’ๆ‹ขๅˆฐไธ€ไธชๆ–‡ไปถๅคนไธ‹ใ€่ฟ˜่ฆ้€‰ไธคๆฌกๆ–‡ไปถ๏ผ‰๏ผŒๆœ‰็š„่ฑกๅ‹ไธไผš็”จ๏ผŒๆˆ‘ไนŸๅซŒ้บป็ƒฆ๏ผ

๐ŸŒŸ ่ฟ™ๆฌก็š„ๆ›ดๆ–ฐๅคงๅคง็ฎ€ๅŒ–ไบ†ไฝฟ็”จๆต็จ‹๏ผš
๐ŸŽฏ ๅช้œ€ๅ…ˆๆŠŠ่ฟ™ไธชๅทฅๅ…ทไธ‹่ฝฝไธ‹ๆฅ๏ผŒๆŽฅ็€็”จๆต่งˆๅ™จๆ‰“ๅผ€็ฝ‘้กตๆ–‡ไปถ๏ผŒ็„ถๅŽๆ นๆฎ้กต้ขไธŠ็š„ๆ็คบ็›ดๆŽฅ้€‰ๆ‹ฉ้‚ฃไธช .tar.gz ๅญ˜ๆกฃๅŒ…ๅฐฑๅฏไปฅไบ†๏ผ็ฎ€ๅ•ๅˆ่ฝปๆพ๏ผ่ฟ˜็ญ‰ไป€ไนˆ๏ผŒๅฟซๆฅ่ฏ•่ฏ•ๅง๏ผ

๐Ÿ”— ้กน็›ฎๅœฐๅ€๏ผšgithub.com/zero-mstd/mav-z

-----

ๅ…ถไป–ๆ›ดๆ–ฐ๏ผš

- โŒš ๆ—ถๅŒบๅฏ่ฐƒๆ•ด๏ผšไธๅ†ไธ€ๅพ‹ๆ ผๆž—ๅจๆฒปๅ•ฆ๏ผŒๅฏไปฅ็”จไฝ ็†Ÿๆ‚‰็š„ๆ—ถๅŒบๆ˜พ็คบๅ‘ๅ˜Ÿๆ—ถ้—ด๏ผ›
- ๐ŸŒ ่ตฐๅ‘ๅ›ฝ้™…ๅŒ–๏ผšๅขžๅŠ ไบ†่‹ฑ่ฏญๆ”ฏๆŒ๏ผŒๅฟซๆŠŠ่ฟ™ไธช้กน็›ฎๅˆ†ไบซ็ป™ไฝ ็š„ๅค–ๅ›ฝ่ฑกๅ‹ๅง๏ผˆ็”ฑไบŽ่‹ฑ่ฏญไธๆ˜ฏๆˆ‘็š„ๆฏ่ฏญ๏ผŒๆ‰€ไปฅๆœ‰่กจ่พพไธๅฅฝ็š„ๅœฐๆ–นๆฌข่ฟŽๅคšๅคšๆŒ‡ๆ•™๏ผ‰๏ผ›
- ๐Ÿคฒ ่”้‚ฆๅคงๅฎถๅบญ๏ผš็œ‹ไธ€็œ‹ไฝ ้ƒฝๅ’Œๅ“ชไบ›่”้‚ฆๅฎ‡ๅฎ™็ซ™็‚นๅš่ฟ‡ไบ’ๅŠจ๏ผŒไปฅๅŠไฝ ๆœ€็ˆฑ็ป™ๅ“ชไธช็ซ™็š„่ฑกๅ‹ๅ†™่ฏ„่ฎบ/ๆŒ‰่ฝฌๅ‘/็‚นๆ˜Ÿๆ˜Ÿ/ๅŠ ๆ”ถ่—. ๅฆ‚ๆžœๆ‰“็ฎ—่ต›ๅšๆฌๅฎถ๏ผŒ่ฟ™ไนŸ่ฎธๅ€ผๅพ—ๅ‚่€ƒๅ“ฆ๏ผ

ๆœ‰ไปปไฝ•้—ฎ้ข˜ๅฏไปฅ้—ฎๆˆ‘๏ผŒๆˆ–่€…ๅคงๅฎถไบ’็›ธๅธฎๅฟ™.

ๆ–ฐ็‰ˆ้•ฟๆฏ›่ฑกๅ˜Ÿๆ–‡ๅค‡ไปฝๆŸฅ็œ‹ๅทฅๅ…ท็š„ๅŠŸ่ƒฝๅฑ•็คบ
0
0
0
0

HI THERE EVERYONE!

mas.to is and always will be a free service, but it costs a whole lot of money to run! And as we grow our costs grow too.

The generosity of our donors keeps this server running, and we are eternally grateful to them ๐Ÿ™‚

If you don't already donate and would like to, you can make one-off or regular contributions at Ko-Fi:

ko-fi.com/trumpet

Thanks for your support! โค๏ธ

0

๋Œ“๊ธ€ ๋ง‰๊ธฐ ์˜ต์…˜์„ ๊ตฌํ˜„ํ•˜๋ ค๊ณ  ํ–ˆ๋”๋‹ˆ, ์—ฐํ•ฉ์šฐ์ฃผ์—์„œ ๋Œ“๊ธ€์„ ๋ง‰์•˜๋‹ค๋Š” ๊ฒƒ์„ ๋‚˜ํƒ€๋‚ด๋Š” ํ•ฉ์˜๋œ ์†์„ฑ ๊ฐ™์€ ๊ฒŒ ์—†๋Š” ๊ฒƒ ๊ฐ™๋‹ค. ๋‚ด๊ฐ€ ๋ฉ‹๋Œ€๋กœ ์–ดํœ˜๋ฅผ ํ•˜๋‚˜ ์ •ํ•ด์„œ ์จ๋„ ๋˜๊ฒ ์ง€๋งŒโ€ฆ ์Œโ€ฆ

4
1
0

The Gist: News of the World

The Gist @index@www.thegist.ie

After our very Extra explanatory exegesis last time, let's try something different. Instead of thousands of words covering hundreds of years we'll just run around quickly looking at things that happened this fortnight.

Canadian Elections

It is a painful truth that as the generations turn, Irish people abroad just get worse and worse. Our national charms and empathy fade leaving only our worst instincts for malice and cunning. This is why Irish-Americans surround Trump while he is as popular as aging mackerel sewn into curtains back in their ancestral home.

So it is is with some relief that we discovered the Irish-monikered winner of the Canadian election, Mark Carney, is sufficiently close to our actual country that he'd held an Irish passport since the 1980s and could still be called up to play in any future soccer internationals.

But while his win was notable and impressive, it was mostly a result of other people's actions. Specifically, Donald Trump's rhetorical denials of Canada's independence and the fact that his opponent, Tory party leader Pierre Poilievre was a personally repellent Trumpist.

Trump has claimed to have a Midas touch, an uncharacteristically accurate self-assessment, in that everything he touches dies. So it was with the polling numbers for Canada's Tump tribute act as soon as the US president returned to office.

Cue the chart!

A line graph showing party polling averages for a number of Candadian political parties. The main focus is that the blue line for the Conservative party is well above the red line for the Liberal party (approx 20 points above) until Jan 2025 when the Liberal soar up past the Conservatives, as they fall.
I wonder what happened half way through January 2025?

There's barely any time to tell you about Poilievre's ostentatious embrace of crypto, his minimal reskinning of Trump's America First slogan as Canada First or his backing for a Freedom Convoy of anti-vaccine truckers that blocked the streets of his own constituencyโ€™s voters in Ottawa.

We can just note that, on top of losing the national election, he managed to so annoy the sleep-deprived residents of his own electoral district with his honking horn for truck-fuelled anti-science that they turfed him out of his own seat.

Australian Elections

It was dรฉjรก vu all over again at the Australian elections, as the previously leading conservative Coalition faced the consequences of giving off enthusiastic Trumpy vibes after the start of the Tariff Times.

Chart!

Sophisticated line chart with confidence intervals marked, but basically the Labor line goes up and over the Conservative Coalition line just before April and never changes after that.

Reinforcing the messaging of the Canadian elections, we even had a personally objectionable right wing Liberal party leader, Peter Dutton, whose frontbench senators explicitly made speeches declaring a Make Australia Great Again policy.

Australians were unconvinced, re-electing the incumbent government that had been trailing the opposition group's promises to introduce DOGE-aping massive job cuts in public servants, until Musk and Trump demonstrated what chaotic vibe-coded government would actually mean.

Oh, and then the Dutton led his party to it's lowest modern seat result and lost his own seat. Listen, it's almost like there's some sort of lesson to be learned here.

UK Local & By-Elections

There were three stories happening at once in England's elections this week. The main one was that Nigel Farage's latest personal political vehicle, Reform UK, surged to startling success, taking both a By-election seat directly from Labour and a wall of Local Council seats.

Bring on the Chart!

Heading for two bar charts: "Reform and Lib Dems' seat sahre exceeded vote share" subhead: Share of votes and share of council seats won in the local elections. Two bar charts below. the headline number is that Reform UK got 31% of the vote and 41% of the seats

While it may seem strange that Nigel Farage, the answer to the question 'what if nicotine-stained fingers became a whole person?', would buck the international trend against Trumpist rightwing populism we should remember that all these votes were cast in England, not the UK as a whole.

More to the point, only some of the constituencies were voting. And the ones that were up for grabs were overwhelmingly Tory-blue.

Which takes us to the second story of this election. The UK Tory party is imploding and has no plan to change its trajectory. The Financial Times, a pretty sober outlet, summed up the results starkly: "The worldโ€™s most successful party is currently losing a fight to the death."

Of the 21 Councils changing control fully 18 of them were the Conservatives losing to either Reform outright or slipping out of their control. Only one council switched from Labour control.

In a first-past-the-post system, electorates are forced into binary choices to allocate power. And chunks of the former Tory party electorate simply won't vote for them any more. Hence, Reform.

The third, and perhaps biggest, story from this election is the continuing inability of the Labour Party to understand its own electorate. Labour has spent its time since election studiously signalling to all those Reform voters that it, too, can be cruel and racist. It has cut fuel allowances for old people, attacked trans people, demonised immigrants and generally gone out of its way to sound like the least popular member of your pub quiz team. In fact, it was even outflanked to the left by Wetherspoons after the UK SC decision on trans people.

In short, the Labour party has expended considerable political capital driving away its own base to the left, sending support to the Greens in national polls and lifting the Liberal Democrats into second place by seats won in this election, while winning exactly zero support from people who were never going to vote for it anyway.

Unlike our other two stories, which are basically the same narrative of the Tory party's collapse from different ends of the telescope, this one is a purely self-inflicted wound by the Labour Party leadership.

The explanation is a question of the UK's political culture, rather than any electoral strategy by the Labour Party. Firstly, the current Labour leadership was defined and took power in opposition to the left. Jeremy Corbyn's leadership was its main antagonist, even while Brexit consumed the Tories.

Secondly, the UK media has been on a long collective march to the right for decades. The creation of the Murdoch Press as a bloc has driven and shaped th UK political classes more than almost any other factor. During the time all of the people around Kier Starmer grew up, the more right-wing position has always been presented as the reasonable and popular one. This has a long-term effect, constraining political conceptions of what might be imagined, let alone delivered.

But, now that they have achieved stunning majority power, the Labour Party continues to chase the marsh gases of right wing support, leaving behind the actual voters who put it in. The number of Labour voters who even consider they might be curious about voting for Reform was just 11% of their base.

The British electorate voted for change. (And if you had to live inside of Britain's funhouse mirror political system for the last decade, who would blame you?). In response Starmer promised that he would give them more of the things that they had voted against.

"the message I take out of these elections is that we need to go further and we need to go faster on the change people want to see. And thatโ€™s what Iโ€™m determined to do.โ€

This is bad politics, as well as bad thinking.

If Opposition party leaders losing their own seats is commonplace, will the UK try to go one better?

Subscribe to the Gist
Subscribe to the Gist, for some money
Just throw money at the Gist
Read more โ†’
1
0
0

์–ด๋ฆฐ์ด๋‚  ๊ธฐ๋… ์œ ๋ฆฌ ๊ฐ€๋“  ์–ด๋ฆฐ์ด ์ปค๋ฏธ์…˜์ด๋‚˜ ๋„ฃ์–ด๋ณผ๊นŒ ํ•˜๋‹ค๊ฐ€ ์ด๋ฏธ ๊ต๋ณต๋น„์Šค๋ฌด๋ฆฌํ•œ๊ฒƒ๋„ ์ž…๊ณ  ์žˆ์–ด์„œ ๊ตณ์ด ์‹ถ๊ตฐ

๋…ธ๋™์ ˆ ๊ธฐ๋… ์ผํ•˜๋Š” ์œ ๋ฆฌ ๊ฐ€๋“ ์ด๋‚˜ ์‹ ์ฒญํ• ๊ป„
โ€‹:blobcatgooglynotlikethis:โ€‹

@pbzweihander@yuri.garden์ฏ”๋ฐฉ :yuri: :yurigarden: :garden: ๋…ธ๋™์ ˆ ๊ธฐ๋… "๋‹จ๊ฒฐ โœŠ ํˆฌ์Ÿ" ๋จธ๋ฆฌ๋  ๋งค๊ณ  "์—ฌ์„ฑ์˜ ์—ฐ๋Œ€ | ํ•ด๋ฐฉ์˜ ์„ ๋ด‰" ์จ ์žˆ๋Š” ์กฐ๋ผ ์ž…๊ณ  ์–ด๊นจ ๊ฑธ๊ณ  ํŒ”๋š์งˆํ•˜๋ฉฐ ๋ฏผ์ค‘๊ฐ€์š” ๋ถ€๋ฅด๋Š” ์œ ๋ฆฌ ๊ฐ€๋“ 

"์œ ๋ฆฌ์˜ ์œ ๋Š” ์œ ๋‹ˆ์˜จ์˜ ์œ "

0

Compiling Haskell into Lean: A common abstract syntax for Haskell and interactive theorem provers. ~ Talitha Holcombe. digitalcommons.chapman.edu/eec

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

0
0
0

ๅคงๅฎถ้‚ฃ้บผๆ€ฅๅฟ™ๅœฐๅŽปๆ›ๅŒฏ็พŽ้‡‘๏ผŒๆ˜ฏไธๆ˜ฏๅคงๅฎถ้ƒฝไธ€ๆฌกๆ›็™พ่ฌๅ•Š๏ผŒ่ฆไธ็„ถๅทฎ่ทไนŸ้‚„ๅฅฝๅ•Š (ๅ’ฆ

0

่ชช่ตทไพ†ไธญๅœ‹ๅœ‹ๆฐ‘้ปจไนŸไธๆ˜ฏๅœ‹ๆฐ‘้ปจ
ๅฐฑๅฅฝๅƒ้˜ฟๅŒ—็š„ๆฐ‘็œพ้ปจไธๆ˜ฏ่”ฃๆธญๆฐด็š„ๆฐ‘็œพ้ปจ :doge:

@voyagerMJ+ ็ธฝๆ„Ÿ่ฆบไธๅฐๅŽปๆŸฅไบ†ไธ‹โ€ฆ

ไธญๅœ‹็š„ๅœ‹ๆฐ‘้ปจๅซไธญๅœ‹ๅœ‹ๆฐ‘้ปจ้ฉๅ‘ฝๅง”ๅ“กๆœƒ๏ผŒๅฐ็ฃ็š„ๅœ‹ๆฐ‘้ปจๅซไธญๅœ‹ๅœ‹ๆฐ‘้ปจ :neocat_sip_glare:

0
0
0

Update error Nodebb v4.3.0

KirillJsx @kirilljsx@community.nodebb.org

<p>Hello everyone! I encountered this problem when updating, it swears at <code>Eslint</code></p> <p>The error occurs due to a version conflict between eslint package versions between different dependencies.</p> <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 || &gt;=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@"&gt;=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.&lt;anonymous&gt; (/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> <p>Found a solution - this will temporarily disable strict checking of peerDependencies:</p> <pre><code>npm install --omit=dev --legacy-peer-deps ./nodebb build </code></pre>

Read more โ†’
0
0
1

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

0

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

0

The Rolling Stone article doing the rounds has all the horror stories I've been afraid were going to happen in the interaction between LLMs and people without the ability to critically analyse the limitations of LLMs, except the scariest one of all: what happens when politicians start uncritically employing LLMs to make policy decisions.

We're not prepared for this as a society, and we need to start having these conversations right now before we destroy ourselves. LLMs may seem like cool toys or tools to you with your fancy critical thinking abilities, but a great many people are not equipped to deal with a machine that spews out platitudes on command so statistically credible they can't tell there's no intelligence behind them.

And if you think OpenAI and the likes are going to regulate this for us instead of continuing to rake in the cash, we're all the more doomed.

rollingstone.com/culture/cultu

0
0
0

ๅคงๅฎถ้‚ฃ้บผๆ€ฅๅฟ™ๅœฐๅŽปๆ›ๅŒฏ็พŽ้‡‘๏ผŒๆ˜ฏไธๆ˜ฏๅคงๅฎถ้ƒฝไธ€ๆฌกๆ›็™พ่ฌๅ•Š๏ผŒ่ฆไธ็„ถๅทฎ่ทไนŸ้‚„ๅฅฝๅ•Š (ๅ’ฆ

0
0
1

๋Œ“๊ธ€ ๋ง‰๊ธฐ ์˜ต์…˜์„ ๊ตฌํ˜„ํ•˜๋ ค๊ณ  ํ–ˆ๋”๋‹ˆ, ์—ฐํ•ฉ์šฐ์ฃผ์—์„œ ๋Œ“๊ธ€์„ ๋ง‰์•˜๋‹ค๋Š” ๊ฒƒ์„ ๋‚˜ํƒ€๋‚ด๋Š” ํ•ฉ์˜๋œ ์†์„ฑ ๊ฐ™์€ ๊ฒŒ ์—†๋Š” ๊ฒƒ ๊ฐ™๋‹ค. ๋‚ด๊ฐ€ ๋ฉ‹๋Œ€๋กœ ์–ดํœ˜๋ฅผ ํ•˜๋‚˜ ์ •ํ•ด์„œ ์จ๋„ ๋˜๊ฒ ์ง€๋งŒโ€ฆ ์Œโ€ฆ

4
1
1
0
0
0
0