coleea / [제3회 BOK-KCCI 세미나] 글로벌 공급망 재편과 AI 시대.mdx

Last active October 3, 2024 03:55

[제3회 BOK-KCCI 세미나] 글로벌 공급망 재편과 AI 시대.mdx

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

음, VIP 여러분이 오늘 포럼을 위해 행사장에 입장하고 계십니다. 오늘 포럼을 위해 대한상공회의소 회장님, 산업통상자원부 장관님, 경기도지사님이 입장하고 계십니다. VIP 여러분을 무대로 모시겠습니다. 오늘 포럼 시작 전에 단체 사진 촬영을 할 예정입니다. VIP 여러분을 무대로 모시겠습니다. 산업통상자원부 장관님, 대한상공회의소 회장님, 경기도지사님, 그리고 리처드 볼드윈 교수님도 함께 모시겠습니다. 또한, VIP인 B 연구소 EG 호 소장님, 대한상공회의소 SGI 센터장님, 방구 교수님, 베누 이 교수님, 그리고 골드만삭스 아시아 선임 이코노미스트인 코눈 님도 함께 모시겠습니다. 제3회 B-대한상공회의소 공동 세미나를 개최하게 되어 매우 기쁩니다. 이제 함께 사진 촬영을 하겠습니다. VIP 여러분께 큰 박수 부탁드립니다! 다시 한번 밝은 미소 부탁드립니다! 오른손 주먹을 들어주세요. 가운데 카메라를 봐주세요. 파이팅! VIP 여러분께 큰 박수 부탁드립니다! 이제 VIP 여러분께서는 안전하게 자리로 돌아가 주시기 바랍니다. 곧 세미나를 시작하겠습니다. 원활한 진행을 위해 VIP 여러분께서 자리로 돌아가시는 대로 휴대폰을 무음 또는 진동 모드로 전환해 주시기 바랍니다. 한국어와 영어로 동시통역 서비스가 제공됩니다. 수신기 1번 채널은 한국어, 2번 채널은 영어로 설정해 주세요. 네, 시작할 준비가 된 것 같습니다. 모두 자리에 착석해 주셨습니다. 지금 사진 촬영 중인 기자 여러분께서는 촬영이 끝나는 대로 자리로 돌아가 주시기 바랍니다. 그럼 이제 시작하겠습니다. 제3회 B-대한상공회의소 세미나에 오신 것을 환영합니다! 아나운서 인종입니다. 오늘 세미나 사회를 맡게 되어 매우 기쁩니다. 올여름은 유례없는 폭염으로 힘든 시간을 보내셨을 것으로 생각됩니다. 9월 중순까지도 더운 날씨가 이어졌지만, 드디어 선선한 바람이 불어오는 가을이 찾아왔습니다. 짧지만 아름다운 9월과 10월을 만끽하시기 바랍니다. 오늘 바쁘신 와중에도 귀한

coleea / rails 8 by dhh.mdx

Last active October 10, 2024 12:28

https://www.youtube.com/watch?v=-cEn_83zRFw

Rails World 2024 Opening Keynote - David Heinemeier Hansson

[음악]

감사합니다.

다시 한번 환영합니다.

coleea / Faust: Programming Audio From Top To Bottom .mdx

Created September 26, 2024 05:10

모든 프로그래밍 언어는 기본 유형을 제공하며, 이는 거의 항상 동일합니다. int, float, boolean, struct, record, char 등 1995년 이후에 만들어진 언어라면 string도 있을 것입니다. 여기 흔하지 않은 기본 유형이 있습니다. 바로 오디오입니다. 이번 주에는 가장 중요한 내장 유형이 오디오인 프로그래밍 언어를 살펴보겠습니다. 이 언어의 이름은 Faust이며 디지털 악기, 소프트웨어 악기, 음향 효과 생성기와 같은 오디오 처리 프로그램을 작성하도록 설계되었습니다. 이러한 설계 요구 사항에서 나온 언어는 정말 흥미롭습니다. 마치 함수형 프로그래밍과 음악 스튜디오에 가득한 상자와 케이블이 만난 것 같습니다. Faust가 무엇이고 어떻게 작동하는지 알아보기 위해 프랑스 국립 음악 창작 센터에서 갓 온 Faust 개발자, 연구자, 교육자인 Romain Michon과 이야기를 나눠보았습니다. 그는 Faust가 무엇이며 어떻게 작동하는지 설명해 줄 것입니다. 저는 이 대화 전체를 오디오 파이프라인 프로그래밍에 대해 이야기하면서 보내려고 했습니다. 하지만 Faust는 C, Rust, JavaScript, WASM으로 컴파일되고 곧 칩의 로직 게이트를 직접 구성하는 명령어로 컴파일될 수 있는 언어이기 때문에 스택 전체를 살펴보면서 프로그래밍 가능한 하드웨어까지 다루게 되었습니다. 이 에피소드에서는 함수형 프로그래밍부터 1과 0까지, 그 사이에 오디오를 다루는 모든 것을 다룹니다. 다룰 내용이 많으니 바로 시작해 보겠습니다. 저는 여러분의 호스트 Kris Jenkins이고, 오늘의 Developer Voices는 Romain Michon의 목소리입니다.

오늘 Romain Michon과 함께합니다. Romain, 안녕하세요?

잘 지내요, Kris. 휴가 후 막 돌아와서 편안해 보이시네요.

휴가는 좋았어요. 제 취향에는 조금 짧았지만 다시 일을 시작하게 되어 기쁩니다. 당신의 일은 이 흥미로운 Faust 언어를 개발하는 것이죠. 그럼 거기서부터 시작해 볼까요? Faust는 무엇이며 왜

coleea / gleam creator - Louis Pilfold.mdx

Created September 20, 2024 12:35

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

Is Gleam your next programming language? (with Louis Pilfold)

크리스 젠킨스: 오늘 루이스 필폴드와 함께합니다. 루이스, 잘 지내시죠?

루이스 필폴드: 네, 덕분에 잘 지냅니다. 초대해 주셔서 감사합니다.

크리스 젠킨스: 만나서 반가워요. 팬데믹 이전, 그러니까 그 사건 이후로 직접 만난 적이 없네요.

coleea / Elixir 언어 창시자 José Valim과의 대화.mdx

Created September 20, 2024 10:47

Elixir 언어 창시자 José Valim과의 대화: 언어의 진화와 미래

크리스 젠킨스: 오늘 저는 Elixir 언어의 창시자인 José Valim과 함께 합니다. 잘 지내시죠?

José Valim: 네, 덕분에 잘 지내고 있습니다. 초대해 주셔서 감사합니다.

크리스 젠킨스: 여기 와주셔서 감사합니다. 10년, 아니 12년 동안 언어 설계자로 활동하셨죠. 도널드 크누스보다는 젊지만, 꽤나 원로급 언어 설계자라고 할 수 있겠네요. 중견 언어 설계자라고 할까요?

José Valim: 네, 그렇죠. 이 특별한 분야에서 어떤 중년의 위기가 찾아올지 궁금하네요. 나중에 알려주셔야 할 겁니다. 10년, 12년 전으로 돌아가 볼까요? 2012년에 Elixir를 만드셨죠. 외부에서 보기에는 주된 동기가 Erlang은 좋아하지만 문법은 싫어서, Erlang에 일반적인 문법을 적용하고 싶어서였다는 인상을 받았습니다. 맞나요? 아니면 좀 더 자세히 설명해주시겠어요?

coleea / [2004] Great Hackers by Paul Graham (한글 번역).mdx

Last active September 18, 2024 12:47

https://www.youtube.com/watch?v=kY7-T8OeJQE

Great Hackers by Paul Graham (한글 번역)

[음악]

안녕하세요, IT Conversations에 오신 것을 환영합니다.

IT Conversations는 정보 기술의 핫 토픽에 대한 인터뷰, 녹음 및 대본 시리즈입니다.

coleea / Agda from Nothing - Scott Fleischman.mdx

Last active September 16, 2024 03:24

2016-10-04

Part 1 : https://www.youtube.com/watch?v=-i-QQ36Nfsk

Part 2 : https://www.youtube.com/watch?v=XprGyVWXwks

제 이름은 스콧 플라이시먼이라고 합니다.

최근에 혼자서 아그다를 가지고 정말 열심히 해킹을 해 왔는데요, 시작하기 정말 어려운 언어입니다.

coleea / Cubical Agda: 디팬던트 타입 프로그래밍 언어 (Univalence 및 고차 유도 타입 포함).mdx

Last active September 16, 2024 03:34

2019-12-10

https://www.youtube.com/watch?v=AZ8wMIar-_c

Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types

다음으로 Andreev, Lizzy가 Cubical 타입을 Agda에 적용하는 것에 대한 이야기를 들어보겠습니다.

감사합니다.

coleea / Super Haskell: an introduction to Agda by André Muricy.mdx

Last active September 15, 2024 08:38

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

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

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

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

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

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

Created September 13, 2024 02:44

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

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

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

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

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

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