Jacob Kim @iamjacobkim
PhD in ICS @ UC Irvine. Made cool stuff at https://t.co/1f9eY9m0KL. UofM alum. github.com/jpoly1219 Irvine, CA Joined September 2024-
Tweets44
-
Followers29
-
Following285
-
Likes257
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😅
We need more hints like this. This is day 2 with @elmlang and it feels very... nice :)
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.
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.
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🔥
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 :)
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
Cyndy @kozixinuriwe447
0 Followers 6 Following 💼Blockchain master 🔑Unlocking value in Crypto, NFT, DeFi!
Norma @r_norma75
169 Followers 3K Following
Nina @Nina32702766764
51 Followers 1K Following
Nina @ninamelnyk11
7 Followers 613 Following
Esuso @Esuso3245862
131 Followers 3K Following
Dallin Romney @dallinfinite
72 Followers 1K Following Enthusiast 📌 Continue is hiring! https://t.co/oLZUiPX4pD
Ricardo Velasquez @TheRickyDotNet
216 Followers 195 Following At Alternova, building stuff that’s useful for humanity 📱👾 and sharing my thoughts along the way📝💭. On 𝕏 to make internet friends. No agenda.
Patrick Erichsen @pat_erichsen
357 Followers 359 Following Founding engineer @ Continue (YC S23) We're hiring! https://t.co/bpNmnCbMpH
Davis Treybig @TreybigDavis
1K Followers 4K Following Early stage investor at Innovation Endeavors, focused on computing infrastructure, data/AI, and tools for builders.
bdougie on the intern... @bdougieYO
14K Followers 2K Following The official account of bdougie. DX @continuedev
Raj Pabnani @waiting4AGI_
265 Followers 5K Following "Salesforce Engineer 🚀 | Transforming clouds with code ☁️ | AGI enthusiast exploring the future of intelligence 🤖 | #Trailblazer #AGI #CodeArtist"
Nate Sesti @NateSesti
4K Followers 318 Following Coding @continuedev, Publicly Thinking @ https://t.co/p11OSyonc3, (no longer) Studying Physics @ MIT ('24) 📌 Continue is hiring! https://t.co/UcuvyI7yh9
Bart Blast @Bart_Blast
823 Followers 6K Following Building Hologram, a full-stack Elixir web framework
Smarsles @SmarslesNgB
21 Followers 382 Following
Slootoasl @SlootoaslXGv0F
67 Followers 932 Following
Peter Schawacker @PeterSchawacker
1K Followers 7K Following Cyber Business Innovator & Strategist | CISO | AI | GRC & SOC | DFIR/TTX | SecOps | Drive Margin | Nearshoring | LATAM-USA | Emerging Markets | GTM Advisor
Marcel Goethals @wolkenmachine
959 Followers 2K Following In(ter)dependent researcher & Toolmaker. Currently inventing Programmable Ink @inkandswitch
Anselm Eickhoff @anselm_io
3K Followers 2K Following Thinking about code & design. Building @jazz_tools / @gardendotco. “Work sucks. Play works.”
Wil Chung @iamwil
2K Followers 831 Following Programming & Local-first software ⁙ LLM zine https://t.co/apQqD9PIMd ⁙ Startup lessons ⁙ Game design quips.
Federico Cassano @ellev3n11
2K Followers 241 Following training big models @cursor_ai prev @neu_prl, @scale_AI, @Roblox, @trailofbits
Sundara Vishnu @sundara_vishnu
26 Followers 299 Following @UMich '25 | pl, distributed systems, & math | 🏃♂️🧗♂️🚴♂️|
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHMbK2 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Artem Kushner @rtkushner
284 Followers 4K Following ribosome & shape analysis at Dao Duc lab, UBC Vancouver; CryoET at Klumpe lab, IMP/IMBA Vienna; some tubulin and structural biology infrastructure work
Alexander Bandukwala ... @abanduk
383 Followers 760 Following Pursuing the Future of Computing. PhD student at @UMichCSE. Worse is worse. @[email protected]
andrew blinn @disconcision
4K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
Melissa Pan @melissapan
2K Followers 549 Following CS PhD @UCBerkeley Sky Lab 🐻 Systems & AI & Sustainability 🌍 Prev: @google, @ibm, @CarnegieMellon🐕🦺, @UofT🇨🇦
compilertech @compiler_tech
169 Followers 68 Following Innovation in Compiler Technology workshop 2024 edition talks can be found here (https://t.co/jqbf5huiAU)
elvis @omarsar0
266K Followers 681 Following Building with AI agents @dair_ai • Prev: Meta AI, Galactica LLM, Elastic, PaperswithCode, PhD • I share insights on how to build with AI Agents ↓
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
TimDarcet @TimDarcet
4K Followers 757 Following PhD student, building big vision models @ INRIA & FAIR (Meta)
Syaiful Bahri @kicauipul
188 Followers 559 Following professional programmer, father, blogger and an amateur chess player.
aaron @aarondotdev
6K Followers 2K Following math+cs | ai+vr | former@intuit | founding retarded engineer
Brian Hempel @brianhempel
594 Followers 143 Following I'm a clumsy bioball careening towards death, but there is some joy along the way. Lord Jesus Christ, Son of God, have mercy on me, a sinner.
Bytebytego @bytebytego
123K Followers 3 Following Weekly system design topics you can read in 10 mins.
Matthieu Pizenberg @mattpiz
761 Followers 181 Following Raclette lover, Robots maker, Tennis player, Functional programming enthusiast, Cardano cult member, PhD in computer vision. Opinions are my own.
Elm Weekly @elmweekly
2K Followers 0 Following Bringing you the best Elm programming content since 2016. Weekly email newsletters with interesting articles, projects and talks. Current editor: @wolfadex.
lucamug @luca_mug
562 Followers 460 Following @elmlang @ElmJapanConf organizer, Software Engineer at @RakutenJP, @[email protected]
Stephen Wolfram @stephen_wolfram
176K Followers 4 Following Creating ideas, technology, science, companies, books, ... #WolfLang #WolframPhysics #WolframAlpha #Mathematica @WolframResearch
Alexia Jolicoeur-Mart... @jm_alexia
14K Followers 2K Following Senior AI Researcher at the Samsung SAIT AI Lab 🐱💻 I build generative AI for images, videos, text, tabular data, weights, molecules, and video games.
Better Software Confe... @BetterSoftwareC
4K Followers 12 Following Software is getting worse. We're here to make it better. 2025 VODs currently releasing on YT: https://t.co/kitqaYA43w
Casey Muratori @cmuratori
62K Followers 146 Following Programming: https://t.co/Bdh1Xj2PpV Comics: https://t.co/fmdjK9HFxW
JetBrains @jetbrains
205K Followers 53 Following The World's Leading Provider of Professional Development Tools. Makers of IntelliJ IDEA, ReSharper, PyCharm, TeamCity, Kotlin, and more.
johnnysswlab.com @johnnysswlab
2K Followers 28 Following We help development teams speed up their C/C++ software. Performance-related blog: https://t.co/FqGMpbEH2w Direct help: https://t.co/3Dn3HMlgqM
Adrian Carolli @icookandcode
5K Followers 6K Following Building React Native Apps, Investor, and Tech Evangelist 🥑 | Ex @penta_medical YC S18 | React.js | Remote at @g2i_co 💻 🇨🇦 | OSS ❤
Jamon @jamonholmgren
29K Followers 4K Following Say hi, I'm friendly! ∞ @infinite_red founder ⚛️ @ReactNativeRdio host 🚁 @jammingames 🥅 Hockey goalie ✝️ Lutheran 🙎🏼♂️🧒🏼👧🏼👧🏼 Dad x4 👶 Gpa x1
Jaeyeon (Jay) Kim @Jaeyeon_Kim_0
560 Followers 253 Following Ph.D. student in CS @Harvard | Previously @SeoulNatlUni B.S. in Math
Esther Lin @estheroate
1K Followers 488 Following CS PhD @UofT | Computational Imaging, Optics + ML | Prev: @realitylabs, @Adobe, @Tesla
Wails @wailsapp
2K Followers 80 Following Create Desktop applications using Go + Web Technologies. The official account of the Wails Project. Sponsor: https://t.co/8aUGyERnLq
Daniel 🦔 @DanielW_Kiwi
3K Followers 3K Following Husband, father and software developer from the bottom of the world in NZ that likes F# a little too much.
Victoria Slocum @victorialslocum
8K Followers 555 Following learning cool stuff, machine learning engineer at @weaviate_io 💙
Francesco Bertolotti @f14bertolotti
954 Followers 130 Following Postdoctoral researcher at the university of Milan
Pamela Hobart @gtmom
2K Followers 765 Following Gifted & talented education enthusiast, former academic philosopher, mother of 4 into intelligence, 2e & AI. @gtschool @AlphaSchoolATX , aka @amelapay
Bryce Adelstein Lelba... @blelbach
17K Followers 2K Following Principal Architect at @NVIDIA working on programming languages. C++ Library Evolution chair emeritus. Frequent @traveloneworld flyer. Horology nerd.
Mike Freedman @michaelfreedman
5K Followers 374 Following Co-founder/CTO, @TigerDatabase / @TimescaleDB 🐯🦄. Professor, @PrincetonCS. Distributed systems, databases, AI, security, networking.
Abakcus @abakcus
87K Followers 291 Following Abakcus is the best curation site for math and science. Please subscribe my weekly newsletter! It is FREE! https://t.co/uPkgdO2mwT
Yuka Ikarashi @c20
3K Followers 646 Following PhD candidate @MIT CSAIL / Trying to make things work / 🇯🇵→@00_
JLarky @JLarky
10K Followers 948 Following Opinions are not my own. As soon as I say something I become new me who hates anything old me did. CEO of HTMX
Joséphine Raugel @JRaugel
386 Followers 169 Following PhD student @ Meta & ENS, on LLMs and Brains processing language and vision together.
Jean-Rémi King @JeanRemiKing
7K Followers 524 Following Researcher @MetaAI AI - Neuroscience https://t.co/VCaLTUt9MH
Spencer Cheng @spenccheng
2K Followers 297 Following 2x founder | AI + Construction | I build insanely fast simulators for reinforcement learning at https://t.co/JuTqEHQX4O
Hero Of Justice @herooffjustice
4K Followers 470 Following Learning AI/ML, Messiah? Soon. Hero Of Justice ⚔️
yuwen lu @yuwen_lu_
3K Followers 3K Following phd candidate @nd_cse, human-ai interfaces, creativity, design | x @apple, @google, @midjourney
PVLDB @pvldb
5K Followers 10 Following The Proceedings of the VLDB Endowment (PVLDB) RSS Feed: https://t.co/5wEKOfq2OD Bluesky: https://t.co/jULSIiQ5M3
Aleksa Gordić (水�... @gordic_aleksa
26K Followers 229 Following getting us to singularity with friends computers can be understood: https://t.co/doHE1Qv2Sj x @GoogleDeepMind @Microsoft tensor core maximalist
Dan Hollick @DanHollick
29K Followers 330 Following design engineer @tailwindcss. writing a book about software at https://t.co/dFGw9eLk1e prev: @raycast
UNMS @undotms
1K Followers 10 Following
JosH100 @josh_wills
18K Followers 2K Following Engineering at @datologyai; @duckdb enthusiast, ex-@slackhq
f1shy-dev @vishyfishy2
5K Followers 745 Following cooking @capydotai | building everyday ai → https://t.co/dWRqsyh9Hh | likes vectors, japan and cats
Rohan Padhye @moarbugs
2K Followers 535 Following Assistant Professor at @S3DatCMU @SCSatCMU. PhD from @Berkeley_EECS. Connessiur of hot sauce.Trends for United States
You might like
