Jacob Kim
@iamjacobkim
PhD in ICS @ UC Irvine. Made cool stuff at http://Continue.dev. UofM alum.
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😅
Life update: last week I wrapped up my time @inkandswitch 🥲 Back in 2019, I remember being intrigued by the work coming out of this mysterious research lab. At the time there was barely even a website! But I could tell they had a big, compelling vision for a more humane kind of…
Trying to be more PL-headed this fall. I'm starting off by reading through Types and Programming Languages by Pierce in the two or so weeks I have between my internship and the start of the quarter🔥
Meet Instinct, our open Next Edit model, built on real-world coding patterns. → Edit faster → Stay in flow → Available in VS Code + @ollama today.
Introducing Instinct 🐺, a new state-of-the-art open Next Edit model trained by @continuedev Runnable with @ollama and available today in VS Code
Introducing Instinct 🐺, a new state-of-the-art open Next Edit model trained by @continuedev Runnable with @ollama and available today in VS Code
My Programming Language Pragmatics videos on Syntax have been fun! The latest video closes the series, covering * Connections between parsing techniques and automata theory * Parsing error recovery with panic mode * Generalized LR parsers and Parsing Expression Grammars (PEGs)
I'm working on a C++ project in my free time. No deadlines. No requirements. No rush. At times, I feel like refactoring and cleaning up the code. At other times, I just want to write dirty code as fast as possible, which just does the job. I realise that many dev practices I…
Why should you learn an FP lang? Almost every programming language feature you love was invented in an FP lang decades before it became mainstream: - Garbage collection (lisp, 1950s) - Generics (ML, 1978) - Closures (scheme 1975) - Sum types and pattern matching (NPL 1970s)
It's so nice to use Continue with Neovim :)
🚀 Continue CLI is here! The async coding agent that actually understands your codebase. Making AI continuous in your dev workflow. - Stream AI responses in real-time - Run parallel background tasks - Smart commit messages, code analysis & more
United States Trendy
- 1. #DWTS 8,254 posts
- 2. Robert 98.1K posts
- 3. Elaine 34.8K posts
- 4. #WWENXT 6,335 posts
- 5. Young Republicans 35.8K posts
- 6. Jackson Chourio 1,457 posts
- 7. Carrie Ann N/A
- 8. D’Angelo 373K posts
- 9. #DWCS 1,230 posts
- 10. Charlie 723K posts
- 11. Politico 232K posts
- 12. Dennis Quaid 1,354 posts
- 13. #AriZZona N/A
- 14. Erika Kirk 91.7K posts
- 15. Cornelia 1,670 posts
- 16. #dancingwiththestars N/A
- 17. Josh Briggs N/A
- 18. Teoscar 3,163 posts
- 19. Matt Cardona 1,104 posts
- 20. Witney N/A
Something went wrong.
Something went wrong.