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

Brian Wilson viewed Pet Sounds (1966) as a solo album and attributed its inspiration partly to marijuana use and an LSD–rooted spiritual awakening. Galvanized by the work of his rivals, he aimed to create "the greatest rock album ever made", surpassing the Beatles' Rubber Soul (1965) and extending Phil Spector's Wall of Sound innovations. His orchestrations blended pop, jazz, exotica, classical, and avant-garde elements, combining rock instrumentation with layered vocal harmonies, found sounds, and instruments not normally associated with rock, such as French horn, flutes, Electro-Theremin, bass harmonica, bicycle bells, and string ensembles. Featuring the most complex and challenging instrumental and vocal parts of any Beach Boys album, it was their first in which studio musicians, such as the Wrecking Crew, largely replaced the band on their instruments, and the first time any group had departed from their usual small-ensemble pop/rock band format to create a full-length album that could not be replicated live. Its unprecedented total production cost exceeded $70,000 (equivalent to $680,000 in 2024).

youtube.com/watch?v=f9keMETFIb

0
0
0
0
0
0
0
0

Brian Wilson viewed Pet Sounds (1966) as a solo album and attributed its inspiration partly to marijuana use and an LSD–rooted spiritual awakening. Galvanized by the work of his rivals, he aimed to create "the greatest rock album ever made", surpassing the Beatles' Rubber Soul (1965) and extending Phil Spector's Wall of Sound innovations. His orchestrations blended pop, jazz, exotica, classical, and avant-garde elements, combining rock instrumentation with layered vocal harmonies, found sounds, and instruments not normally associated with rock, such as French horn, flutes, Electro-Theremin, bass harmonica, bicycle bells, and string ensembles. Featuring the most complex and challenging instrumental and vocal parts of any Beach Boys album, it was their first in which studio musicians, such as the Wrecking Crew, largely replaced the band on their instruments, and the first time any group had departed from their usual small-ensemble pop/rock band format to create a full-length album that could not be replicated live. Its unprecedented total production cost exceeded $70,000 (equivalent to $680,000 in 2024).

youtube.com/watch?v=f9keMETFIb

0
0
1
0
0

요즘 AI로 콘티까지 포함해서 통짜 영상 만들어주는 툴이 많은데, 디즈니와 유니버설이 AI 그림 회사 미드저니를 고소했습니다. 기존 상업 캐릭터 이름만 치면 그 캐릭터로 그림, 영상 만들어주는게 지적재산권에서 자유로울리가 없잖아요? 미드저니는 최소 700명 이상의 무단 학습 아티스트 명단이 공개되어 있기도 합니다. www.hollywoodreporter.com/business/bus...

Disney, Universal Launch AI Le...

0

Brian Wilson, the co-founder and primary songwriter of the Beach Boys, has died, his family announced. The beloved musical auteur, who helped pioneer the studio-as-instrument, influencing generations of musicians in pop and beyond, was revealed in early 2024 to be living with a neurocognative disorder akin to dementia. Wilson was 82 years old.

Without Brian Wilson there would be no Sargent Peppers. He changed the way music was made.

pitchfork.com/news/the-beach-b

0

I will be at the NGI Forum in Brussels next week!

On Thursday I will participate in the NGI Impact Stories panel to explain how @ngiNGI Outreach Office is helping Mastodon, and on Friday on a another panel to discuss tech sovereignty and what can bring in Europe with @openwebsearcheu

You can still register to attend online: ngi.eu/ngi-forum25/

If you also attend, please come say hi! I will have some Mastodon stickers to distribute and will be happy to discuss anything Mastodon / Fediverse related

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

說起來我還真的是哪都能睡,只有一片平坦,軟床、硬床、沙發、藤椅、地板我都可以睡。

小時候搭長途客運、遊覽車,為了避免暈車,我會反向蹲坐在地板上,臉趴在座椅上睡。後來則是只要頭有地方可以靠著,坐在座椅上、一發車就直接開始睡。

(然後現在大半夜不睡在這裡發廢文

0

Brian Wilson, the co-founder and primary songwriter of the Beach Boys, has died, his family announced. The beloved musical auteur, who helped pioneer the studio-as-instrument, influencing generations of musicians in pop and beyond, was revealed in early 2024 to be living with a neurocognative disorder akin to dementia. Wilson was 82 years old.

Without Brian Wilson there would be no Sargent Peppers. He changed the way music was made.

pitchfork.com/news/the-beach-b

0
0
0
0
0
0
0
0
0
0
0

LeanTutor: A formally-verified AI tutor for mathematical proofs. ~ Manooshree Patel et als. arxiv.org/abs/2506.08321

arXiv logo

LeanTutor: A Formally-Verified AI Tutor for Mathematical Proofs

We present LeanTutor, a Large Language Model (LLM)-based tutoring system for math proofs. LeanTutor interacts with the student in natural language, formally verifies student-written math proofs in Lean, generates correct next steps, and provides the appropriate instructional guidance. LeanTutor is composed of three modules: (i) an autoformalizer/proof-checker, (ii) a next-step generator, and (iii) a natural language feedback generator. The first module faithfully autoformalizes student proofs into Lean and verifies proof accuracy via successful code compilation. If the proof has an error, the incorrect step is identified. The next-step generator module outputs a valid next Lean tactic for incorrect proofs via LLM-based candidate generation and proof search. The feedback generator module leverages Lean data to produce a pedagogically-motivated natural language hint for the student user. To evaluate our system, we introduce PeanoBench, a human-written dataset derived from the Natural Numbers Game, consisting of 371 Peano Arithmetic proofs, where each natural language proof step is paired with the corresponding logically equivalent tactic in Lean. The Autoformalizer correctly formalizes 57% of tactics in correct proofs and accurately identifies the incorrect step in 30% of incorrect proofs. In generating natural language hints for erroneous proofs, LeanTutor outperforms a simple baseline on accuracy and relevance metrics.

arxiv.org · arXiv.org

0
0
1

If you have a CD-ROM drive in your machine, you can make the CD-ROM that is
presently inserted available by typing 'mount /cdrom' as root. The CD-ROM
will be available under /cdrom/. Remember to do 'umount /cdrom' before
removing the CD-ROM (it will usually not be possible to remove the CD-ROM
without doing this.)

Note: This tip may not work in all configurations.

0
0
1
0
0
0
0
0
1

Things libc will never do (broad but not comprehensive):

- Nag you to update.
- Phone home to check it if should nag you to update.
- Tell you a CVE can't be fixed without updating to the latest version.
- Try to force you to switch from glibc to musl.
- Get other software you depend on dependent on musl.
- Rant against "wokeness" or "DEI".
- Integrate "AI" into your libc.
- Give you up.
- Let you down.

0