Jacob Kim
@iamjacobkim
PhD in ICS @ UC Irvine. Made cool stuff at http://Continue.dev. UofM alum.
Isn't it awesome when you're at a conference and you stumble into your friend 😁 #NeurIPSanDiego
this is the most based thing I've ever seen
I went on a job interview for a Senior SWE role. They asked me about my experience with Kafka. I told them how in “Metamorphosis” someone can lose their worth in others’ eyes the moment they stop being useful. It’s a chilling reminder of how fragile our sense of belonging can…
The next lab from my tiny systems course is up. Learn how to write your own small implementation of the logic programming language Prolog in #fsharp!
We’ve developed a new way to train small AI models with internal mechanisms that are easier for humans to understand. Language models like the ones behind ChatGPT have complex, sometimes surprising structures, and we don’t yet fully understand how they work. This approach…
The Emacs ecosystem is unreal. • You can write Python in Emacs • You can write Shell scripts in Emacs • You can build Dockerfiles in Emacs • You can write Terraform in Emacs • You can manage Git from Emacs • You can edit YAML files in Emacs • You can send emails in Emacs…
The VS Code ecosystem is unreal. • You can write Python in VS Code • You can write Java in VS Code • You can write Shell scripts in VS Code • You can build Dockerfiles in VS Code • You can write Terraform in VS Code • You can manage Git from VS Code • You can edit YAML…
Victorians called it "protoplasm". But what really is "living matter"? And can we make a foundational theory of such a microscopically "bulk orchestrated" form of matter? Seems like maybe we can ... and it's based on the idea of a rulial ensemble ... and predicts things like…
Xavier Leroy’s new book “ Control structures in programming languages: from goto to algebraic effects” discuss.ocaml.org/t/book-draft-c…
most solutions I see these days (to improve React) are about going back to what we had 10 years ago (it's no bueno) but my plan is different: - creating an incremental graph of all your state, and coupling that to the "components" - make state machines to update changes - model…
Playing through Silksong and Widow's theme really gives Mendelssohn Quartet in F minor op 80. @composerlarkin really outdid himself with this game's soundtrack 😆
I thought I was terrible at reading papers. And I probably still am... ...but I tried printing out a paper I was reading today and I read it three times faster than I would've taken on my laptop 🤦♂️ Pen+paper >>> eInk tablets >>>>>>> other devices
Im a bit surprised that this was not how it was done before 🤔 makes me wonder how much of my assumptions of "oh it's probably already being done" or "there is no way we haven't thought of this before" is false. …w-marktechpost-com.cdn.ampproject.org/v/s/www.markte…
I'm going through the emacs tutorial and I just learned that you move with C-b, C-n, C-p, C-f instead of hjkl. ...yeah I think I'm gonna go with evil mode and vim motions😅
I feel like metatheory is where I start struggling to keep up in the type theory literature. And yet it's kinda cool how everything is an attempt to prove fundamental properties like transitivity and induction. Still not sure how useful these proofs are, but cool nonetheless.
I'm going to upload 25+ hours of raw unedited footage of Functional Programming in Modern C++ to YouTube. Has anyone asked for it? No. Does anyone need it? Also no. Am I still going to do it? Hell yeah.
Starting another stream in 7 minutes. We continue torturing C++ with Functional Programming. Today, I will talk about Algebraic Data Types (ADTs) and pattern matching. You don't want to miss it.
I didn't know the word "elide" even existed in the English vocabulary ...until I started reading papers recently and I noticed that every paper is absolutely coated with that good elide sauce😅
United States Tendências
- 1. Ravens 36.3K posts
- 2. Lamar 22.2K posts
- 3. Steelers 77.5K posts
- 4. Mark Andrews 4,089 posts
- 5. Lions 87.3K posts
- 6. Drake Maye 9,461 posts
- 7. #Married2Med 3,353 posts
- 8. Tyler Huntley 1,463 posts
- 9. Derrick Henry 4,597 posts
- 10. Toya 5,514 posts
- 11. Zay Flowers 2,107 posts
- 12. #RHOP 5,799 posts
- 13. Henderson 12.1K posts
- 14. Jags 16.2K posts
- 15. #BaddiesUSA 5,830 posts
- 16. Broncos 37.6K posts
- 17. #Patriots 3,570 posts
- 18. #HereWeGo 9,407 posts
- 19. Contreras 11.1K posts
- 20. Goff 9,149 posts
Something went wrong.
Something went wrong.