coleea

초대해 주셔서 감사합니다. 초대해 주셔서 영광입니다. 그래서 제가 이야기하고 싶은 것은 최근 우리가 수행한 기능에 대한 연구이고 여기서는 특히 제어 이펙트를 위해 기능을 사용하는 방법에 대해 이야기하고 싶습니다. 이 연구는 많은 사람들, 그 중 일부는 제 박사 과정 학생, 이전 박사 과정 학생, 협력자들과 함께 한 공동 연구이며 목록은 아래에 있습니다.

함수형 프로그래밍은 하나의 승리를 거두었습니다. 예를 들어 스칼라 커뮤니티를 살펴보면 Netflix 또는 Disney Plus에서 이벤트 처리 백본을 구동하는 데 기본적으로 이펙트 시스템, 모나드 스택을 사용하는 매우 인상적인 대규모 코드 베이스가 있습니다. 이러한 이펙트 시스템은 널리 사용되고 있으며 지난 5년 동안 스칼라 사용이 사람들이 가끔 말하는 세미콜론 없는 Java와 같은 Java에서 참조 투명성과 단계적 이펙트 시스템을 갖춘 완전한 함수형, 순수 함수형 코드 베이스로 이동하는 것을 보았습니다.

하지만 반면에 문제도 있습니다. 이제 5년에서 10년 동안 산업에서 오랫동안 사용되어 온 이러한 시스템은 일반적으로 신규 사용자가 처음 접했을 때 "이건 정말 어렵다", "내가 익숙한 것과 다르다"라고 말하며 두려워하게 만듭니다. 그리고 저는 이러한 시스템, 이러한 이펙트 시스템을 사용해 온 지 15년이 넘었기 때문에 이것이 단지 교육 문제만은 아니라고 생각합니다. 저는 더 심각한 무언가가 있다고 생각합니다. 그래서 제가 피하고 싶은 것은 함수형 프로그래밍이 기본적으로 박사 학위를 가진 범주 이론가가 아니면 이해할 수 없는 것으로 여겨지는 이미지입니다. 기본적으로 ICFP 참석자가 아니면 함수형 프로그래밍을 이해할 수 없다는 이미지를 피하고 싶습니다. 함수형 프로그래밍은 그보다 훨씬 더 간단해야 한다고 생각하며 우리 모두 동의합니다.

이에 대한 예를 들자면 올해 초 트위터 코드가 오픈 소스화되어 사람들이 스칼라로 작성된 전체 트위터 소스를 볼 수 있게 되었습니다. 그리고 저는 "지금까지 트위터 소스에서 얻은 가장 큰 교훈은 스칼라가 놀랍도록 읽기

coleea

https://www.youtube.com/watch?v=T9aRN5JkmL8

기본적으로 이 전체 원탁 토론 세션은 주로 프롬프트 엔지니어링에 초점을 맞출 것입니다.

여기 이 원탁에는 연구 측면, 소비자 측면, 엔터프라이즈 측면에서 프롬프트에 대한 다양한 관점이 있습니다.

그리고 저는 다양한 의견을 얻고 싶습니다. 왜냐하면 많은 의견이 있기 때문입니다.

그리고 토론을 열어서 프롬프트 엔지니어링이 실제로 무엇이며 무엇에 관한 것인지 살펴보겠습니다.

coleea

https://www.youtube.com/watch?v=5_oqWE9otaE

개발자들의 목소리: 로리스 크로우와 함께하는 Zig 언어 탐험

진행자: 안녕하세요. 최근 프로그래밍 트렌드를 살펴보면 C 언어를 대체하려는 시도가 많이 보이는데요, 이는 현명하면서도 두려운 일이라고 생각합니다. C 언어는 50년이나 된 오래된 언어이기 때문에 현명한 선택이죠. 오래됐다고 나쁜 것은 아니지만, 50년이라는 시간 동안 프로그래밍 언어 디자인에서 무엇이 효과가 있고 무엇이 효과가 없는지에 대해 생각해 볼 시간이 충분했습니다. 50년 동안 축적된 기술을 실제로 적용해야 하는데, 바로 이 부분이 두려운 부분입니다. 왜냐하면 C 언어는 어디에나 있기 때문입니다. 여러분이 직접 C 언어로 코딩하지 않더라도, 여러분이 작성한 코드는 C 언어로 만들어진 무언가 위에서 실행될 것이고, 그 무언가는 또 다른 C 언어로 만들어진 무언가 위에서 실행될 것입니다. 우리가 설치하는 모든 것의 컴파일 스택에 C 언어가 존재합니다. 따라서 Go, Rust와 같은 언어가 새로운 C 언어가 되고 싶다면 정말 힘든 싸움을 해야 할 것입니다. 이 모든 것이 이번 주 주제를 더욱 흥미롭게 만듭니다. 바로 Zig 언어입니다. Zig는 시스템 프로그래밍 분야의 왕좌를 차지하기 위해 C, C++, Rust, Go와 경쟁하는 것뿐만 아니라 LLVM과 같은 C 언어 자체가 구축되는 인프라까지 대체하려고 합니다. 궁극적으로 모든 아키텍처에서 시스템 수준 소프트웨어를 구축하는 가장 좋은 방법이 되기를 희망하는 것이죠. Zig는 광범위한 목표를 가진 프로젝트이며, 프로그래밍 언어에 관심 있는 사람이라면 이번 주 에피소드에서 많은 것을 얻어 갈 수 있을 것입니다. 크로스 플랫폼 컴파일부터 메모리 관리 기술, Comptime 메타 프로그래밍에 대한 새로운 아이디어, 장기적인 목표를 가진 오픈 소스 프로젝트의 장기 자금 조달을 위한 구조까지 다룹니다. 다룰 내용이 많으니 평소보다 조금 긴 에피소드가 될 것 같네요. 바로 시작해 보겠습니다. 저는 여러분의 호스트 크

coleea

https://www.youtube.com/watch?v=bdqmCQc6oXY

• Cyber Risk Thursday: Internet of Bodies - YouTube
• Speaker : Dr. Andrea M. Matwyshyn - Visiting research collaborator at the center for information technology policy at Princeton University

여러분, 안녕하세요. 오늘 오후 Atlantic Council의 Cyber Risks Thursday에 오신 것을 환영합니다.

오늘의 주제는 여러분도 아시다시피 '신체 인터넷(Internet of Bodies)'입니다. 참석해 주셔서 감사합니다. 저는 Frank Kramer이며, 이곳 Atlantic Council의 Cyber Initiative의 석학 연구원입니다. Cyber Initiative는 Brent Scowcroft Center의 일부이며 오늘 이 자리에는 신체 인터넷에 대해 논의할 훌륭한 패널들이 함께 해 주셨습니다. 신체 인터넷은 아직 해결되지 않은 광범위하고 복잡한 문제들을 안고 있습니다. 물론 이 자리를 떠날 때쯤이면 모든 문제가 해결되어 명확한 규제, 법률 및 정책 프레임워크를 갖추고 집으로 돌아갈 수 있을 것이라 확신합니다.

패널 여러분, 부담 갖지 마세요! 온라인으로 시청해 주시는 분들도 환영합니다. 트위터에서 해시태그 #ACCCyber 또는 @ACScowcroft를 사용하여 참여해 주시기 바랍니다.

coleea

https://www.youtube.com/watch?v=IC_qYohJQ1s

사회자 00:12 네 안녕하십니까? 지금부터 2024년 8월 통화정책 방향에 대한 이창용 한국은행 총재의 기자간담회를 시작하겠습니다. 먼저 금일 통화정책 방향 결정 배경에 대한 이창용 총재의 설명을 듣겠습니다.

이창용 00:27 안녕하십니까 오늘 금융통화위원회는 한국은행 기준금리를 현재의 3.5%에서 유지하기로 결정하였습니다. 먼저 국내외 경제 여건을 설명드린 후에 기준금리 결정 배경에 대해서 말씀드리겠습니다. 우선 대외 여건 변화를 살펴보면 세계 경제가 완만한 성장세를 이어가고 있지만 미국, 중국 등 주요국의 경기 흐름과 관련한 불확실성은 다소 높아졌습니다.

coleea

https://www.youtube.com/watch?v=KRsoBLzpJPk

Redefining the future of web development with Haskell by Martin Šošić

음, 이제 다음 프레젠테이션을 시작하겠습니다. 다음 프레젠테이션에 앞서 먼저 Martin을 환영합니다. 안녕하세요, Martin. 안녕하세요. 안녕하세요, MOS. 안녕하세요. 안녕하세요. 펀알 스웨덴에 오신 것을 환영합니다. 감사합니다. 감사합니다. 초대해 주셔서 감사합니다. Magnus. 저를 초대해 주셔서 감사합니다. 보통 저는 BP와 저희가 하는 일에 대해 자주 이야기하는데, 주로 웹 개발 쪽입니다. 그래서 오늘은 함수형 프로그래밍, 특히 Haskell에 대해 좀 더 이야기하게 되어 매우 기쁩니다. Peter, 프레젠테이션 잘 들었습니다. 정말 독특했어요. 사실 Hosc를 사용하고 있음에도 불구하고, 어떻게 만들어졌는지 잘 몰랐거든요. 반대편에서 어떻게 만들어졌는지 말이죠. 그래서 정말 멋졌습니다. 좋았습니다. 바로 시작할까요? 네, 시작하세요! 좋아요.

어, 제목이 좀 모호하죠? 웹 개발의 미래를 재정의한다니... 곧 무슨 말인지 아시게 될 겁니다. 재밌는 사실은, Peter의 발표와 마찬가지로 저도 AI에 대해 조금 이야기합니다. 언어를 개발하고 유지 관리하는 것에 대해서 말이죠. 하지만 완전히 다른 종류의 언어입니다. 어떤 종류의 언어인지 곧 아시게 될 겁니다. Peter는 제가 코드, 아마도 라이브 코딩을 더 많이 보여주길 바랐지만, 아마 그렇게는 안 될 것 같습니다. 하지만 코드를 좀 보여드릴 테니 도움이 되실 겁니다. 아시잖아요, 라이브 코딩은 너무 위험해요. 항상 위험 부담이 따르죠.

저에 대해 간략히 소개하겠습니다. 저는 크로아티아 자그레브에서 컴퓨터 과학 석사 학위를 받았습니다. 그리고 주로 제 열정은 처음에는 수학이었고, 이후에는 경시대회에 참가하는 것이었습니다. 그러다가 프로그래밍을 접하게 되어 알고리즘 쪽으로 더 많이 경쟁하게 되었죠. 싱가포르 같은 흥미로운

coleea

https://www.youtube.com/watch?v=vSSpbAI_-t0&pp=ygU1VGhlIFN0YXRlIG9mIEZ1bGwtU3RhY2sgT0NhbWwgKHdpdGggQW50b25pbyBNb250ZWlybyk%3D

이번 주에는 OCaml 컴파일러와 그 컴파일러의 영역을 확장하는 방법에 대해 알아보겠습니다. OCaml은 항상 백엔드 언어였지만, 이제는 브라우저까지 목표로 삼고 있습니다. 오늘 저와 함께 OCaml이 JavaScript 세계로 진출하도록 돕는 흥미롭고 정교한 컴파일러 작업을 많이 해온 Antonio Monteiro가 함께합니다. 또한 기존 JavaScript 개발자들이 OCaml의 함수형 세계로 넘어올 수 있도록 돕기도 합니다. 그는 OCaml 컴파일러를 두 가지 측면에서 확장하여 이를 수행하고 있습니다. 첫째, OCaml을 작성하고 JavaScript를 생성할 수 있게 해주는 Melange의 제작자입니다. 둘째, JavaScript와 매우 유사하게 보이지만 타입 안전 백엔드 네이티브 OCaml을 생성하는 ReasonML의 주요 기여자입니다. 물론 첫 번째 질문은 "왜?"입니다. 왜 그렇게 하고 싶어할까요? OCaml이 브라우저에 넣을 만큼 훌륭한 점은 무엇일까요? 그리고 Antonio는 OCaml의 어떤 점이 그렇게 훌륭하다고 생각할까요? 이 모든 작업을 하는 그의 개인적인 이유는 무엇일까요? 하지만 훨씬 더 흥미로운 질문은 "어떻게?"입니다. 두 가지 다른 언어 사이에서 어떻게 컴파일하고 트랜스파일할까요? 물론 한 언어의 for 루프 구문을 파싱하고 다른 for 루프 구문을 생성하는 것은 사소한 일이지만, 동시성 모델이 다르거나 OCaml의 일급 모듈 시스템을 JavaScript 세계로 이식하는 것과 같은 주요 차이점은 어떻게 처리할까요? 이러한 질문에 답하려면 전문가의 머리를 좀 빌려야 합니다. 저는 여러분의 호스트 Chris Jenkins이고, 이것은 Developer Voices이며, 오늘의 목소리는 Antonio Monteiro입니다!

**Chris Jenkins:

coleea

https://www.youtube.com/watch?v=N0b6zslDuQA

구글 시트, WasmGC를 활용하다: 마이클 토마스 & 토마스 슈타이너와의 대화

션: 마이클, 토마스, 쇼에 오신 것을 환영합니다!

마이클, 토마스: 정말 감사합니다!

션: 네, 여기 와주셔서 감사합니다. 웹어셈블리 가비지 컬렉션 등 흥미로운 주제에 대해 이야기 나누게 되어 기쁩니다. 자세한 내용은 잠시 후에 다루고, 먼저 두 분의 배경과 경험에 대해 좀 더 알고 싶습니다. 마이클, 구글 워크스페이스 멀티플랫폼 리드를 맡고 계시죠. 구글에서 16년이나 일하셨는데, 일상 업무는 어떤지, 그리고 16년 동안 구글에서 어떤 변화와 발전을 목격했는지 궁금합니다.

coleea

https://www.youtube.com/watch?v=heNblrXVIcs

React 18과 뉴욕 타임즈: 일리아 구레비치와 함께

그레고르 반: 안녕하세요, 일리아. 소프트웨어 엔지니어링 데일리에 오신 것을 환영합니다.

일리아 구레비치: 고맙습니다, 그레고르. 여기에 오게 되어 기쁩니다.

그레고르 반: 뉴욕 타임즈의 시니어 소프트웨어 엔지니어시죠. 오늘은 당신과 당신 팀이 최근에 진행한 React 18 업그레이드라는 꽤 구체적인 주제에 대해 자세히 알아볼 예정입니다. 하지만 뉴욕 타임즈 이전의 경력부터 뉴욕 타임즈까지의 소프트웨어 경력에 대해 간략하게 듣고 싶습니다.

coleea

[https://www.youtube.com/watch?v=OSDgVxdP20g

예, 라이브 방송입니다. 안녕하세요 여러분, 따뜻하게 FunR에 오신 것을 환영합니다.

이번에는 스웨덴입니다. 올해 두 번째 방문이네요. 우리는 지금 스톡홀름에 있는 KRA 사무실에 있습니다. 정말 멋진 사무실이네요. 저희를 이 멋진 스톡홀름 사무실에 초대해 주셔서 KRA에 진심으로 감사드립니다.

정말 감사합니다. 바로 시작하겠습니다. 먼저 저 Magnus가 짧게 소개를 하고, 그다음 Andrea가 Super Husc, Agda 소개를 할 것입니다. 그 후에는 Lash가 Scala를 이용한 스키마 관리에 대해 발표할 것입니다.

재밌는 사실은 Lash는 원래 3년 반 전에 이 발표를 하기로 되어 있었는데 코로나가 발생하면서 3년 반이 지난 지금, 드디어 여기서 발표를 하게 되었습니다. 정말 기쁩니다.