Hari K @whois_hkr
PL, ML, politics, heavy metal.. Bangalore Joined May 2013-
Tweets155
-
Followers137
-
Following3K
-
Likes2K
初代バイオハザードに初日の出があったら2023
Help I’ve been giggling about this for an hour.
Bond on a bike, bond on a boat, Bond with his hands grabs a villain by the throat, Skyfall, Skyfall ! :-(
Bond on a bike, bond on a boat, Bond with his hands grabs a villain by the throat, Skyfall, Skyfall ! :-(
Curry-Howard says that there is a correspondence between programs and proofs, in that the rules for type checking programs correspond to logical rules. It's the coolest thing I learned in undergrad. I'll try to explain a little.
The 5th edition of the Indian SAT+SMT school will be completely online this year! And, the registration is completely free! Register at sat-smt.in Retweet and help us spread the word.
I've spent four years of my life writing documentation for formal methods tools. It's a long, difficult, tedious process. But it's all worth it. These are the tools that will revolutionize our industry, and I'm doing my part to make that happen.
there's an AI meme generator now and it's everything you could have wanted. imgflip.com/ai-meme?fbclid…
So, the last week I have been battling COVID-19 & Pneumonia. Never in my life have I been this ill. “Young people aren’t at risk, they’ll only have mild symptoms” Wrong. I want to open up about the difficulties I’ve gone through these past days, what it was like in the ICU...
@DanielKrawisz @Ckatoshi @Wikipedia We already store data. In a database. It works well.
Just spent another week in amazing, crazy Bangalore. I naturally compare it to San Francisco, where the political, economic and infrastructural struggles have deep parallels. You see, one spends a lot of time in traffic in Bangalore, so one has time to think:
This taunting and mocking tone towards a minority by the ruling party is not just frightening, it is against everything India stands for.
This taunting and mocking tone towards a minority by the ruling party is not just frightening, it is against everything India stands for.
When John Reynolds was asked to teach Compilers at CMU he said "Yes, but that requires A LOT of category theory." the request was immediately rescinded. I decided Compilers requires a bit of operational semantics and it's too late now for anyone to do anything about it.
I study genocide. It's been a theme in my academic endeavours for nearly 30 years. More accurately, I study the conditions in the lead up to genocide, be they cultural, social, political, economic, etc... 1/n
Our new paper, Deep Learning for Symbolic Mathematics, is now on arXiv arxiv.org/abs/1912.01412 We added *a lot* of new results compared to the original submission. With @f_charton (1/7)
Reversible cellular automata are very special. They are cellular automata where information never gets destroyed. They have lots of special properties and often don't behave like normal CAs. More posts about them to follow!
☸️ The last unenlightened man in the world. A magnificent satire on Buddhism by @slatestarcodex slatestarcodex.com/2019/11/04/sam…
So in @sirajraval's livestream yesterday he mentioned his 'recent neural qubit paper'. I've found that huge chunks of it are plagiarised from a paper by Nathan Killoran, Seth Lloyd, and co-authors. E.g., in the attached images, red is Siraj, green is original
Seems many of you miss Reader too. Some have asked for clarification, which I've written up as a blog post: jarango.com/2019/10/05/on-…
The little boy looked at me with a haunted expression and said, I see anagrams. My face turned pale. You mean, like word jumbles, I asked. Yes, he said. He pointed to a sign and asked me what I saw. STOP I said. He said, I see POTS. Sometimes, POST, or OPTS or TOPS. +
Teestit @teestit68437
0 Followers 197 Following Life itself is a journey, we are all worthy and should strive to travel to different lives.
7gvwapwt7ld0 @2z75od34z
5 Followers 790 Following We first transfer USDT to you TRC20, you return 90% to BEP20, you get 10% , 2K per day Our co hv a large amt of USDT need to from TRC20 convert to BEP20 network
Karen @karen_turrie76
323 Followers 3K Following
_Cold_mood_ @ColdM21575
9 Followers 86 Following
Ashley Bailey @ABailey12848
114 Followers 3K Following
Benita @davidsonbenita2
1K Followers 3K Following
Ashleigh @ashleigh94gonza
183 Followers 3K Following
Robert Scoble @Scobleizer
504K Followers 68K Following Follow me on my new podcast with AI startups, Unaligned. Tech industry color commentator since 1993. Author/Blogger. Former strategist @Microsoft.
Kim @olivia19886
310 Followers 2K Following Study hard and make progress.Strive for success. Tomorrow will be better. Look forward to every https://t.co/5LIcdjcmxn, Golf, Horseback Riding, Travel, Reading,
José Cambronero @josepablocam
861 Followers 2K Following Senior researcher @ProseMsft, working on PL/SE+ ML. CS PhD (@MIT_CSAIL). 🇨🇷 in Connecticut. On mastodon as @[email protected]
Martin Zwilling @StartupPro
967K Followers 965K Following Veteran startup mentor, executive, blogger, author, tech professional, professor, and investor. Published on Forbes, Entrepreneur, Inc, Huffington Post, etc.
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
Ruben 🪨 @xxi_eth
1K Followers 2K Following Lead Builders Network & GP Axl Fund of Funds | - I spend time with Founders @protocollabs @ipfs @libp2p @filecoin
Anatoly Karp @akarp
2K Followers 3K Following MySQL Infra at Meta. Method coder. Discreet mathematician. Rust. Machine learning, physics, economics.
The Robot Brains Podc.. @therobotbrains
4K Followers 454 Following Host @pabbeel studies how far humanity has come to create conscious computers, mindful machines, & rational robots. S1 & S2 out. S3 in the works.
Hans-Peter Zorn @data_hpz
10K Followers 10K Following Head of AI @inovexgmbh #nlproc Mastodon: @[email protected]
Nikolaj Bjorner @BjornerNikolaj
1K Followers 329 Following
Ken Goldberg @Ken_Goldberg
16K Followers 8K Following artist, @UCBerkeley engineering prof, @AmbiRobotics chief scientist, robots, rockets, redwoods, rebels.
seL4 @seL4Foundation
699 Followers 5 Following seL4 is the world's first general-purpose operating system kernel with a proof of implementation correctness, now on Arm, x86 and RISC-V, open source, ...
Sreepathi Pai @SreepathiPai
402 Followers 365 Following Academic (CompSci@Rochester). Randonneur. (RFC1983) Hacker. I like writing code that writes fast, parallel code, mostly for GPUs. @[email protected]
Aart Bik @AartBik
1K Followers 799 Following 🇳🇱🇺🇲 Dutch-American computer scientist Utrecht (MSc), Leiden (PhD) @Google @Intel #MLIR #LLVM #astronomy #chess #compilers #simd #sparse #vectorization
alcides @alcides
2K Followers 3K Following Typing types. Associate Professor at the University of Lisbon.
Flood Sung @RotekSong
503 Followers 859 Following Alignment Lead at https://t.co/Er8FUEfKWM , aiming to build a safe AGI for humanity. ex-research manager @inspir_ai, ex-research scientist at bytedance.
John Wiegley @jwiegley
5K Followers 2K Following CTO at https://t.co/iEB5xkH0PC. Haskell & Coq programmer, Emacs devotee, Mac OS X, Linux, Common Lisp, and member of the Bahá‘í Faith.
Gungun Lin @gungunlin
888 Followers 3K Following ARC DECRA, NHMRC fellow, Senior Lecturer @ UTS | BioMEMS/NEMS | Functional micro and nano systems
Abhishek Kulkarni @abhibp1993
113 Followers 440 Following Ph.D. Candidate | Univ. of Florida | Game theory, formal methods, robotics
Jeffrey Kegler @jeffreykegler
218 Followers 692 Following Inventor of the Marpa parsing algorithm. Discoverer of the Lost Morgenstern Document. Novelist.
Federico Mari @_Federico_Mari
123 Followers 267 Following Associate Professor #uniroma4 #ModelChecking-based algorithms&tools for verification&synthesis of #MissionCritical #SafetyCritical #CyberPhysicalSystems.
Emmett Neyman @EmmettNeyman
403 Followers 1K Following Magic the Gathering nerd | SWE @Meta working on static analysis for security | interested in PL, Compilers, and Security | @CIS_Penn alum | Seattle | he/him
David J. Gunkel @David_Gunkel
11K Followers 7K Following Professor - Northern Illinois University (USA). Author of the books The Machine Question, Robot Rights, Person-Thing-Robot, Of Remixology, and Deconstruction.
Gomz @dudedidabide
217 Followers 371 Following
A and V Network @AandVNetwork
629 Followers 1K Following Research network focussing on verification of autonomous systems. Distributed across several universities Led by Prof. Michael Fisher. Tweets by @MattLuckcuck
Bernd Finkbeiner @FinkbeinerBernd
587 Followers 411 Following Computer scientist at @CISPA and @Saar_Uni. Formal methods, security, cyber-physical systems, and theory of computation.
Nathan Fulton @nrfulton
399 Followers 463 Following I etch patterns on stones for sustenance and pinch pebbles for fun. If you want to find me, fly to BOS and take the rust-colored rail to a stony stream.
Umair Siddique @imumairs
87 Followers 388 Following Autonomous Adventurer | Formal Methods | work @Apple -- opinions are mine --
Peter Faymonville @faymo
276 Followers 1K Following Functional Safety in industry. In my spare time: Feuerwehrmann. Before: Monitoring, Formal Verification & Synthesis at Saarland University.
Rashida Nasrin Sucky @rashida048
737 Followers 237 Following Environmental Engineer, Data Scientist, Fitness Enthusiast, Health freak, Art, and Music lover. Medium profile: https://t.co/JOmPz2oD9f
Ting Su @su_tingsu
550 Followers 498 Following Professor of computer science @ECNUer, previously postdoc @ETH_en and @NTUsg; focus on software engineering and programming languages
Ferhat Erata 🦀 @ferhaterata
482 Followers 2K Following PhD Student @Yale • Applying automated reasoning to software engineering & cryptographic code • Applied Scientist Intern @AmazonScience @AWSCloud • Views my own
The Search Space Podc.. @searchspacepod
461 Followers 409 Following The Logic Programming podcast. Logic in software engineering, symbolic AI, computational linguistics, constraints, philosophy, and more. Hosted by @felixhgren.
Chengyu Zhang @chengyuzh
361 Followers 293 Following Postdoctoral Researcher at @ETH_en. I am working in the @ast_eth lab, focusing on software engineering, programming languages, and formal methods.
Tao Chen @tao_chen_ideas
235 Followers 351 Following Computer scientist doing research on self-adaptive systems, performance engineering, SBSE, data-driven SE, and computational intelligence in the UK.
PROBPROG 2021 @probprog
521 Followers 236 Following The International Conference on Probabilistic Programming
QONFEST2020 @qonfest2020
206 Followers 1K Following QONFEST is the umbrella conference comprising the joint international 2020 meetings: CONCUR2020, FMICS2020, FORMATS2020, QEST2020, alongside with many workshops
BELLANDURU TRAFFIC BT.. @bellandurutrfps
3K Followers 47 Following Twitter - @bellandurutrfps, Facebook - [email protected], gmail- [email protected] Phone-080 22943153 MOB-9449296666
D. Richard Hipp @DRichardHipp
4K Followers 0 Following Christian, Creator of SQLite and Fossil-SCM. Often wrong but seldom in doubt.
Sanjeev Sanyal @sanjeevsanyal
268K Followers 493 Following Writer, economist & collector of old maps. This twitter handle belongs primarily to the writer, and only occasionally to the economist. RTs are not endorsements
Manthan Gupta @manthanguptaa
11K Followers 232 Following crafting cool things using code • creator criclang
London Scala User Gro.. @londonscala
954 Followers 599 Following
Golem Cloud @GolemCloud
792 Followers 16 Following Golem is a next-generation open-source platform for building and running highly reliable services.
Apache Calcite @ApacheCalcite
5K Followers 25 Following Dynamic data management framework. The foundation for your next high-performance database.
Julian Hyde @julianhyde
4K Followers 409 Following On a mission to tame data. Author of Apache Calcite, Mondrian OLAP engine, and the Morel language. Staff engineer at Looker/Google. (Also on @mas.to.)
adammaj @MajmudarAdam
8K Followers 201 Following founding engineer @thirdweb // cs + neuro (on gap) @Penn
Sridhar Ravi @SridharRavi90
960 Followers 69 Following Creative problem-solver despite illiteracy. A Heart Full of Devotion and Passion: A little disciple of Ilaiyaraaja, who lives somewhere in this world
James Fridman @fjamie013
2.3M Followers 1 Following Do not submit any personal photos that you do not want to be made public. Terms and conditions apply. https://t.co/WWtgLUfRED
Obbe Vermeij @ObbeVermeij
17K Followers 142 Following I make games. Shepherd (Amiga), @SpaceStationSV (N64), @warthegame (steam), @LearniaApp, @GuideApp__ Also: gta3, Vice, SA & IV
Xiangyao Yu @xiangyao_yu
799 Followers 94 Following Assistant Professor at University of Wisconsin-Madison. Research interest: database systems.
Andy Grove @andygrove_io
3K Followers 584 Following @ApacheArrow PMC Chair. Apache DataFusion PMC. Original creator of Apache DataFusion.
Karthick Ram Manohara.. @KRManoharan
3K Followers 559 Following PhD. SFHEA. Former @MSCActions Individual Fellow. Author of Periyar: A Study in Political Atheism (2022); Frantz Fanon: Identity and Resistance (2019).
Voytek Pituła 💙/�.. @Krever01
1K Followers 1K Following Staff Engineer at @SwissBorg • Crapposter • Occasional conference speaker • Libertarian paternalist • #Scala developer • Books addict • @[email protected]
Eric S. Raymond @esrtweet
9K Followers 53 Following Yes, I *am* that ESR. Well, it's the question people usually ask.
Benn Stancil @bennstancil
6K Followers 305 Following Cofounder of @modeanalytics | https://t.co/PPUWbMIeFC I have a blog | benn.substack Join my professional network | https://t.co/f6QIgfaKSu My janky linktree | https://t.co/5YOf0jrVq6
Rahul Jain @rahulj51
3K Followers 2K Following Principal Software Engineer at @justbobsledit. Formerly led Data and Engineering at @thebeatapp , @omioglobal , @thoughtworks .
Apache Beam @ApacheBeam
6K Followers 7 Following Apache Beam - portable, parallel, powerful data processing pipelines. Official Apache Beam Twitter account managed by the Beam PMC.
Apache Cassandra @cassandra
41K Followers 51 Following Open Source NoSQL Database Manage massive amounts of data, fast, without losing sleep
Databricks @databricks
70K Followers 1K Following Databricks is the data and AI company, helping data teams solve the world’s toughest problems.
InfinyOn @InfinyOn
274 Followers 231 Following InfinyOn is a real-time event streaming and data transformation company. Built on @fluvio_io using #rustlang with real-time transformations using #WASM.
Sriram Subramanian @sriramsubram
2K Followers 179 Following Founder and CEO at @niledatabase. Previously: VP of Engineering at Confluent. Believe to win.
Vinoth Chandar @byte_array
1K Followers 236 Following Founder @Onehousehq, Creator of @apachehudi. Distributed/Data Systems, Linkedin, Uber, Confluent alum. (views are mine)
Apache Pinot @ApachePinot
4K Followers 122 Following Real-time distributed OLAP datastore. Point at Kafka and start querying. Join our growing community at https://t.co/s0Tg6jKf8W
Metakovan @metakovan
67K Followers 96 Following Vignesh Sundaresan(@vigsun), aka Metakovan, is a blockchain architect, exploring the extended and 'alternative’ possibilities of this emerging technology
Vignesh Sundaresan @vigsun
8K Followers 816 Following Vignesh Sundaresan, aka @metakovan, is a blockchain technologist, exploring the extended and 'alternative’ possibilities of this emerging technology
Rod Johnson @springrod
33K Followers 751 Following Creator of Spring, Cofounder/CEO at SpringSource. Developer, Entrepreneur, Investor, Author
Turso @tursodatabase
9K Followers 290 Following SQLite for Production. Powered by libSQL. https://t.co/W3BRc5WIph https://t.co/AAKOvWZ53Q
Glauber Costa @glcst
8K Followers 756 Following Former Linux Kernel, ScyllaDB, Datadog - storage, virtualization, low level stuff. Currently Founder/CEO at @tursodatabase
Ibis Project @IbisData
5K Followers 31 Following Expressive analytics in Python at any scale. Questions? Join the discussion at https://t.co/gSgMkpaBEm
@[email protected].. @baldram
857 Followers 2K Following 🐘 https://t.co/wwr3IDE0lx 🔸️ Software Engineer, OSS contributor: #Scala #JVM #AWS. Opinions are my own. In free time 📸 or 🥁🎶🤘https://t.co/nEmOcQWD7t
Anand Sankar @kalapian_
5K Followers 631 Following Social Entrepreneur | Founder @tonsvalleyshop @TonsTrails @KalapTrust
Dravidian Insights @dstock_insights
15K Followers 956 Following #videos #infographics #stats #AI #dravidian #tamilnadu #india
Jacek Laskowski @jace.. @jaceklaskowski
7K Followers 874 Following Freelance Data Engineer | #ApacheSpark #DeltaLake #Databricks #ApacheKafka #KafkaStreams | Java Champion | @theASF | #DatabricksBeacons
Carl Sverre @carlsverre
2K Followers 833 Following Exploring technology from first principles. Building SQLSync, real-time collaborative SQLite in the browser: https://t.co/SdLEfZo9eJ
David Gomes @davidrfgomes
824 Followers 312 Following Software Engineer @singlestoredb (formerly MemSQL), previously @unbabel.
Paul Butler @paulgb
5K Followers 2K Following Building https://t.co/OF9JRj0pIk and https://t.co/oNRLGuR622 at @JamsocketHQ | writes: https://t.co/XcZf6g6kWN | #ptpx organizer | 🇨🇦 in 🗽 | he/him
Materialized View @getmaterialized
342 Followers 1 Following Software infrastructure hot takes, project and paper highlights, developer interviews, and stack deep dives. Brought to you by @criccomini.
Scala Native @scala_native
4K Followers 1 Following Your favourite language gets closer to bare metal.
∃ugene -Yokota 🥙.. @eed3si9n
5K Followers 606 Following enjoys music, good food, coding, and talking about them. learning machines at Netflix. @scala_sbt core dev. mastodon: @[email protected]
Adam Warski @adamwarski
7K Followers 185 Following Software Engineer, R&D @softwaremill, Scala/functional programmer, blogger. Also: @[email protected]
Play Framework @playframework
20K Followers 71 Following The Community Maintained High Velocity Web Framework For Java and Scala. https://t.co/JDM3ns7ZWF | https://t.co/5GYNuO0klc
Federico Ponzi @federico_ponzi
405 Followers 736 Following MSc in Computer Science. SDE @aws / speeding up your bits @cloudfront. Distributed systems and operating systems. My tweets, my opinions.
if you think you know what a proof is try this puzzle from Timothy Gowers
Twitter is inventing increasingly fanciful reasons why Meta's releasing models openly while Zuck gives the super straightforward, obvious-in-retrospect reason: Meta will spend > 100B on inference compute and if people make it 10% more efficient it will have paid for itself.
>when i do intermittent fasting, i'm jaina >when i stop for 5s while doomscrolling, i'm bauddha >when i do maths, i'm sankhya >when i'm with gf, i'm dvaita >when i do saste nashe & lose it, i'm advaita >when i gotta milk views of teenagers, i'm charvaka >on women's day, shakta
@Vajrapani4 So called religious Hindus call random people Vishnu Avatar and Durga. Hard to see them as better than Charvaka atheists..
It's official! Apache DataFusion is now a top-level Apache project. 😃 github.com/apache/datafus… The URLs for the subprojects have also been updated. github.com/apache/datafus… github.com/apache/datafus… github.com/apache/datafus… Congratulations to the community for this big milestone!
This will always be my favourite BrahMos video. Clear view of the ‘nose cap’ flipping the missile onto its side after launch and then popping off so the missile can begin its ‘cruise’ 😍
There's a reason Theft of Fire doesn't display the typical set of endorsements from other, more well-known authors. It's a standard industry practice, which I refuse to engage in... Because it's fraudulent. That little quote on the back cover, where some A-lister says the…
Who says they were their kids..
@MatthewRhys isn’t it time they come back and find their kids?
N-body problem and the Barnes-Hut algorithm: visualizing the quadtree spatial partitioning that cuts complexity from O(N²) to O(N logN) through hierarchical force approximation
This new Rust library, built on Golem's runtime API, gives you full distributed transactions in arbitrary code, which are fault-tolerant (durable), update-tolerant, and flaky-tolerant. 😱 Looking forward to this library being ported to Go, TS/JS, Python, and other WASM langs.
New post about @GolemCloud, transactions, and Rust macros: blog.vigoo.dev/posts/golem-ru…
This is definitely one of those lunch break mistakes..😬 #SBI
thanks to @JeffDean and @SingularMattrix for their great leadership today; and @fchollet @dwarak and many others at @GoogleDeepMind for quickly charting a good and aligned path forward together. We can go back focusing on the unlimited amounts of good work ahead of us. (Jeff,…
Kashmiri Shaivism IS Advaita, in fact, it's Paramadvaita in Abhinavagupta's own words This is top tier memeing though, 10/10
what if hindu philosophies were strategies in a game
Watch | On Saturday, the Andhra Pradesh Forest Department authorities cut the bark of an Indian laurel tree in Papikonda National Park to find that the tree stores water in the summer. This knowledge was shared with the Forest department by the Konda Reddi tribe, a Particularly…
The case for trade with Pakistan, as propounded by the Pakistanis is that they have an attractive market. A quick glimpse of Pakistan’s automotive sector belies that. There were 30,000 cars sold in Pakistan in ALL of 2023. For the full year. That is fewer cars than India’s…
Would Boeing murder a whistleblower? Before this month I'd have said it depends. I didn't think Boeing would kill a middle manager who never worked on the 737 Max & left in 2017. What surprised me was how many more informed observers felt Boeing...might prospect.org/infrastructure…
Trends for United States
You might like
