Robos Lee @RobosLee
Programmer, loves Functional programming Republic of Korea Joined January 2021-
Tweets118
-
Followers31
-
Following275
-
Likes559
추석 연휴에 웹 브라우저 만들어 보시지 않겠습니까. RT와 팔로우 주신 분들 중 추첨으로 5분께 [밑바닥부터 시작하는 웹 브라우저]를 드립니다.
VENTURE: Our Search for Triumph #T1WIN #T1Fighting #T1atWorlds2023
표지와 제목이 근사하다. 기대된다.
Linux namespaces introduction series by @quarkslab Part 1: blog.quarkslab.com/digging-into-l… Part 2: blog.quarkslab.com/digging-into-l… #Linux #namespace #learning #infosec
구글 안드로이드팀 내부에서 사용하고 있는 Rust 강의가 오픈소스 되었다! "Rust in Android", "Bare-metal Rust", "Concurrency-in-Rust" 세가지 수업으로 구성되어있는데, 신기하게도 한글어로 번역이 이미 되어있다!
𝗔 𝗹𝗶𝘀𝘁 𝗼𝗳 𝗵𝗲𝗹𝗽𝗳𝘂𝗹 𝘁𝗼𝗼𝗹𝘀 𝗶𝗻 𝗮 𝗟𝗶𝗻𝘂𝘅 𝘀𝘆𝘀𝘁𝗲𝗺 🔹𝗽𝗶𝗱𝘀𝘁𝗮𝘁 - monitors how much of the system's resources—such as CPU, memory, device IO, task switching, and threads—are being used by all or a specific set of programs. 🔹𝗻𝗲𝘁𝘀𝘁𝗮𝘁 - displays…
The first 7 chapters of my "NixOS in Production" book are now available #NixOS leanpub.com/nixos-in-produ…
"개발자 피정"을 운영하는 @recursecenter가 성장에 좋은 환경을 만들어낸 4가지 대화 규칙이 맘에든다: 1️⃣ "엄밀히 따지면..." 금지 2️⃣ 놀란척 금지 3️⃣ 뜬금없는 훈수 금지 4️⃣ 미묘한 차별 금지
The paper "The Principles of the Flix Programming Language" is now available!: dl.acm.org/doi/10.1145/35…
Wrote a blog post about why Scala and FP are a good match for game server development tech.devsisters.com/posts/scala-fo…
Rich Hickey 가 2011년 @strangeloop_stl 에서 발표했던 “Simple Made Easy” 를 @namenu_ , @raccoonyy , @bakyeono 님 외 여러 분이 함께 번역하고 정리했습니다. muchtrans.com/translations/s…
@MiryangJung 유튜브 React, GraphQL, Relay 관련 추천 스레드
그 사람의 존재로 인해 팀이 전체적으로 나아진다면 책임 개발자다. 회사가 전체적으로 나아진다면 수석 개발자다. 업계가 더 발전한다면 최고 개발자다. - 이펙티브 엔지니어
데이크스트라가 1960년대에 쓴 Some meditations on Advanced Programming를 발번역. 바람직한 프로그래밍이 어떤 것이고 그걸 이뤄내기 위한 업계의 노력으로 어떤 것이 필요하며 신뢰할 수 있는 기계(컴퓨터)를 어떻게 만드는지 등. 60년 전 글이지만 읽으면서 감탄했다. johngrib.github.io/wiki/clipping/…
얼마전 알게된 신기한 사실인데 리눅스 커널에선thread와 process을 딱히 구분하지 않고 "task" 라는 개념을 사용합니다. 그러니까 커널입장에선 thread냐 process냐? 아니라 이 task가 다른 task와 fd/memory/pid를 공유하는가? 차이일 뿐이라고 하네요. stackoverflow.com/questions/8075…
얼마전 알게된 신기한 사실인데 리눅스 커널에선thread와 process을 딱히 구분하지 않고 "task" 라는 개념을 사용합니다. 그러니까 커널입장에선 thread냐 process냐? 아니라 이 task가 다른 task와 fd/memory/pid를 공유하는가? 차이일 뿐이라고 하네요. stackoverflow.com/questions/8075…
제가 git 강의를 찍었습니다. 컨셉은 "당신의 두번째 git 강의" 이고, 주로 git 내부에서 일어나는 일들을 이야기합니다. 제가 GUI git 쓰는 게 없어서 GUI는 다루지 않습니다. 플랫폼은 예전 동료 한윤석님이 운영하는 코드숨입니다. codesoom.com/courses/git
"Haskell (Almost) Standard Libraries" is finished! 🥳 25 chapters, 168 pages describing libraries ranging from networking to monad transformers. Everything to become a productive Haskeller! leanpub.com/haskell-stdlib…
Ahorga @Ahorga763
24 Followers 985 Following
널 @algorithm2727
46 Followers 43 Following
Lionhairdino L. @lionhairdino
63 Followers 87 Following 하스켈러.haskeller. 프로그래머지만, 프로그래머에게 도움이 안되는 방식으로 하스켈을 공부합니다. 일부러 그러는 건 아닙니다.
Tessa @GeautykWSbJT
9 Followers 570 Following
XIIlab(씨이랩) @Xiilab
204 Followers 4K Following XIIlab은 AI 영상 분석 전문 기업입니다. 최신 AI 기술을 바탕으로 고객의 니즈를 깊이 있게 이해하고, 이를 반영한 맞춤형 솔루션을 제공하여 고객의 AI 프로젝트 성공을 적극 지원합니다.
루비아 @blue_wing_owl
129 Followers 500 Following 개발자 아조씨(남성) 브챗하는 풀스택 개발자 및 서버등을 관리하는 이상한 아조씨 리눅스로 모든걸 해결하려는 리눅서 아조씨 해킹하는 화이트해커 아조씨 또 뭐있더라..? no erp user.
다믜 @damhiya
234 Followers 401 Following 프로그래밍과 증명을 합니다. I write programs and proofs. Love Haskell, Martin-Löf type theory, Nix package manager, and Hoare logic. https://t.co/KGHmRVtwWb
Jubeen Lee @hmm__teresting
126 Followers 302 Following
Minsang Kim @minsangk
2K Followers 1K Following Developer/Co-founder of a startup. Node.js/TypeScript/React/ReactNative.
성큼 개발계 @sungkm_dev
245 Followers 399 Following '강타입 함수형 언어 외에 올바른 언어는 없으며' / '그것은 Scala이다' / 본계 @sungkmi
jhl @jaeholee_dev
2K Followers 4K Following User interface engineer / interests: web, open source software, AI, finance
shzmwfgwzf @asnawysl
111 Followers 4K Following Charity Volunteer, Buddhist Believer, Help those who are struggling in life and God will bless you
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
Abiria @Abiria14
1K Followers 5K Following
Jaeyeon Jo(Jocatelo) ... @jocatelo_kr
165 Followers 417 Following Living in Sapporo. Clojure user. Foreign student from Korea. Now working using Vue.js. 名前はジョです。韓国の出身の留学生です。日本語の勉強します。
- @Tmwlak2
160 Followers 738 Following
asbubam @asbubam
4K Followers 2K Following Engineer. 독립일기: https://t.co/o0KziPHYfv Context-aware YouTube Summarizer: https://t.co/IJAQnxNd9R
Adam Wespiser @wespiser
278 Followers 528 Following Technologist, Software Engineer, and ex-academic.
안형우 @mytory
2K Followers 1K Following 17년차 풀스택 웹개발자 | 워드프레스 개발 강의 https://t.co/RRSPYX9mLL / https://t.co/mM3fgHhmUv | 워드프레스 사이트 편집기 강의 https://t.co/O59KfVGoqW
Meursyphus @meursyphus
31 Followers 144 Following I'm web developer I made this: https://t.co/jpW0mv8lKg, https://t.co/p5GYwiPzJv
Lohas Winner @lohaswinner
254 Followers 491 Following
파미 @FamiTweet
1K Followers 617 Following 취준생 졸업..! 그래도 여전히 트윗잉여일지도.. 무조건적인 맞팔은 하지 않아요..! 멘션 주고받으며 대화하다보면 갑자기 팔로 되어있을지도 몰라요..?! 강요는 안돼요..! 개인정보는 질문하셔도 대답하지 않으니 묻지마세요..! 특징: 악성코드, 가난한 잉여, 낙서쟁이, 늅늅
Uberto Barbini @ramto... @ramtop
3K Followers 1K Following Passionate programmer. Kotlin GDE https://t.co/pZS0qBJxUJ #TDD #FP #Kotlin
널 @algorithm2727
46 Followers 43 Following
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
jongha @jk__dev
3K Followers 327 Following 소프트웨어 개발자지만 QA도 했던 회색분자. 전직 C++ 정적코드분석 엔진 개발자. C++11의 R value reference 보고 멘붕이 와서 C++ 세계에서 탈출. 제일 어려운 언어: CSS
@로코맨(ロコマ�... @juhyeon_k
1K Followers 876 Following github : https://t.co/AVT26s9EtF blog : https://t.co/5xrbRpfe0H pixiv : https://t.co/or1F98wqRk 블스: https://t.co/2cku2zX8LZ 그림 그리는 개발자
andrew blinn @disconcision
4K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
Lionhairdino L. @lionhairdino
63 Followers 87 Following 하스켈러.haskeller. 프로그래머지만, 프로그래머에게 도움이 안되는 방식으로 하스켈을 공부합니다. 일부러 그러는 건 아닙니다.
Aiden Bai @aidenybai
56K Followers 2K Following building @amidotdev · i created https://t.co/PjaImrHc4G & @milliondotjs
Leanpub @leanpub
9K Followers 110 Following Leanpub is a unique platform for writing & publishing, with a bookstore that helps readers discover new books & authors every day! Follow us for news & deals!
easylogic @easylogic
1K Followers 1K Following https://t.co/M3FA36jxt1,https://t.co/Q4Ki2ZvNx4, https://t.co/lPYsufaDGS, https://t.co/ecZzDFo1xv, https://t.co/B36NmxWHQx, SaLang, https://t.co/DbCth3IQBk
Nickolay Kudasov @crazy_fizruk
514 Followers 167 Following Haskell CTO, teacher, enthusiast. Father. Jazzman.
프로그래밍좀비 @gimhyeo02389130
3K Followers 53 Following ⚬ 300개의 앱으로 개발 7년차에 직장 퇴사 (24. 06) ⚬ 퇴사후 이것저것 내가 하고싶은거 마음껏 하며 사는중 ⚬ 약 400개 앱 개발 & 출시(25. 06) ⚬ 1인 개발자
오종빈(Jongbin Oh) @ohyecloudy
2K Followers 296 Following 오예클라우디/게임 프로그래머/사진/조언따윈 하지말고 보여주세요/c++/elixir/vim/emacs/자유롭게 팔로우 언팔로우/
캬스타 キャス�... @thecasterian
33 Followers 29 Following Compiler Engineer / 100名城(19/100) / https://t.co/BJrZ9ZTwLA 💖@haru_f_origin
루비아 @blue_wing_owl
129 Followers 500 Following 개발자 아조씨(남성) 브챗하는 풀스택 개발자 및 서버등을 관리하는 이상한 아조씨 리눅스로 모든걸 해결하려는 리눅서 아조씨 해킹하는 화이트해커 아조씨 또 뭐있더라..? no erp user.
Sojin Park @sojin_dev
55 Followers 35 Following A software engineer who loves the web platform. Lead of @TossFrontend.
kiwiyou キイユー @giwiyou
532 Followers 392 Following Furry Rustacean / 사전은 게임이다 / 漢字愛好 / 20↑ / 작은 것에 집착하지만 큰 것을 보려 노력합니다. / 🇰🇷L1🇬🇧L2🇯🇵L3🇨🇳📚🙇 / 여성, LGBTQ+, 장애인, 외국인, 노동자, 모든 사회적 약자에 대한 불합리에 반대합니다.
Ben @xxxunoi
9K Followers 2K Following 여러가지 생각 메모장 | 스크랩북 | 한 아마추어의 개인적인 투자저널 | Don’t kill what you hate, Save what you love.
Type Theory Forall @ttforall
4K Followers 280 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHM
Jiyeon Seo (치즈) �... @seojeee
6K Followers 2K Following 놀멍쉬멍개발하멍👨💻🤰📚engineer, builder, team worker, code writer and mom 👶👶
안희종 @heejongahn
2K Followers 187 Following “I look around. At everything that I have. And I focus on that. And if it goes? Then it goes. But it’s not gone yet.”
KwonHan @darjeelingt
5K Followers 4K Following Just pythonista opinions are my own not my employer @[email protected] director of python software foundation
Joongi Kim @achimnol
1K Followers 733 Following Lablup Inc. CTO & Co-founder, Ph.D@CS KAIST, Needlworks & TNF @[email protected]
András Kovács @andrasKovacs6
905 Followers 66 Following Type theory & applications. Also on Mastodon: https://t.co/KYgeYKJQgM
Jonas Chevalier 🦙 @zimbatm
1K Followers 437 Following I like to build things. Helping companies adopt Nix at @Numtide Author of direnv. Bluesky: https://t.co/xFLNmjtCKf DMs are open!
FP Complete @FPComplete
6K Followers 2K Following FP Complete is a technology company specializing in Server-Side Software, DevSecOps, Cloud Deployment, Container Orchestration & Advanced Programming Languages.
Erik Meijer @headinthebox
31K Followers 2 Following
lkb @frontforfp
79 Followers 132 Following 하스켈, Effect System, Algebraic Effect, Freer Monad, ZIO, Kyo, Effect-TS
위키북스 @devsfarm
4K Followers 2K Following 안녕하세요! IT 전문서를 펴내는 위키북스입니다. 저자/역자 모집: https://t.co/7U6mqLXbv0 #출판사 #책 #프로그래밍 #코딩 #코드 #소프트웨어 #개발 #UX #웹 #오픈소스 #IT #데이터과학 #인공지능 #딥러닝 #머신러닝 #클라우드 #위키북스
Michael Oswald @OswaldChocolate
113 Followers 569 Following Space Enthusiast, Senior Specialist at Terma, Consciousness Research, Musician, Integral Theory Nerd, Amatsu Ryoho Teacher, views are my ownTrends for United States
You might like
