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.

에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public
Shared by KAGAMI🏳️‍🌈🏳️‍⚧️

특전사 헬기의 서울 진입 승인을 3차례 보류한 군인이 있는가 하면, 비상계엄 해제요구안이 가결된 이후에 부대 출동 준비를 지시한 군인도 있다. 12·3 당시 군 지휘부는 불법적인 비상계엄을 거부할 의지가 없었다. 입력 2025.05.01 08:21 www.sisain.co.kr/news/article...

그날 밤, 모든 군인이 소극적이진 않았다

그날 밤, 모든 군인이 소극적이진 않았다

문준영 수습기자 · 4월4일 헌법재판소는 윤석열을 파면하면서 “국회가 신속하게 비상계엄 해제 요구 결의안을 가결시킬 수 있었던 것은 시민들의 저항과 군경의 소극적인 임무 수행 덕분이었으므로, 결과적으로 비상계엄 해제 요구 결의안이 가결되었다는 이유로 피청구인의 법 위반이 중대하지 않다고 볼 수는 없다”라

www.sisain.co.kr · 시사IN

0
0
0
0
0
0
José A. Alonso @Jose_A_Alonso@mathstodon.xyz
Public

Logical modelling in CS education: Bridging the natural language gap. ~ Tristan Kneisel, Fabian Vehlken, Thomas Zeume. arxiv.org/abs/2504.21384

arXiv logo

Logical Modelling in CS Education: Bridging the Natural Language Gap

An important learning objective for computer science students is to learn how to formalize descriptions of real world scenarios in order to subsequently solve real world challenges using methods and algorithms from formal foundations of computer science. Two key steps when formalizing with logical formalisms are to (a) choose a suitable vocabulary, that is, e.g., which propositional variables or first-order symbols to use, and with which intended meaning, and then to (b) construct actual formal descriptions, i.e. logical formulas over the chosen vocabulary. While (b) is addressed by several educational support systems for formal foundations of computer science, (a) is so far not addressed at all -- likely because it involves specifying the intended meaning of symbols in natural language. We propose a conceptual framework for educational tasks where students choose a vocabulary, including an enriched language for describing solution spaces as well as an NLP-approach for checking student attempts and providing feedback. We implement educational tasks for designing propositional and first-order vocabularies within the Iltis educational system, and report on experiments with data from introductory logic courses for computer science students with > 25.000 data points.

arxiv.org · arXiv.org

0
0
0
0
0
0
0
0
0
2
0
0
Fan of OpenBSD @puffy4life@snac.bsd.cafe
Public

@stefano@bsd.cafeStefano Marinelli Oh, it's in reference the election result in Canada and having an extremist environmentalist globalist win the election. He hide everything he believes in during campaign but he wrote a book years ago outlining how the government needs to take more of everybody's money plus add new taxes on people's income to protect the planet, bring in a total ban on gas and oil, and create new criminal laws to protect what people can say online so people who share bad information will be held liable. He is also in support of government freezing or taking away people's bank account of anyone who supports activities that do not conform to mandates issued by government.

I see an ever widening picture of people's money disappearing. Cost of heat going up, cost of food going up, cost of business going up, maybe more companies going out of business, more people will skip meals because of money. I heard last year in Canada that 2 million people were living off food donations, they could not afford to buy food. Houses are not worth much when people have to choose between heat or food. Clothes, or food. So the homeowners who voted the way they did protect against Trump are going to lose a mass amount of money when Canadians can't pay rent, much less care about the price of a house. There's no value in owning a home when there's no people who want to buy it

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
北市真 @KitaitiMakoto@bookwor.ms
Public

Hugging FaceがGit LFSをやめてストレージ的にもアップロード、ダウンロード速度的にもより効率的なやり方を開発して導入したらしい。

if-modified-sinceが使えなくなったのはこれのせいかな。
このXet用クライアントをRubyでも実装するのがいいのか。

Xet is on the Hub
huggingface.co/blog/xet-on-the

Xet is on the Hub

We’re on a journey to advance and democratize artificial intelligence through open source and open science.

huggingface.co

0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public
Shared by 시아란 🌌 Private

직장 상사가 “뽀뽀해달라” “남자 만나야지”…일터에서 고통 받는 여성들 가해자, 직장 관계자 61.8%로 가장 많아 수정 2025-05-01 14:16 www.hani.co.kr/arti/society...

직장 상사가 “뽀뽀해달라” “남자 만나야지”…일터에서 ...

직장 상사가 “뽀뽀해달라” “남자 만나야지”…일터에서 고통 받는 여성들

#1. “한 달에 한 번은 만나자.” 직장 상사가 자꾸 근무시간을 벗어난 때에 만나자고 요구한다. 나는 승진이 잘 안 되는 상황인데, 이 상사가 개인평가를 맡고 있기에 문제를 제기하기가 조심스럽다. 회의실로 따로 불러 “왜 약속 안 잡느냐”며 만남을 강요하고, “다른

www.hani.co.kr · 한겨레

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public

직장 상사가 “뽀뽀해달라” “남자 만나야지”…일터에서 고통 받는 여성들 가해자, 직장 관계자 61.8%로 가장 많아 수정 2025-05-01 14:16 www.hani.co.kr/arti/society...

직장 상사가 “뽀뽀해달라” “남자 만나야지”…일터에서 ...

직장 상사가 “뽀뽀해달라” “남자 만나야지”…일터에서 고통 받는 여성들

#1. “한 달에 한 번은 만나자.” 직장 상사가 자꾸 근무시간을 벗어난 때에 만나자고 요구한다. 나는 승진이 잘 안 되는 상황인데, 이 상사가 개인평가를 맡고 있기에 문제를 제기하기가 조심스럽다. 회의실로 따로 불러 “왜 약속 안 잡느냐”며 만남을 강요하고, “다른

www.hani.co.kr · 한겨레

0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
PictoPulse356 @PictoPulse356@mastodon.social
Public

South Korean convenience store launches on-site visa assistance service for foreign residents - The Korea Times

koreatimes.co.kr/business/comp

South Korean convenience store launches on-site visa assistance service for foreign residents - The Korea Times

CU has launched on-site visa assistance services for foreign residents, becoming the first convenience store chain to do so, the company said Thursday. In partnership with K-VISA, the country's leadin...

www.koreatimes.co.kr

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
0
0
0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public
Shared by 시아란 🌌 Private

특전사 헬기의 서울 진입 승인을 3차례 보류한 군인이 있는가 하면, 비상계엄 해제요구안이 가결된 이후에 부대 출동 준비를 지시한 군인도 있다. 12·3 당시 군 지휘부는 불법적인 비상계엄을 거부할 의지가 없었다. 입력 2025.05.01 08:21 www.sisain.co.kr/news/article...

그날 밤, 모든 군인이 소극적이진 않았다

그날 밤, 모든 군인이 소극적이진 않았다

문준영 수습기자 · 4월4일 헌법재판소는 윤석열을 파면하면서 “국회가 신속하게 비상계엄 해제 요구 결의안을 가결시킬 수 있었던 것은 시민들의 저항과 군경의 소극적인 임무 수행 덕분이었으므로, 결과적으로 비상계엄 해제 요구 결의안이 가결되었다는 이유로 피청구인의 법 위반이 중대하지 않다고 볼 수는 없다”라

www.sisain.co.kr · 시사IN

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public

특전사 헬기의 서울 진입 승인을 3차례 보류한 군인이 있는가 하면, 비상계엄 해제요구안이 가결된 이후에 부대 출동 준비를 지시한 군인도 있다. 12·3 당시 군 지휘부는 불법적인 비상계엄을 거부할 의지가 없었다. 입력 2025.05.01 08:21 www.sisain.co.kr/news/article...

그날 밤, 모든 군인이 소극적이진 않았다

그날 밤, 모든 군인이 소극적이진 않았다

문준영 수습기자 · 4월4일 헌법재판소는 윤석열을 파면하면서 “국회가 신속하게 비상계엄 해제 요구 결의안을 가결시킬 수 있었던 것은 시민들의 저항과 군경의 소극적인 임무 수행 덕분이었으므로, 결과적으로 비상계엄 해제 요구 결의안이 가결되었다는 이유로 피청구인의 법 위반이 중대하지 않다고 볼 수는 없다”라

www.sisain.co.kr · 시사IN

0
0
0
0
0
0
0
0
0