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.

1

‘성소수자 운동 발상지’서 무지개 깃발 내린 트럼프 [플랫] www.khan.co.kr/article/2026... "조란 맘다니 뉴욕시장은 “뉴욕은 현대 LGBTQ 인권운동의 발상지이며, 어떠한 역사 지우기 행위도 역사를 바꾸거나 침묵시킬 수 없다”면서 “우리 시는 이러한 유산을 존중할 뿐만 아니라 그에 부응할 의무가 있다”고 성명을 통해 밝혔다. 척 슈머 민주당 상원 원내대표도 “스톤월 국립기념물에서 성소수자 인권을 상징하는 무지개 깃발을 제거한 것은 매우 부당한 행위”라며 즉시 철회를 요구했다."

‘성소수자 운동 발상지’서 무지개 깃발 내린 트럼프 [...

0

[단독] ‘집게손’ 괴롭힘 이후에도 게임계 ‘사상검증 실태조사’ 없었다 www.womennews.co.kr/news/article... "‘사상검증 실태조사’는 2020년 인권위 권고 이후 시작됐다. 2020 게임 산업 종사자 실태조사에서 심각하다고 생각하는 게임 산업 노동환경 문제로 ‘게임 이용자들에 의한 종사자 사상검증 이슈(페미니즘 등)’을 답변할 수 있게 항목을 추가한 것이다. 하지만 해당 항목 역시 2021년을 끝으로 2년 만에 삭제됐다. 이에 따라 ‘페미니즘 사상검증’의 구체적 현황은 4년간 집계되지 않았다."

[단독] ‘집게손’ 괴롭힘 이후에도 게임계 ‘사상검증 ...

0

박진우 shared the below article:

Functional Programming in Lean 한국어 번역 - 소개 및 감사의 글

초무 @2chanhaeng@hackers.pub

Note

이 글은 Lean 공식 문서에 소개된 Functional Programming in Lean을 작성자가 읽기 위한 목적으로 Kagi Translate를 통해 1차로 기계 번역 후 보완한 글입니다. 원문과의 차이가 있을 수 있으며 정식 내용은 항상 원문을 통해 확인 바랍니다. 원문이 Creative Commons Attribution 4.0 International License를 기반으로 배포된 것을 존중하여 이 글 또한 CC BY 4.0 하에 배포합니다.

소개

Lean은 의존 타입 이론을 기반으로 하는 대화형 정리 증명기 입니다. 원래 Microsoft Research에서 개발되었으나, 현재는 Lean FRO에서 개발이 진행되고 있습니다. 의존 타입 이론은 프로그램과 증명의 세계를 하나로 묶어주기 때문에 Lean은 프로그래밍 언어이기도 합니다. Lean은 이러한 이중적 특성을 진지하게 받아들이며, 범용 프로그래밍 언어로 사용하기에 적합하도록 설계되었습니다. 심지어 Lean은 Lean 자체로 구현되어 있습니다. 이 책은 Lean으로 프로그램을 작성하는 법에 관한 것입니다.

프로그래밍 언어로서의 Lean은 의존 타입을 가진 엄격한 순수 함수형 언어입니다. Lean으로 프로그래밍하는 법을 배우는 과정의 상당 부분은 이러한 각 속성이 프로그램 작성 방식에 어떤 영향을 미치는지, 그리고 어떻게 함수형 프로그래머처럼 생각할 수 있는지를 익히는 것으로 구성됩니다. 엄격성 은 Lean의 함수 호출이 대부분의 언어와 유사하게 작동하는 것을 의미합니다. 즉, 함수의 본문이 실행되기 전에 인자값이 완전히 계산된다는 의미입니다. 순수성 은 프로그램에서 타입에 명시되지 않는 한, Lean 프로그램이 메모리 위치 수정, 이메일 전송, 파일 삭제와 같은 부수 효과(side effect)를 가질 수 없음을 의미합니다. Lean이 함수형 언어라는 것은 함수가 다른 값들과 마찬가지로 일급 객체이며, 실행 모델이 수학적 표현식의 평가에서 영감을 얻었음을 뜻합니다. Lean의 가장 독특한 특징인 의존 타입은 타입을 언어의 일급 구성 요소로 만들어, 타입이 프로그램을 포함하거나 프로그램이 타입을 계산할 수 있게 합니다.

이 책은 Lean을 배우고 싶지만 반드시 함수형 프로그래밍 언어를 사용해 본 적은 없는 프로그래머들을 대상으로 합니다. Haskell, OCaml, F# 같은 함수형 언어에 익숙할 필요는 없습니다. 반면, 이 책은 대부분의 프로그래밍 언어에서 공통적으로 쓰이는 루프, 함수, 데이터 구조와 같은 개념에 대한 지식은 갖추고 있다고 가정합니다. 이 책이 함수형 프로그래밍에 관한 좋은 입문서가 될 수는 있지만, 프로그래밍 전반에 관한 입문서로는 적합하지 않습니다.

Lean을 증명 보조기로 사용하는 수학자들도 언젠가는 맞춤형 증명 자동화 도구를 작성해야 할 때가 올 것입니다. 이 책은 그분들을 위한 것이기도 합니다. 이러한 도구들이 정교해질수록 함수형 언어의 프로그램과 닮아가지만, 대부분의 현직 수학자들은 Python이나 Mathematica 같은 언어에 익숙합니다. 이 책은 그 간극을 메워줌으로써 더 많은 수학자가 유지보수 가능하고 이해하기 쉬운 증명 자동화 도구를 작성할 수 있도록 도울 것입니다.

이 책은 처음부터 끝까지 순서대로 읽도록 구성되었습니다. 개념은 하나씩 도입되며, 뒷부분은 앞부분의 내용을 숙지하고 있다고 가정합니다. 때로는 앞서 짧게 다루었던 주제를 나중에 더 깊이 있게 파고들기도 합니다. 책의 일부 섹션에는 연습 문제가 포함되어 있습니다. 해당 섹션의 이해를 공고히 하기 위해 풀어볼 가치가 있습니다. 또한 책을 읽으면서 배운 내용을 창의적이고 새로운 방식으로 활용하며 Lean을 직접 탐구해 보는 것도 유익합니다.

Lean 시작하기

Lean으로 작성된 프로그램을 작성하고 실행하기 전에, 먼저 컴퓨터에 Lean을 설치해야 합니다. Lean 도구 모음은 다음과 같이 구성됩니다:

  • elanrustup이나 ghcup과 유사하게 Lean 컴파일러 툴체인을 관리합니다.
  • lakecargo, make, 또는 Gradle과 유사하게 Lean 패키지와 그 의존성을 빌드합니다.
  • lean은 개별 Lean 파일의 타입을 검사하고 컴파일하며, 현재 작성 중인 파일에 대한 정보를 프로그래머 도구에 제공합니다. 보통 lean은 사용자가 직접 실행하기보다는 다른 도구에 의해 호출됩니다.
  • Visual Studio Code나 Emacs와 같은 에디터용 플러그인은 lean과 통신하여 관련 정보를 편리하게 보여줍니다.

Lean 설치에 관한 최신 지침은 Lean 매뉴얼을 참조하시기 바랍니다.

타이포그래피 관례

Lean에 입력으로 제공되는 코드 예제는 다음과 같은 형식으로 표시됩니다:

def add1 (n : Nat) : Nat := n + 1
#eval add1 7

위의 마지막 줄(#eval로 시작하는 줄)은 Lean에게 답을 계산하도록 지시하는 명령입니다. Lean의 응답은 다음과 같은 형식으로 표시됩니다:

8

Lean이 반환하는 오류 메시지는 다음과 같은 형식으로 표시됩니다:

Application type mismatch: The argument
  "seven"
has type
  String
but is expected to have type
  Nat
in the application
  add1 "seven"

경고는 다음과 같은 형식으로 표시됩니다:

declaration uses 'sorry'

유니코드

관용적인 Lean 코드는 ASCII에 포함되지 않는 다양한 유니코드 문자를 사용합니다. 예를 들어, 그리스 문자 α, β 및 화살표 는 모두 이 책의 첫 번째 장에 등장합니다. 이를 통해 Lean 코드는 일반적인 수학적 표기법과 더 유사해질 수 있습니다.

기본 Lean 설정에서 Visual Studio Code와 Emacs 모두 백슬래시(\) 뒤에 이름을 입력하여 이러한 문자를 입력할 수 있습니다. 예를 들어, α를 입력하려면 \alpha를 입력합니다. Visual Studio Code에서 문자를 입력하는 방법을 알아보려면 해당 문자 위에 마우스를 올려 툴팁을 확인하세요. Emacs에서는 해당 문자 위에 커서를 두고 C-c C-k를 사용하세요.

저자 소개

David Thrane Christiansen 은 20년 동안 함수형 언어를 사용해 왔으며, 의존 타입을 사용한 지는 10년이 되었습니다. 그는 Daniel P. Friedman과 함께 의존 자료형 이론의 핵심 아이디어를 소개하는 The Little Typer 를 집필했습니다. 코펜하겐 IT 대학교에서 박사 학위를 받았으며, 재학 시절 Idris 언어의 첫 번째 버전에 주요 기여자로 참여했습니다. 학계를 떠난 후에는 미국 오리건주 포틀랜드의 Galois와 덴마크 코펜하겐의 Deon Digital에서 소프트웨어 개발자로 일했으며, Haskell Foundation의 상임 이사를 역임했습니다. 집필 당시 그는 Lean Focused Research Organization 에 소속되어 풀타임으로 Lean 프로젝트에 매진하고 있습니다.

감사의 글

이 무료 온라인 도서는 Microsoft Research의 아낌없는 지원 덕분에 집필 및 무료 배포가 가능했습니다. 집필 과정에서 그들은 Lean 개발팀의 전문 지식을 제공하여 제 질문에 답해주고 Lean을 더 사용하기 쉽게 만들어 주었습니다. 특히 Leonardo de Moura는 이 프로젝트를 시작하고 제가 첫발을 뗄 수 있게 도와주었으며, Chris Lovett은 CI 및 배포 자동화를 구축하고 테스트 독자로서 훌륭한 피드백을 주었습니다. Gabriel Ebner는 기술 검토를 맡았고, Sarah Smith는 행정적인 업무가 원활히 돌아가도록 힘써주었으며, Vanessa Rodriguez는 소스 코드 하이라이트 라이브러리와 특정 버전의 iOS용 Safari 간의 까다로운 상호작용 문제를 진단하는 데 도움을 주었습니다.

이 책을 쓰는 데는 평소 근무 시간 외에도 많은 시간이 소요되었습니다. 제 아내 Ellie Thrane Christiansen은 평소보다 더 많은 가사 분담을 도맡아 주었으며, 아내의 헌신이 없었다면 이 책은 존재할 수 없었을 것입니다. 매주 하루씩 추가로 일하는 것이 가족들에게 쉽지 않은 일이었음에도, 집필 기간 동안 인내심을 갖고 지지해 준 가족들에게 감사의 마음을 전합니다.

Lean을 둘러싼 온라인 커뮤니티는 기술적으로나 정서적으로 이 프로젝트에 열렬한 지지를 보내주었습니다. 특히 Sebastian Ullrich는 에러 메시지 텍스트를 CI에서 확인하고 책에 쉽게 포함할 수 있도록 지원 코드를 작성할 때, 제가 Lean의 메타프로그래밍 시스템을 익히는 데 핵심적인 도움을 주었습니다. 새로운 개정판을 게시한 지 불과 몇 시간 만에 열정적인 독자들이 오류를 찾아내고, 제안을 건네며, 따뜻한 격려를 보내주었습니다. 특히 문체와 기술적인 면에서 많은 제안을 주신 Arien Malec, Asta Halkjær From, Bulhwi Cha, Craig Stuntz, Daniel Fabian, Evgenia Karunus, eyelash, Floris van Doorn, František Silváši, Henrik Böving, Ian Young, Jeremy Salwen, Jireh Loreaux, Kevin Buzzard, Lars Ericson, Liu Yuxi, Mac Malone, Malcolm Langfield, Mario Carneiro, Newell Jensen, Patrick Massot, Paul Chisholm, Pietro Monticone, Tomas Puverle, Yaël Dillies, Zhiyuan Bao, 그리고 Zyad Hassan에게 감사의 인사를 전하고 싶습니다.

Read more →
2
1
1

‘성소수자 운동 발상지’서 무지개 깃발 내린 트럼프 [플랫] www.khan.co.kr/article/2026... "조란 맘다니 뉴욕시장은 “뉴욕은 현대 LGBTQ 인권운동의 발상지이며, 어떠한 역사 지우기 행위도 역사를 바꾸거나 침묵시킬 수 없다”면서 “우리 시는 이러한 유산을 존중할 뿐만 아니라 그에 부응할 의무가 있다”고 성명을 통해 밝혔다. 척 슈머 민주당 상원 원내대표도 “스톤월 국립기념물에서 성소수자 인권을 상징하는 무지개 깃발을 제거한 것은 매우 부당한 행위”라며 즉시 철회를 요구했다."

‘성소수자 운동 발상지’서 무지개 깃발 내린 트럼프 [...

0
0
0
1
0

@츤데레 츤데레에 대해 잘 모르는데 아무튼 시그니처 포즈라고 생각해서(?) 그런 성격에... 변주를 좀 주고싶어서 좀비라는 설정을 섞어보았는데 꽤 바보같고 맘에드는 캐가 나왓네요 방긋

RE: https://bsky.app/profile/did:plc:3ujqspjwmbihh3ooeoane6bs/post/3melk2sbnl22d

0
0
1

これはきっと序の口なのだろう。独裁をやりたいのだろうから。

【速報】自民、衆院の全委員長と審査会長ポスト要求|47NEWS(よんななニュース) 47news.jp/13857586.html

0
1

Inklusion als PR-Übung?
Die Reform des Behindertengleichstellungsgesetzes wird als Fortschritt verkauft.
Doch bei genauerem Hinsehen ist sie vor allem eins: ein Signal an Unternehmen, dass Barrierefreiheit weiterhin auf Ewigkeit optional bleibt.
Ich bin nicht enttäuscht. Ich bin verärgert.
Und ich glaube, viele von uns spüren gerade dasselbe. steady.page/de/krauthausen/pos

0
0

リフロー前提だとHTML+CSSで割注はかなりむつかしくて、商用のEPUBで割注的な表現してるのは大抵画像化してるとおもう

EPUBリーダを前提としなければHTML+CSSの表現力としては割注はできそうに思うけど試してはいない

0
1
1
0

혹시 퍼리조아 숙소 같이 쓰실 !!여성분!! 계실까요? 되도록이면 성인분을 선호하고 현재 호르몬을 처방받고 있으신 분, 탐넘인 분도 괜찮아요! (대신 증거가 필요합니다)
행사장에서 차량 15분 정도의 거리인데 시간 맞춰서 제 차로 숙소까지 같이 이동도 가능해요!

선착순 1분만 구합니다~ 일단 토요일 체크인 일요일 체크아웃인데 협의 후 금요일부터 이용도 가능해요! 1박일시 금액은 25,000원입니당! 관심있으시면 옾챗 연락 주세요 >.0
open.kakao.com/me/pododang

0
0
0
0
0

If you could put yourself in the mindframe of a truly new-to-fediverse user who doesn't know what they're in for, what are your thoughts on the following:

1) pre-made short list of accounts to follow, whether automated subscription or "suggested follows".

2) A Welcome announcement such as CoSocial.ca does for new members.

3) If possible (might not be), setting their initial timeline view to the Local timeline not the (default: empty) home TL

4) Other thoughts?

thks.

0
0
0
0
0
0
0

It's much easier and cheaper than you think to start your own Mastodon server:

- You don't need to be a tech nerd and you don't need any hardware. You can use a "managed hosting" service which does all the hosting and techy stuff for you behind the scenes.

- You don't need to be rich, managed hosting starts from around 5 to 10 euros per month including everything.

I've done a non-technical step-by-step guide to creating your own Mastodon server at:

🌱 growyourown.services/making-yo

0
0
0

The amount of hate being pushed out right now by alt-right and right-wing pundits and (ashamedly) officials is downright disgusting and reprehensible.

Regardless of your social caste, gender, or other identity, you are welcome on the fediverse and at mstdn.ca.

The absolute tragedy in Tumbler Ridge is incredibly heartbreaking, and we likely will never know the whole story.

Right now, we need to hold space for the victims, the community, and make sure that those in our lives who identify as transgender know that they are loved, and always will be.

0
0
0

CSSを触りつつ短編を書きはじめたところで、電子書籍化できなくない?
と手を止める。
(『去年、本能寺で』では割注を再現できなかった)

0
1
1
0
1
0

The nominations opened today. For the third year in a row, I'm proud to be responsible for making the software that you'll use to nominate and vote, which is open source and free software.

It is built on and . I don't take donations for my work, but the foundations behind those libraries (and the others that NomNom depends on) certainly do!

Consider a donation to Django (djangoproject.com/fundraising/) or the PSF (python.org/psf/donations/) to support my work!

0
0
0

The Growth Story of the 21st Century | LSE Press

<!-- CLOCKSS system has permission to ingest, preserve, and serve this Archival Unit --> <p style="color:red"><b>Read online or download for free</b></p> <p>The world stands at a crossroads. The next decade will determine whether we avoid climate, biodiversity, and economic catastrophe – or unlock a new era of sustainable, resilient, and inclusive growth. <i>The Growth Story of the 21st Century</i> challenges the outdated idea that we must choose between climate action and development. Instead, it presents a compelling case for a transformation that delivers both prosperity and a healthier planet.</p><p>Drawing on economics, finance, policy, politics, and behavioural science, Nicholas Stern explores why this transformation is essential, what it entails, and how we can achieve it. He revisits the insights of the Stern Review two decades on and sets out a new research agenda for economics and the social sciences.</p><p>This is a story of optimism – about how rapid technological advances, including digitisation and AI, can drive change at scale. But it does not shy away from the immense challenges ahead. With clear and practical strategies for national and international action, this book is a call to leaders, businesses, and individuals alike: the future is in our hands, and delay is the riskiest option of all.</p> <details><summary class="plausible-event-name=Praise+TGS"><b><span style="font-size: 18px;">Click here to read praise for </span><i><span style="font-size: 18px;">The Growth Story of the 21st Century</span></i></b></summary> <p>"Nick Stern is an internationally acclaimed development economist who has become the leading figure in climate economics. This book combines rigorous analysis with a positive and optimistic prospectus for action on climate change."</p> <p>— <b>Rt Hon Sir Vincent Cable,</b> Former UK Cabinet Minister and Party Leader, Professor in Practice, LSE</p><hr><p>"Our only chance for serious climate action is for policy makers to see it not as a cost and a shackle on their economies, but as an opportunity to devise a more direct, as well as more sustainable, path to prosperity. No-one has made this case more fully and more convincingly than Nick Stern. This is a book that should be on the desk of every policy maker."</p><p>—&nbsp;<b>Dani Rodrik,</b>&nbsp;Professor of International Political Economy, the John F. Kennedy School of Government, Harvard University</p><hr><p>"A comprehensive analysis of the economics of climate change from one of the world's most compelling advocates for action. At a critical moment and combining academic rigour with policy practicality, Nick Stern shows how innovation, investment and international cooperation can create a sustainable future for all."</p><p>— <b>Baroness Minouche Shafik</b>, House of Lords and former President, LSE</p><hr><p>"As the world order becomes world disorder and the climate and biodiversity crises deepen, we are lucky that Nick Stern has delivered this tour de force, a convincing call for action. His message is at the same time sobering and optimistic. Yes, the risks remain immense and must not be ignored. But yes, Nick tells us, the right responses to these crises are available and can also deliver a new, fair and sustainable growth story."</p><p>—&nbsp;<b>Arminio Fraga</b>, Investor and Board Member, re.green and former President of the Central Bank of Brazil</p><hr><p>"Twenty years after the Stern Review (2006), Nick Stern offers an updated view of a sustainable development model for the 21st century, A must-read!"</p><p>— <b>Thomas Piketty</b>, author of Capital in the Twenty-First Century and Professor of Economics, School for Advanced Studies in the Social Sciences (EHESS)</p><hr><p>“Nicholas Stern once again provides the intellectual depth and rigorous analysis to inform sound policy and global action on development and climate. <i>The Growth Story of the 21st Century</i> is a compelling and optimistic roadmap for transforming our economies to respond to the urgent challenges of climate change while fostering sustainable, inclusive, and resilient growth. Drawing on his unparalleled expertise across economics, policy, and international development, Stern convincingly demonstrates that climate action and growth are not competing agendas but mutually reinforcing imperatives.”</p><p>— <b>Mahmoud Mohieldin</b>, Development and International Finance Economist and the UN Special Envoy on Financing Sustainable Development</p><hr><p>“Starting with the Stern Review, Nick has been the most important analyst, advisor, and public figure addressing this overwhelmingly important issue. This book is a worthy continuation and expansion of his earlier writings about this vital issue.”</p><p>— <b>Peter A. Diamond</b>, Institute Professor Emeritus, Massachusetts Institute of Technology (MIT) and recipient of the Nobel Prize in Economic Sciences</p> <hr><p>"This book provides the Stern warning: no more dirty, destructive growth but instead growth that enhances the wellbeing of all of us and our planet. Governments around the world need to understand that clean, sustainable growth is the answer to our climate change and biodiversity problems. This is the Stern Review 2.0."</p><p>— <b>Rt Hon Lord Gus O'Donnell,</b>&nbsp;Former UK Cabinet Secretary</p> <hr><p>“An inescapable read combining domain expertise articulating the growth story of the 21st century. No publication has so insightfully interwoven growth and climate or focused so clearly on the false choice between the two. This book sharpens focus on our existential crisis and underpins the market logic that climate and growth are two sides of the same coin. Deeply enriching, with unrivalled analytical precision and simplicity of expression.”</p><p>— <b>N.K. Singh</b>, Former Parliamentarian, Economist and President of the Institute of Economic Growth</p> <hr><p>“Nicholas Stern’s work is a courageous defence of optimism at a time when fear and fatalism threaten to paralyse progress. The green transition is not only compatible with prosperity but essential to it - to build fairer economies and renew confidence in collective progress. This is economics for hope. Sound data and analysis, rigorous, realistic, and profoundly human proposals. A book to restore optimism, backed by courage and reason, a book that claims that we can still change the world.”</p><p>— <b>Teresa Ribera</b>, First Executive Vice-President for Clean, Just and Competitive Transition of the European Commission</p> <hr><p>"Nick Stern's latest contribution to climate action draws on what he and we have learnt since the Paris agreement: solutions are there and cooperation is now the name of the game"</p><p>— <b>Pascal Lamy</b>, Vice President, Paris Peace Forum and Jacques Delors-Friends of Europe Foundation, former Director-General of the World Trade Organization</p> <hr><p>“The debates on mitigation and adaptation to climate change would result in decisive global actions if those in politics, business and finance read this book. It is a reminder that acting has significant costs but also far greater benefits for humanity and for commerce. I strongly commend its pragmatism and optimistic viewpoint."</p><p>— <b>Lord John Browne</b>, Co-founder and Chairman of BeyondNetZero, former CEO of BP</p> <hr><p>"At a time when too many see climate action as a burden, Nicholas Stern delivers a vital reminder: climate policy is not a brake, but a catalyst for economic growth and development. By putting carbon dioxide removals and biodiversity protection at the core of the growth agenda, he maps out how integrated action can unlock sustainable prosperity – and why delay is the most expensive choice of all."</p><p>— <b>Ottmar Edenhofer</b>, Director and Chief Economist of the Potsdam Institute for Climate Impact Research, Professor for The Economics and Politics of Climate Change at the Technische Universität Berlin</p> <hr><p>"Lord Nicholas Stern's <i>The Growth Story of the 21st Century</i> masterfully weaves together economics, policy, and human behaviour to eviscerate the myth that prosperity and climate action are opposing goals. He reveals instead that they are mutually reinforcing necessities. Simultaneously visionary and practical, <i>The Growth Story of the 21st Century</i> is a roadmap for the convergence of innovation and leadership to drive a just and sustainable outcome . Essential reading for anyone craving hope and reality in a volatile time when an existential challenge can also be our greatest opportunity."</p><p>— <b>John Kerry</b>, Co-Executive Chairman, Galvanize Climate Solutions, 68th U.S. Secretary of State and former Special Presidential Envoy for Climate</p> <hr><p>“Nick Stern has an amazing range of expertise and mastery over all issues of economic growth and its limitations – from abstract theoretical models to empirical research and policy discussions. This book shows him at his best in all these matters. Specialists will respect, and laypersons will understand and learn from, the substance and the style of his writing.”</p><p>— <b>Avinash Dixit</b>, Sherrerd University Professor, Emeritus, Princeton University</p> <hr><p>"In this important book, Nicholas Stern has built upon his distinguished past work on climate to offer a story of achievement, hope and danger. The achievement is a technological revolution that has turned the once-uncertain prospects of cheap, abundant and clean energy into a reality. The hope is of a future that offers prosperity and a stable environment to all. The danger is that human folly will reject the achievement and ruin the hope."</p><p>— <b>Martin Wolf</b>, Chief Economics Commentator, the Financial Times</p> <hr><p>“This is a book the UK and the world needs, and Nick Stern is the person to write it. He understands the increasing danger of global warming to humanity, and using convincing argument and evidence explains how it can be dealt with whilst still delivering growth and development, countering those that claim otherwise. It is an optimistic agenda, one we should all listen to, especially political leaders.”</p><p>— <b>Paul Nurse</b>, OM CH FRS, former Director, Francis Crick Institute and recipient of the Nobel Prize in Physiology or Medicine</p> <hr><p>“A masterful blend of economics, science and moral urgency that shows that climate action is not a cost but the greatest engine of prosperity of our times. Clear-eyed and pragmatic, it maps a realistic path from crisis to renewal through investment, innovation and international cooperation. A hopeful work that redefines growth for a sustainable age.”</p><p>— <b>Peter Frankopan</b>, Professor of Global History, Oxford University</p> <hr><p>"Nick Stern has worked tirelessly to sensitise policy makers about the existential threat posed by climate change and the need for developed and developing countries to act in concert to counter it. He has also consistently pushed the idea that developed countries must help developing countries to bear the additional costs involved. In this book he argues persuasively that growth and managing climate change are not alternative strategies. There is no way of achieving sustainable growth in the 21st century if the need to manage climate change is ignored. Fortunately, technological change is making it possible to combine both objectives. The book is particularly timely because it comes at a time when the global consensus, which took so long to build is in serious danger of fraying." </p><p>— <b>Montek Singh Ahluwalia</b>, Former Deputy Chairman of the Indian Planning Commission</p> <hr><p>“Nick Stern is one of the world's most influential voices on climate change and his analysis never disappoints. In this much-needed book he shows that it is not a trade off between cheap or clean energy - smart policies to make it cleaner will also bring down cost."</p><p>— <b>Rt Hon Sir Jeremy Hunt</b>, Former UK Chancellor</p> <hr><p>“In this magisterial book, Nick Stern effectively demolishes the trope that it is ‘climate versus development’. He provides a comprehensive argument that the prosperity of the world is contingent on widespread and urgent climate action, in tandem with aligned technology and incentives. This is a book we have been waiting for!"</p><p>— <b>Nandan Nilekani</b>, Co-founder and Chairman, Infosys, and Founding Chairman UIDAI</p> <hr><p>““Nick Stern has once again redefined the conversation on climate and the economy. This book shows, with clarity and a dose of optimism, that the path to net zero is also the path to shared prosperity – if we have the courage and foresight to act at scale.”</p><p>— <b>Laurence Tubiana</b>, CEO of the European Climate Foundation</p> <hr><p>"This latest book by Nick Stern brilliantly advances the insights he first outlined in the famous Stern Review, demonstrating now that full-throttle action to confront climate change offers an extraordinary opportunity to produce growth, sustainable development and a livable world."</p><p>— <b>Todd Stern</b>, Former United States Special Envoy for Climate Change</p> <hr><p>"This book is most welcome at a time when climate policies are being denounced as being overly punitive by some, meanwhile economic growth and climate action are viewed as being mutually incompatible by others. Nick Stern does a fantastic job at explaining why and how climate action and economic growth can be reconciled, why delayed action is dangerous, but at the same time why a well-defined and non-punitive path exists towards a new growth model which delivers both, prosperity and improved health and well-being. This is an absolute must-read for all economic scholars and policy makers working on climate and on economic development."</p><p>— <b>Philippe Aghion</b>, Professor, Collège de France and recipient of the Nobel Prize in Economic Sciences</p> <hr><p>“Nicholas Stern argues powerfully that the large-scale investment and innovation necessary to reach net-zero emissions can create a new kind of growth for the 21st century – one that is sustainable, resilient and inclusive. This book is essential reading for anyone interested in a more sustainable future.”</p><p>— <b>Christine Lagarde</b>, President of the European Central Bank</p> <hr><p>“Just as the Stern Review so clearly outlined the economic disaster awaiting the world if it failed to confront the climate crisis, in The Growth Story of the 21st Century, Lord Nicholas Stern articulates the incredible opportunity for global development enabled by climate action. With clear-eyed analysis and robust documentation, Lord Stern outlines a path for bold leadership from leaders in government, the private sector, and civil society, while fully dismantling the myth that development and decarbonization are incompatible.”</p><p>— <b>Al Gore</b>, Former Vice President of the United States and Environmentalist</p> <hr><p>“This book makes clear that investing in climate resilience is not a cost but a catalyst for innovation, jobs, and justice. It captures the spirit of a new growth story, one that leaves no one behind.”</p><p>— <b>Ana Toni</b>, CEO of COP30</p> <hr><p>“<i>The Growth Story for the 21st Century: The Economics and Opportunity of Climate Action</i> is an important work. Nick Stern shows clearly how climate action serves as a driver of economic expansion and highlights the role of technology in addressing global challenges. The book makes plain that a world focused on innovation will create a more prosperous and sustainable future for everyone.”</p><p>— <b>Ruth Porat</b>, President &amp; Chief Investment Officer, Alphabet and Google</p> </details>

press.lse.ac.uk

0
1
KBS 우리말 겨루기: “전체를 모아 포함함”을 뜻하는 한자어는 무엇일까요?

푸하하ꉂꉂ(ᵔᗜᵔ*)포함함ㅋㅋㅋㅋ🛳🌊포함함함🚢🌊포함함🛳🌊🚢🌊⚓️⛴포함함ꉂꉂ(ᵔᗜᵔ*)ㅋㅋㅋㅋ🛳🌊포함함함🚢🌊포함함ꉂꉂ(ᵔᗜᵔ*)⛴🛳🌊⚓️🚢🌊⛴포함함함함⛴🌊 포함함ꉂꉂ(ᵔᗜᵔ*)
KBS 우리말 겨루기 문제: “전체를 모아 포함함”을 뜻하는 세 글자 한자어는 무엇일까요?
0
0
0
0
0