본문 바로가기

전체 글304

Google DeepMind - Vibe Code with Gemini 3 Pro in AI Studio 후기 10일에 해당 행사를 알게 되어 참여하고, 결과물을 제출했다. 바이브코딩 해커톤에 참여하게 되어서 후기를 남겨보고자 한다. 1. 바이브코딩?2. 구글에서 진행하는 바이브코딩 해커톤3. 진행 과정4. 제출 파일5. 후기 1. 바이브코딩?바이브 코딩은 인공지능을 사용하여 자연어 프롬프트에서 기능 코드를 생성하여 개발을 가속화하고, 앱 빌드의 접근성을 향상할 수 있도록 하는 새로운 소프트웨어 개발 방식입니다. 특히 프로그래밍 경험이 제한적인 개발자에게 유용합니다.(출처 : https://cloud.google.com/discover/what-is-vibe-coding?hl=ko) 요약하면, 자연어 프롬프트를 사용해 작동하는 코드를 생성하여 개발 가속화를 목표로 하는 새로운 코딩 방법이다. 위 링크에서는 .. 2025. 12. 14.
[Lean] 0. 코딩으로 수학 증명하기 : 왜 내가 lean을 배우게 되었는가? 오픈소스 컨트리뷰션에서 lean 언어를 배우고, 현재까지 스터디를 진행하고 있다. 내가 이 언어에 대해 흥미를 가지게 된 과정을 기록하고, lean 언어에 대해 정리해놓으려 한다. 1. lean?2. lean 언어의 사용 용도3. 나는 왜 lean을 공부하게 되었을까?4. lean 학습 자료5. 후기 1. lean?lean은 대화형 방식을 사용해 수학적 정리를 증명하는 정리 증명기이자, 실제로 실행 가능한 프로그램을 작성가능한 함수형 프로그래밍 언어이다. 2. lean 언어의 사용 용도주로 수학계의 문제 해결, 특정 문제에 대한 검증, 수학적 논리 학습 등에 사용한다. * Liquid Tensor Experiment= lean을 사용해 Condensed Mathematics(응집 수학)의 .. 2025. 12. 8.
초심찾기 : 내가 블로그를 운영하는 이유 적어도 3년 넘게 블로그 게시글을 비정기적으로 작성하고 있다. 비정기적이 아닌 정기적으로 운영하기 위해 내가 블로그를 왜 운영하는지에 대한 내용을 간단하게 정리해보려고 한다. 1. 이 글을 작성하는 목적2. 블로그 글을 쓰는 목적3. 블로그를 운영하면서 지키고 싶은 규칙4. 결론 1. 이 글을 작성하는 목적블로그 운영을 규칙을 정해 하고 싶다는 초심을 잃지 않기 위해 작성했다. 초심을 잃을 때마다 글을 보고 방향성 조정 및 재점검을 하는 것이 목표이다. 2. 블로그 글을 쓰는 목적* 이전에 겪었던 문제를 다시 겪었을 때 해당 문제의 해결법을 참고하기 위함.다시 유니티 프로젝트를 작업하면서 겪는 문제들에 대한 해결 방법이 내가 이전에 작성한 블로그에 나와있는 경우가 종종 있었다. 그러므로 미.. 2025. 12. 7.
렛츠커리어 기필코 경험정리 챌린지 후기 - 취준을 갓 시작한 사람들에게 추천! 광고를 보고 참여한 경험정리 챌린지였는데 이름대로 경험을 정리해서 일화 정리에 도움이 되어서 후기를 작성해본다. 1. 챌린지 소개2. 진행 과정3. 개인적 감상평4. 후기 1. 챌린지 소개렛츠커리어에서 진행하는 챌린지명은 기필코 경험정리 챌린지로, 필자는 10기로 참여했다. 서류에서 어떤 경험을 써야 할 지 막막하고 해당 경험의 강점이 무엇인지에 대해 파악하기 어려워서 해당 챌린지에 참여하게 되었다. 진행하는 링크는 아래와 같다.https://www.letscareer.co.kr/program/challenge/145/기필코%20경험정리%20챌린지%2012기 기필코 경험정리 챌린지 12기 | 챌린지 - 렛츠커리어모든 서류의 기반이 되는 경험정리, 기필코 끝장내기!www.letscareer.co.. 2025. 11. 30.

티스토리툴바