'사랑받고 싶어? 살 빼고 성형해'…눈물 흘리는 아내들

'사랑받고 싶어? 살 빼고 성형해'…눈물 흘리는 아내들, "아내가 예뻐야 사랑받는다?"…10년 지나도 그대로 뚱뚱한 게 싫다던 남편, 아내 성형 후 "밤늦게 안 내보내" 10년 지나도 성형으로 부부 관계 회복하는 구조 반복 117만 뷰티유튜버 '써니채널' 외모강박 고백하기도

www.hankyung.com · 한국경제

feat(e2e): add support for bun test runner by danielroe · Pull Request #1264 · nuxt/test-utils

🔗 Linked issue resolves #1254 ❓ Type of change 📖 Documentation (updates to the documentation or readme) 🐞 Bug fix (a non-breaking change that fixes an issue) 👌 Enhancement (improving an existi...

github.com · GitHub

김재연 “성평등 빼놓고 대선 말하는 건 진보의 직무유기”

“압도적 정권 교체를 하려면 광장의 목소리, 청년과 여성의 목소리를 온전히 담아내야 한다. 내가 그 일을 할 수 있는 유일한 대통령 후보다.” 김재연 진보당 대통령 후보는 28일 한겨레와 만나 “노동자에게 권력을, 청년에게 미래를 주는 진보 정치를 하겠다. 무엇보다 응

www.hani.co.kr · 한겨레

Invoices, transactions, and proof-of-payment on ATProtocol.

Invoices, transactions, and proof-of-payment on ATProtocol. - 01.md

gist.github.com · Gist

Tutte's theorem as an educational formalization project

In this work, we present two results: The first result is the formalization of Tutte's theorem in Lean, a key theorem concerning matchings in graph theory. As this formalization is ready to be integrated in Lean's mathlib, it provides a valuable step in the path towards formalizing research-level mathematics in this area. The second result is a framework for doing educational formalization projects. This framework provides a structure to learn to formalize mathematics with minimal teacher input. This framework applies to both traditional academic settings and independent community-driven environments. We demonstrate the framework's use by connecting it to the process of formalizing Tutte's theorem.

arxiv.org · arXiv.org

SKT 유심 해킹 피해 걱정되면 꼭 읽어보세요

SK텔레콤 유심 서버에 악성코드가 발견된 이후 국민들의 우려가 커지고 있습니다.당장 국내 최다 무선 가입자를 거느린 이동통신사의 해킹으로 2차, 3차 피해가 커질 수도 있다는 걱정이 큰데 무분별한 가짜뉴스와 확인되지 않은 정보도 많이 유통되고 있습니다. 오히려 이런 정보가 피해를 더욱 키울...

zdnet.co.kr

김재연 “성평등 빼놓고 대선 말하는 건 진보의 직무유기”

“압도적 정권 교체를 하려면 광장의 목소리, 청년과 여성의 목소리를 온전히 담아내야 한다. 내가 그 일을 할 수 있는 유일한 대통령 후보다.” 김재연 진보당 대통령 후보는 28일 한겨레와 만나 “노동자에게 권력을, 청년에게 미래를 주는 진보 정치를 하겠다. 무엇보다 응

www.hani.co.kr · 한겨레

Tree Rewriting Calculi for Strictly Positive Logics

We study strictly positive logics in the language $\mathscr{L}^+$, which constructs formulas from $\top$, propositional variables, conjunction, and diamond modalities. We begin with the base system $\bf K^+$, the strictly positive fragment of polymodal $\bf K$, and examine its extensions obtained by adding axioms such as monotonicity, transitivity, and the hierarchy-sensitive interaction axiom $(\sf J)$, which governs the interplay between modalities of different strengths. The strongest of these systems is the Reflection Calculus ($\bf RC$), which corresponds to the strictly positive fragment of polymodal $\bf GLP$. Our main contribution is a formulation of these logics as tree rewriting systems, establishing both adequacy and completeness through a correspondence between $\mathscr{L}^+$ formulas and inductively defined modal trees. We also provide a normalization of the rewriting process, which has exponential complexity when axiom $(\sf J)$ is absent; otherwise we provide a double-exponential bound. By introducing tree rewriting calculi as practical provability tools for strictly positive logics, we aim to deepen their proof-theoretic analysis and computational applications.

arxiv.org · arXiv.org

김재연 “성평등 빼놓고 대선 말하는 건 진보의 직무유기”

“압도적 정권 교체를 하려면 광장의 목소리, 청년과 여성의 목소리를 온전히 담아내야 한다. 내가 그 일을 할 수 있는 유일한 대통령 후보다.” 김재연 진보당 대통령 후보는 28일 한겨레와 만나 “노동자에게 권력을, 청년에게 미래를 주는 진보 정치를 하겠다. 무엇보다 응

www.hani.co.kr · 한겨레