coleea

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

2016-10-04

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

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

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

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

coleea

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

Great Hackers by Paul Graham (한글 번역)

[음악]

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

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

coleea

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

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

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

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

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

coleea

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

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

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

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

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

coleea

모든 프로그래밍 언어는 기본 유형을 제공하며, 이는 거의 항상 동일합니다. 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

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

Rails World 2024 Opening Keynote - David Heinemeier Hansson

[음악]

감사합니다.

다시 한번 환영합니다.

coleea

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월을 만끽하시기 바랍니다. 오늘 바쁘신 와중에도 귀한