Moshe Vardi@vardi

My mastodon account: @vardi@fediscience.org

 Professor, Rice U., Houston
cs.rice.edu/~vardi
Joined April 2008
For nerds :-)
95
3,112
20,811
1,220,945
Students and their Schrodinger's answers
29
2,014
9,338
Machine learning :-)
76
509
4,854
:-)
45
802
4,496
:-)
34
828
4,224
276,138
Goedelian Riddle :-)
218
581
4,308
Climate Change: A Timeline :-)(
30
1,032
3,525
Programming Languages :-)
81
1,062
3,762
:-(
15
223
3,593
195,479
Nerd humor :-)
84
403
3,046
The Monty Trolley Problem
124
818
2,850
Common Proof Techniques
30
1,405
2,659
In west Texas, storm chaser Laura Rowe captured the picture of a lifetime last night (May 17, 2021),
16
196
2,289
Academic vacation :-)
24
260
2,196
:-)
13
255
2,120
199,871
The importance of stupidity in scientific research!
32
511
2,027
Best graph of the day!
13
1,737
1,851
Nerd joke :-)
6
602
1,801
Nerd Joke :-)
9
229
1,874
Programmer's Lingo :-)
11
387
1,832
Math Joke :-)
15
889
1,635
24
294
1,659
110,223
Seen at an academic conference :-)
7
578
1,504
A rigorous proof :-)
22
1,756
1,483
Goedel and the Djin :-(
8
260
1,367
English :-)(
27
182
1,393
ML Joke :-)
14
171
1,287
Feynman on academic travel :-)
17
136
1,222
A programmer :-)
13
358
1,232
Life progression :-)
8
652
1,201
Happy New Year to all nerds :-)
26
293
1,165
73,056
Literary humor :-)
3
225
1,025
Physicists' Joke
10
941
941
Fibonacci Joke :-)
5
358
1,004
Credit: Michael Slavitch
7
218
892
The birth of AI, 70 years ago!
9
370
1,019
The toxic culture of rejection in computer science sigbed.org/2022/08/22/the-to…
25
322
938
Common Proof Techniques
8
575
871
Cloud computing :-)
15
144
862
Useful guide to help understanding your American colleagues and friends. :-)
16
75
732
Academic evolution :-(
1
199
721
Aerial view of New York City
9
176
756
In 1956, Massachusetts Institute of Technology (MIT) Prof Claude Shannon writes a one-page article trying to curb the information theory hype (via @AlexVasilescu)
18
223
737
Doug Adams's Rules
7
515
690
I got my BS in Physics 50 years ago. Today, my first physics paper got published! :-) journals.aps.org/pre/abstrac…

Ising model partition-function computation as a weighted counting problem

While the Ising model is most often used to understand physical phenomena, its natural connection to combinatorial reasoning also makes it one of the best models to probe complex systems in science...

journals.aps.org
23
32
717
80,785
Nerd Joke :-)
7
74
689
Mathematical honesty :-)
5
85
619
59,172
Academic research! :-)
5
154
628
Escher dogs :-)
4
154
616
TWELVE STEPS TO A WINNING RESEARCH PROPOSAL.
6
146
615
Academic joke :-)
3
89
588
Without words
5
287
604
Humans Jobs
2
273
587
Machine Learning
2
209
539
Fibonacci joke :-)
6
118
543
Nerd joke :-)
4
102
537
Halloween Logic :-)
5
127
548
This statue is called "Emptiness" and was created by a grieving parent. It is a great attempt at describing how a parent feels after losing a child.
15
242
503
Vacation :-)
4
156
498
All Romes lead to Roads :-)
4
33
470
Time travel :-)
1
34
469
:-)(
3
80
443
:-)(
14
36
436
The Real Real Donald!
4
285
430
A mother wolf spider carrying her babies.
16
64
435
The difference :-)
1
88
404
Trolley Problem, solved! :-)(
4
101
408
:-)
97
407
24,818
Cognitive biases
4
132
421
Nerd joke :-)
2
242
384
"Only those who attempt the absurd will achieve the impossible." – M. C. Escher
5
80
397
Naive set theory :-)
3
91
369
Imagine pulling this out in a math exam :-)
4
29
370
:-)
4
68
365
38,143
Nerd joke :-)
4
55
373
Academics will appreciate this :-) :-(
3
118
354
English :-)(
10
52
379
When it rains it pours :-)
Rice University Computer Science@RiceCompSci
26 May 2021
Rice CS' Moshe Vardi is the recipient of the 2020 ACM/AAAI Allen Newell Award. @Vardi is described as “perhaps the most influential researcher working at the interface of logic & computer science, building bridges between communities.” bit.ly/2SyQmtm
28
15
368
Rules of Writing :-)
5
165
359
:-)
6
91
345
Samplin bias
3
72
338
Quantum Reality
3
136
344
Human?
2
560
322
Winston Churchill had his doctor prescribe him alcohol in order to avoid prohibition while visiting the US.
4
40
345
I used to correct fools, but this made me change my mind :-)
17
58
345
Common Proof Techniques
5
124
343
Your Thesis Committee :-)
5
39
341
I am not a robot :-)
6
73
336
Academic life :-)
66
315
Without words!
4
121
322
Nerd joke :-)
7
47
334
22,281
:-)
9
37
345
15,722
:-)
3
37
325
Motivation :-)
2
80
302
Needs to be reposted periodically!
8
91
312
Nerd joke :-)
3
32
278
Best so far! :-)
3
39
304
otd in 1960 Grace Hopper launched her programming language COBOL
7
73
289
How to write
2
192
294
Biblical tech :-)
3
198
290