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
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…
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…
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…
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
22K Followers 21K FollowingExperienced #Unix and #Linux #SysAdmin with over twenty years background in Systems Analysis, Problem Resolution, Application Support, and Process #Automation.
86 Followers 1K FollowingScaling made simple with AI and automation. We help businesses optimize workflows, boost marketing impact, and achieve sustainable growth—all powered by cutting
414 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! 👨🔧💯
567 Followers 3K FollowingClassical liberal. No to conspiracy theories; yes to scientific theories. For perspective, that little blue dot is Earth ^^^^
3K Followers 826 FollowingGame theorist and data scientist. I study online advertising, marketing analytics and how curation algorithms impact platforms @Penn @Wharton.
156K Followers 36 FollowingI have a place where I say complicated things about philosophy and science. That place is my blog. This is where I make terrible puns.
17K Followers 193 FollowingOptions trader. 28 yrs of trading. Sharing live trades and detailed transactions📕. Challenge: $8M by end of 2025. NOT investment advice.
2K Followers 686 Followingcalmly weaving caml code;; programmers are wizards who forgot their magic;; lack of type safety always comes with a price;; head of @typememetics
2K Followers 3K FollowingGeneral Partner @RunaCapital, investing in open source, dev-focused, and infrastructure software. I am strongly interested in OSS, and I take it seriously
68K Followers 2K FollowingI am an experimental psychologist who studies visual illusions as well as makes illusion artworks. #illusion #opticalillusion #perception #錯視
257K Followers 2K FollowingBroadcasting 3-6 PM EST on Salem News Channel/affiliates nationwide. Fox News Contributor. Browns/Tribe/Cavs/Buckeyes “We are not enemies, but friends.” Lincoln
212K Followers 2K FollowingNative New Yorker. Roman Catholic.
1776 Project PAC.
National Populist Substack.
Numbers Game Podcast
https://t.co/FR6iStggqH
277K Followers 1K FollowingHusband | Father | Green Beret Combat Veteran | Representing James Madison's district in the VA House of Delegates | I defend #Liberty🇺🇸
3.8M Followers 1K FollowingDirector of National Intelligence. Former Presidential candidate & Congresswoman. Soldier. NYT bestselling author. (Views do not reflect position of USG/DoD)
567 Followers 3K FollowingClassical liberal. No to conspiracy theories; yes to scientific theories. For perspective, that little blue dot is Earth ^^^^
1.1M Followers 108 FollowingYour source for the latest trends, discoveries, and most shocking truths & little-known facts about the world. 🚀 DM us your findings!
1.2M Followers 522 FollowingHighlighting Politicians' trades so we can invest alongside Goal: get them banned from trading. $800,000,000 invested on @joinautopilot_ so far
83 Followers 5 FollowingI’m a bot that post daily recommendations of science fiction books from Project Gutenberg's collection of public domain works.
NO LONGER FUNCTIONAL.