-
Tweets127
-
Followers22
-
Following138
-
Likes6K
Krishna retweeted
Big tech: using AI to code is mandatory at our company. It’s the future. Me: can I use AI to solve interview questions? Big tech:
Started doing nand2tetris in logisim. Going good so far. Hopefully I can finish it this time 🤞
Time for #screenshotsaturday. Going good so far...
Recorded a video of me writing a RISC-V 32-bit ISA Register File. Check it out: youtu.be/Z3RRuAjlZAo?si… #fpga #programming #SoftwareEngineering #verilog
Krishna retweeted
I would love to know what this text field actually does search for.
Looks like AI is not good at solving trivial theorems.
Man, understanding the problem statement of Alpha conversion in Lamba calculus is a pain in the ass. Finally I was able to implement it into my Repl. Will do one more round of testing before releasing a new version of the Repl. Maybe I'll do a youtube video on this 😉
Lambda calculus: Implementing Beta reduction. Uploaded a new video: youtu.be/L93F8pYmZuw
Krishna retweeted
Dijkstra watching the whole industry drift further and further from formal methods on to pure slop vibe coding
Dijkstra watching the whole industry drift further and further from formal methods on to pure slop vibe coding https://t.co/4NsfQkCGjq
Toylang v0.1.5 is released 🎉. I would love to get some feedback. github.com/M-krishna/toy_…
Krishna retweeted
I never thought this would take my job.
Sheena @sheena_shinkle6
285 Followers 3K Following
Melissa @b_melissa81
248 Followers 3K Following
Hubert Rozario @rozario708
2 Followers 5 Following
Karthi @kaarthick33
3 Followers 513 Following
Karthikeyan @Karthikeyan566
3 Followers 29 Following
vimmer.io @vimmer_io
73 Followers 102 Following Master Vim from the comfort of your web browser. Follow for daily tips! 🚀 Built by @joechrisellis.
Atman @Jarvis0032
88 Followers 575 Following If one not willing to take risks growth is simply a dream Software engineer
Sarankumar @s_r_n_k_m_r
13 Followers 66 Following
RATHINA MOORTHY N @RATHINA_MOORTHY
39 Followers 213 Following
Giri_cse @Giricse97
33 Followers 161 Following
HereNR786 @sweaky786
66 Followers 626 Following Unlimited Love with all who respects me, Cinema💓 Studying CA/CMA, Being Simple
Elango M @ElangoM20
39 Followers 167 Following
Kabilkaran @Kabilkaran1
9 Followers 158 Following
sathishkumar @sathish357
41 Followers 96 Following
Yoganandham @yoga10397
17 Followers 184 Following
Madhan Kumar @_mk_madhan
22 Followers 34 Following
ClickHouse @ClickHouseDB
12K Followers 58 Following ClickHouse is the fastest open-source OLAP database ⚡ Download: https://t.co/3JKlDJbkcH GitHub: https://t.co/bjCe9qIetg Slack: https://t.co/d95c6jVeJm
Vittorio Romeo @supahvee1234
6K Followers 459 Following I write code, lift weights and play games. I also like everything sci-fi. Views and opinions are my own. | https://t.co/7ZGsl68xl4
Daniel Lemire @lemire
29K Followers 2K Following Software performance expert. Ranked in the top 2% of scientists globally (Stanford/Elsevier 2024) and among GitHub's top 1000 developers. Editor of SPE Journal.
george hotz archive @geohotarchive
5K Followers 4 Following Not George Hotz. Just an archive. We archive @comma_ai, @__tinygrad__ and @realGeorgeHotz videos for fun. [email protected]
ICPCNews @ICPCNews
24K Followers 2K Following An official X account for the International Collegiate Programming Contest (ICPC), affiliated with the ICPC Foundation.
notch @notch
3.6M Followers 237 Following Currently working on Levers and Chests, a dungeon crawler roguelike roguelite.
arXiv.org @arxiv
42K Followers 186 Following News from https://t.co/enurGFxpcS, a free distribution service and an open archive for scholarly articles. For help with arXiv, see https://t.co/LcWuhM0BOl
Eskil Steenberg @EskilSteenberg
6K Followers 270 Following C, Game design, Story telling, and progress. Work @quelsolaar https://t.co/xHje5WbRyi
Malay Hazarika @theHazarika
79 Followers 330 Following Founder @osuite_io, Engineer / Nerd / Conversationalist
Andrej Karpathy @karpathy
1.4M Followers 1K Following Building @EurekaLabsAI. Previously Director of AI @ Tesla, founding team @ OpenAI, CS231n/PhD @ Stanford. I like to train large deep neural nets.
LaurieWired @lauriewired
106K Followers 285 Following researcher @google; serial complexity unpacker; https://t.co/Vl1seeNgYK ex @ msft & aerospace
Mattias Gustavsson �... @Mattias_G
7K Followers 330 Following Hobby game dev, making retro style games: https://t.co/Mb7qXNtOju and public domain C libs: https://t.co/tGsN1QbZiI
Demis Hassabis @demishassabis
495K Followers 152 Following Nobel Laureate. Co-Founder & CEO @GoogleDeepMind - working on AGI. Solving disease @IsomorphicLabs. Trying to understand the fundamental nature of reality.
Vjekoslav Krajačić @vkrajacic
8K Followers 115 Following Building a fast, modern file explorer → https://t.co/DLg0ClqK1O Catholic, Croat 🇭🇷, husband, father of 5.
Chris Lattner @clattner_llvm
87K Followers 194 Following Building beautiful things like Mojo🔥 and MAX @Modular, lifting the world of production AI/ML software into a new phase of innovation. We’re hiring! 🚀🧠
FPGAX @FPGAX_
11K Followers 229 Following Sharing teardown images of military and aerospace electronics. Presenting the structure without judgment.｜I run an FPGA store 👇🏻
Yann LeCun @ylecun
956K Followers 765 Following Professor at NYU. Chief AI Scientist at Meta. Researcher in AI, Machine Learning, Robotics, etc. ACM Turing Award Laureate.
Richard Dawkins @RichardDawkins
2.9M Followers 344 Following UK biologist & writer. Richard Dawkins Foundation donor: https://t.co/rZZdjPoMUe. For Details about the Upcoming Tour: https://t.co/sSo5FL6CWb
Jeff Dean @JeffDean
368K Followers 6K Following Chief Scientist, Google DeepMind & Google Research. Gemini Lead. Opinions stated here are my own, not those of Google. TensorFlow, MapReduce, Bigtable, ...
XKCD Comic @xkcdComic
337K Followers 1 Following XKCD comic feed with images and mobile friendly links. Unofficial, feed run by @dghubble
NPCI @NPCI_NPCI
217K Followers 117 Following Driving India’s digital payments innovation with our products like @UPI_Npci, @RuPay_npci, @Npci_Bhim, @BharatConnect_ to keep you Always Forward.
samy k͓͓͓͓͓͓͓�... @samykamkar
62K Followers 4K Following think bad, do good. | https://t.co/qyiFryCVrs | cofounder @openpathsec
the tiny corp @__tinygrad__
59K Followers 134 Following We make tinygrad and sell tinybox, the best perf/$ AI computer. $25k for 4x 5090 in a quiet box. Our mission is to commoditize the petaflop.
kei @thelissimus
672 Followers 409 Following Type Theory, Compiler Engineering and Formal Methods 型理論・コンパイラ工学・形式手法
ET Money @ETMONEY
81K Followers 8 Following When intelligence is at work, investing turns into success. ET Money personalizes the investing intelligence, so that you have the freedom to live your choices.
Casey Muratori @cmuratori
62K Followers 146 Following Programming: https://t.co/Bdh1Xj2PpV Comics: https://t.co/fmdjK9HFxW
LambdaConf 2025 @lambda_conf
8K Followers 2K Following A mind-blowing programming conference, held in Estes Park, CO.
gingerBill @TheGingerBill
12K Followers 1K Following I'm a Ginger thus I have no soul. Creator of the Odin Programming Language https://t.co/LWFCLB39eC Working at @JangaFX on EmberGen/LiquiGen/GeoGen/IlluGen
Racket @racketlang
7K Followers 74 Following Official Twitter account for the Racket programming language. Please ask questions at https://t.co/V7rIWhB2rE or https://t.co/k1nOVqq2dI
Lisp & Scheme Weekly @LispDiscussions
878 Followers 32 Following Articles, projects and tutorials about #Lisp and #Scheme. Weekly newsletter: https://t.co/w2KG2ppMfS
zack (in SF) @zack_overflow
26K Followers 2K Following 24 eng @bunjavascript i like systems programming, chief uncle @nautilusquest house
Haskell @HaskellOrg
13K Followers 65 Following Committed to a welcoming, vibrant & flourishing #Haskell community! Managed by @beatleida & @TechnoEmpress on behalf of the https://t.co/1sy8nTHi9G Committee
OCaml @ocaml_org
2K Followers 16 Following The industrial-strength functional programming language | safe, expressive, performant | Changelog + OCaml Planet RSS feeds https://t.co/TqiIR3AdHB
Contrarian EPS @contrarianEPS
197K Followers 15 Following “Thousands of people don’t like what I do. Fortunately, millions do.” —James Patterson I DO NOT HAVE ANY ADVISORY
Men's Sexual Health @Men_Sex_Health
627K Followers 180 Following We Will Help You Last Longer In Bed Tonight & Satisfy a Woman Every Time...
Hubert Rozario @rozario708
2 Followers 5 Following
STEM @stem_feed
509K Followers 33 Following Science, Technology, Engineering, and Mathematics (or Memes)
Yoganandham @yoga10397
17 Followers 184 Following
Trends for United States
1.632 posts
52,4 B posts
28,7 B posts
106 B posts
13,8 B posts
236 B posts
50,4 B posts
12,9 B posts
46,6 B posts
6.656 posts
388 B posts
22,8 B posts
12 B posts
1.620 posts
23 B posts
9.624 posts
You might like
Riverside County DEH
@RivCoEH
901 Followers
K.S.Rangasamy College...
@ksrct1994
1K Followers
Vesta Teleradiology
@vestarad
487 Followers
Tharun
@Tharunsurya2014
67 Followers
Ela
@elalanana_
1K Followers
Sam
@_SLH5_
969 Followers
andrew
@AndrewAvery_2
1K Followers
Vivek
@VivekM31
116 Followers
R.H.Vikram
@rhvikram
1K Followers
Eugene
@iShooks
5K Followers