Erez Shinan @erezsh
Software Engineer & Digital nomad I wrote Lark, Reladiff (data-diff), Preql, Runtype, and more. https://t.co/TjNBuJh9rp ~~ Codito Ergo Sum ~~ erezsh.com gps.random() Joined April 2009-
Tweets2K
-
Followers192
-
Following227
-
Likes11K
It seems to me, that Wikipedia is one of the most successful spreaders of misinformation in the digital age. Its facade of objectivity and the credibility lent to it by its non-political pages, makes it a very effective vector for propaganda.
0
0
4
114
0
#Lark 1.3.0 released - Introduces text-slices, Earley fix, and various small improvements Latest - github.com/lark-parser/la…
I'll be at the Open Source Summit Europe 2025 in Amsterdam. Anyone else going? register.linuxfoundation.org/D1aOyZ?sms=2&c… #OSSummit
Crazy how the Founding Fathers only wrote one prompt, and still they managed to one-shot the biggest superpower in history.
Erez Shinan retweeted
Pinpointing differences between two tables live in different databases becomes tricky due to several reasons. In this article, @erezsh shared how Reladiff tackles these challenges & its journey eshsoft.com/blog/how-relad… #python #Programming #pythonProgramming #SoftwareDevelopment
Windsurf & Cursor fork Vscode source and make billions Vscode in response: Hi guys, here's some more code that might interest you. Epic move.
Windsurf & Cursor fork Vscode source and make billions Vscode in response: Hi guys, here's some more code that might interest you. Epic move.
Erez Shinan retweeted
Instant jaw-dropping for an MMO browser game with 600+ players playing live. I'm hooked! This game has me fighting over territory and spawning soldiers or giant robots. Impressive - it really motivates me to finalize my own MMO game, which should be ready next week. 👇🏻 Link…
Erez Shinan retweeted
Not a robot, but I've been writing code to procedurally generate 3D prints! Hilbert Curve marble track
Erez Shinan retweeted
Who's surprised?
A really good list of git settings that are worth using. Or at least knowing. "How Core Git Developers Configure Git" blog.gitbutler.com/how-git-core-d…
Lark has exactly 5000 stars and 420 forks. Great way to open 2025 😜
Extracting a grammar from code automatically, using LLMs and #lark: arxiv.org/html/2412.0884…
Both faces are the same color! ( I didn't believe it at first either )
Just released Lark 1.2.1, with major bug-fixes for Earley, and its handling of ambiguous grammars. (github.com/lark-parser/la…) Also released Reladiff 0.5.2, that now allows diffing against empty tables (about time!) - github.com/erezsh/reladif…
Erez Shinan retweeted
reladiff: High-Performance Diffing of Large Datasets Across Databases github.com/erezsh/reladiff
People say post-modernism has contributed nothing to philosophy, without realizing that anyone can now identify as a true Scotsman.
Erez Shinan retweeted
Today on #CraftVsCruft I show a workflow taking natural English sentences all the way to validated theorems in 350 lines of Python. Tools used: GPT-4 Turbo by @OpenAI, Z3 Prover by @MSFTResearch, and the Lark parsing library by @erezsh. Enjoy! youtu.be/TLGEUfh6zl4
New releases - Lark 1.1.8 - github.com/lark-parser/la… Runtype 0.4.0 - github.com/erezsh/runtype…
Gaubarx @gaubarx74223
0 Followers 816 Following
Mwoudar @Mwoudar2453048
7 Followers 1K Following
sehaj pasricha @pasricha_sehaj
321 Followers 701 Following want to visit a zombie planet and be computationally irreducible. @notboringco
Jessica Swaniawski @swaniawski27656
26 Followers 2K Following
Ashwin Jayaprakash @ashwinjay
237 Followers 4K Following Falling into the future at light speed. (Any opinions expressed are my own)
InsiderTradesX🇺�... @Fwealpu473393
43 Followers 2K Following 15-30% Monthly | 2 High-Conviction Stocks.Short-Term Gains: 15-20% in Days/Weeks.DM "JOIN" for WhatsApp Alerts. Live Trade Signals • Market Analysis
FibLevelsPro🇺🇸 @Eeporeemraw430
34 Followers 2K Following 15-30% Monthly | 2 High-Conviction Stocks.Short-Term Gains: 15-20% in Days/Weeks.DM "JOIN" for WhatsApp Alerts. Live Trade Signals • Market Analysis
Oded Waiser @OdedWai8
0 Followers 16 Following
ben @0thernet
3K Followers 5K Following zofounder @zo_computer the AI computer | previously did a long tour @stripe 2015-2023, @venmo 2013, @harvard 2012
Sam Rodriguez @SamyRodrguez
603 Followers 1K Following Working on AI & Machine Learning. Be Kind. Aim high. Work hard. One step at a time.
Juan Carlos @quirogaco
2 Followers 75 Following
SuperShackles @yuyuzhengu34544
0 Followers 358 Following
LedgerVoyager @DeborahMcl85082
5 Followers 137 Following 💥 Unlock Massive Daily Potential! Earn 50-100000 USDT daily. Secure platform, rapid results. Farm Smarter, Safer, Faster Now! 💰⚡🛡️
Kirstin Jaskolski @KirstinJ78106
33 Followers 3K Following
EverScale @Ever_Scale
93 Followers 1K Following Scaling made simple with AI and automation. We help businesses optimize workflows, boost marketing impact, and achieve sustainable growth—all powered by cutting
GracefulAbyss @duthety39
110 Followers 1K Following
Spufrurth @SpufrurthYH5aC
40 Followers 4K Following
Flawthair @FlawthairiQwN
52 Followers 5K Following
🌏 @bd9521
0 Followers 173 Following
Theartes @Theartes48_M7
50 Followers 5K Following
Siddea @Siddea8ZrKP
45 Followers 5K Following
Sherman @usunekaren90546
87 Followers 7K Following
PollyWhitehead @gi52dC390Gk58
66 Followers 6K Following
PenelopeCarl @S8gAno1rc7gDd8H
60 Followers 7K Following
JulieEddie @nW1FV76i9QI9E
68 Followers 7K Following
JulietNoel @7iJZ6UWNfEJG03a
69 Followers 7K Following
YvetteBulwer @4aQTUi5c5OIdr
68 Followers 7K Following
dino_dna @dino_dna_
847 Followers 7K Following
George Ngissah @ngissahngissah
413 Followers 7K Following 🧠 Type your business name into ChatGPT and hit ENTER. If it says NOTHING 🤔, your clients probably feel the same 🤦 It's time to fix it! 👨🔧💯
rationalexpectations @rationalexpect1
563 Followers 3K Following Classical liberal. No to conspiracy theories; yes to scientific theories. For perspective, that little blue dot is Earth ^^^^
A T @iDramedy
328 Followers 6K Following
Nir Krakowski @nirkrakowski
308 Followers 322 Following
裸聊每日大赛文... @cobysim
37 Followers 216 Following
שלמה טרייטל @AShlomovideo
512 Followers 3K Following
Truth & Reason @flnurse18
1K Followers 5K Following
Thythoos @thythoos74722
17 Followers 599 Following
Ray Myers @lambdapocalypse
448 Followers 939 Following Retrofuturist software mender. Host of Craft vs Cruft. Social links in pinned post while supplies last!
Eddie Miller @EddieMillerNYC
837 Followers 7K Following https://t.co/8FPZboHDfd (Chief Reasoning Engineer), https://t.co/CS2BHpuw42, https://t.co/wF08YzmQLw (Domain Name portfolio), Ultimate Buyer’s Agent & Super Adventurer
Álvaro Justen @turicas
16K Followers 3K Following Software developer, teacher, traveller, learner. Tech for social impact @ https://t.co/xM6IxGk2oL #opendata #freesoftware #python #maker #coffee #unix
Daniel Brodie @db_doskey
44 Followers 503 Following
The Lunduke Journal @LundukeJournal
20K Followers 552 Following Tech Journalism with zero ads, & zero Big Tech influence. We cover the Big Tech stories that other publications are afraid to touch.
DHH @dhh
565K Followers 136 Following Father of three, Creator of Ruby on Rails + Omarchy, Co-owner & CTO of 37signals, Shopify director, NYT best-selling author, and Le Mans 24h class-winner.
Martin Shkreli @MartinShkreli
358K Followers 8K Following https://t.co/vJE5wyFDrX https://t.co/GUy99qMi2O - join our Discord! e/acc
Rebane @rebane2001
7K Followers 2K Following 🇪🇪🏳️⚧️ | Archivist | 9 CVEs in Chrome | CSS noob | MapartCraft | Horse | rebane2001#3716 | Lyra 🦊 @[email protected]
Zed @zeddotdev
57K Followers 47 Following A next-generation code editor that enables high-performance collaboration with AI and your team. https://t.co/4Ua0UqLrsv
Ron Berman @marketsensei
3K Followers 826 Following Game theorist and data scientist. I study online advertising, marketing analytics and how curation algorithms impact platforms @Penn @Wharton.
Scott Alexander @slatestarcodex
156K Followers 36 Following I have a place where I say complicated things about philosophy and science. That place is my blog. This is where I make terrible puns.
kaleidoscube ⌛ RECU... @kaleidoscube
6K Followers 452 Following Indie game studio from Stuttgart, Germany • Working on #RECUR • Creators of #AJugglersTale • Tweets by Dominik
Israel Foreign Minist... @IsraelMFA
548K Followers 2K Following 🇮🇱 Official twitter channel of Israel's Ministry of Foreign Affairs #LetThemGoNOW
United Nations Human ... @UNHumanWrongs
37K Followers 3 Following The United Nations #HumanWrongs office is dedicated to ensuring equal rights for our coworkers under Gaza. PARODY
Indi @ultrawavetrader
18K Followers 196 Following Options trader. 28 yrs of trading. Sharing live trades and detailed transactions📕. Challenge: $8M by end of 2025. NOT investment advice.
Maya @MayaRainer_
2K Followers 89 Following Fishkeeper, streamer, coder. 💜 Prefers cooking over cooking with AI. Sometimes works on @gumroad.
ben @0thernet
3K Followers 5K Following zofounder @zo_computer the AI computer | previously did a long tour @stripe 2015-2023, @venmo 2013, @harvard 2012
One Happy Fellow @onehappyfellow
2K Followers 702 Following calmly weaving caml code;; programmers are wizards who forgot their magic;; lack of type safety always comes with a price;; head of @typememetics
Paul Li @PaulTheLi
5K Followers 959 Following CEO @ EasyCode (YC) | Building aIl-in-one platform for Vibe Coders | https://t.co/4fk4Y5ukzV
Noa Argamani @ArgamaniNoa
40K Followers 34 Following I was kidnapped by Hamas on October 7; I now fight to bring home my partner Avinatan and all the remaining hostages
Photopea @photopeacom
16K Followers 5 Following Photopea is a free online image editor, supporting PSD, Sketch and XCF files.
Fabian @fabianbuilds
348 Followers 277 Following broke entrepreneur, earned 1M cents ex-meta, praise Zuck growing https://t.co/hNI9Z0kIVv to $10k MRR 🟩🟩🟩⬜️⬜️⬜️⬜️⬜️⬜️⬜️
Ask America With Edga... @PuppetEdgar
29K Followers 1K Following Official X Account of Edgar the Puppet. WATCH more episodes HERE: https://t.co/xvRV9Bxvhn
León @LeonGuertler
2K Followers 289 Following Research @ Center for Frontier AI Research (A*Star Singapore)
Quiver Quantitative @QuiverQuant
355K Followers 780 Following Bridging the information gap between Main Street and Wall Street. Disclaimer: https://t.co/dIbqx0Q4fW
David @DavidSHolz
92K Followers 9K Following founder @midjourney, prev founder leap motion, nasa, max planck - random vibeposting @davidvibesonly
Chief Nerd @TheChiefNerd
889K Followers 2K Following Software Engineer | Podcast Clipper | DM for Removal | Merch 👉https://t.co/LEGwYHQAst | Tips 👉https://t.co/h9xVqydk1b
Erin Molan @Erin_Molan
212K Followers 6K Following Mum… host of ‘The Erin Molan Show’… Salem Network, Youtube, Podcast… here 💁♀️ Host of 69XMinutes
Konstantin Vinogradov @vinogradovk
2K Followers 3K Following General Partner @RunaCapital, investing in open source, dev-focused, and infrastructure software. I am strongly interested in OSS, and I take it seriously
JOODS.NL🎗️ @joods
17K Followers 5K Following Dé eigenzinnige website met nieuws uit Joods Nederland, Israël en de Joodse wereld. 🇳🇱🇮🇱
Akiyoshi Kitaoka @AkiyoshiKitaoka
68K Followers 2K Following I am an experimental psychologist who studies visual illusions as well as makes illusion artworks. #illusion #opticalillusion #perception #錯視
Hugh Hewitt @hughhewitt
257K Followers 2K Following Broadcasting 3-6 PM EST on Salem News Channel/affiliates nationwide. Fox News Contributor. Browns/Tribe/Cavs/Buckeyes “We are not enemies, but friends.” Lincoln
Ryan James Girdusky @RyanGirdusky
213K Followers 2K Following Native New Yorker. Roman Catholic. 1776 Project PAC. National Populist Substack. Numbers Game Podcast https://t.co/FR6iStggqH
Green Lives Matter @Ultrafrog17
208K Followers 1K Following Researcher. Video Clipper. Writer. Internet Frog.
Associated Fress @AssociatedFress
28K Followers 15 Following Quality Fake News You Can Trust, Est. 1827
Nick Freitas @NickJFreitas
371K Followers 1K Following Husband | Father | Green Beret Combat Veteran | Representing James Madison's district in the VA House of Delegates | I defend #Liberty🇺🇸
Akshay 🚀 @akshay_pachaar
230K Followers 459 Following Simplifying LLMs, AI Agents, RAG, and Machine Learning for you! • Co-founder @dailydoseofds_• BITS Pilani • 3 Patents • ex-AI Engineer @ LightningAI
Tulsi Gabbard 🌺 @TulsiGabbard
3.8M Followers 1K Following Director of National Intelligence. Former Presidential candidate & Congresswoman. Soldier. NYT bestselling author. (Views do not reflect position of USG/DoD)
rationalexpectations @rationalexpect1
563 Followers 3K Following Classical liberal. No to conspiracy theories; yes to scientific theories. For perspective, that little blue dot is Earth ^^^^
Today Years Old @todayyearsoldig
1.1M Followers 107 Following Your source for the latest trends, discoveries, and most shocking truths & little-known facts about the world. 🚀 DM us your findings!
Visegrád 24 @visegrad24
1.4M Followers 2K Following Aggregating and curating news, politics and current affairs.
Kat ⊷ the Poet Engi... @poetengineer__
52K Followers 351 Following artist, engineer, researcher. live audio visual performer. artificial life, computation, neuroscience, machine psyche. science & art, futuristic & ancient.
Kin Shah | @kinshah@d... @TheRockstarDBA
910 Followers 5K Following Sr. DBSRE @Bloomberg - Automation Lover. Opinions are my own ! retweets != endorsement
Alexander Zeitler �... @lxztlr
3K Followers 692 Following Building things on the web and in the factory for the factory 🏭 Ad Astra 🚀✨Omarchy, btw 💻 Steuern sind Raub #TeamFreiheit
Rogier den Breejen @RogierdBreejen
92 Followers 824 Following Data Engineer | Distributed Systems | Blockchain | AI | Economics
Mikhaila Peterson @MikhailaFuller
466K Followers 1K Following Isaiah 26:3-4. Co-founder and CEO of @petersonacademy. Founder of @theliondiet for autoimmunity/chronic disease.
Nancy Pelosi Stock Tr... @PelosiTracker_
1.2M Followers 527 Following Highlighting Politicians' trades so we can invest alongside Goal: get them banned from trading. $800,000,000 invested on @joinautopilot_ so far
Nir Krakowski @nirkrakowski
308 Followers 322 FollowingTrends for United States
80 B posts
246 B posts
9.155 posts
19,8 B posts
25,9 B posts
14,9 B posts
53,1 B posts
10,9 B posts
19,1 B posts
29,4 B posts
12,9 B posts
7.503 posts
120 B posts
1.901 posts
528 B posts
36,9 B posts
127 B posts
72,1 B posts
3.524 posts
9.538 posts
You might like
Yaron (Ron) Minsky
@yminsky
16K Followers
Dimitri 0s
@Ch0pin
4K Followers
POPL 2026
@poplconf
3K Followers
Ron Reiter
@ronreiter
2K Followers
Shlomi Ben Haim
@ShlomiBenHaim
2K Followers
𝐑𝐚𝐩𝐡𝐚�...
@CommonNobility
3K Followers
Or Weis
@OrWeis
1K Followers
Mitch L
@datdudemn
882 Followers
Oren Held
@oren_held
471 Followers
Imri Goldberg
@lorgandon
498 Followers
Yotam Salmon
@yotam__s
77 Followers
Shlomi Atar
@shlomiatar
2K Followers
נעים מאוד, א...
@NaimMeodUri
1K Followers